static void swingBiggerFonts() {
  swingFontScale(swingFontScale()*1.5);
}