static void swingSmallerFonts() { swingFontScale(swingFontScale()/1.5f); }