static Font scaleFont(Font font, double scale) {
  ret font == null ? null : font.deriveFont((float) (scale*font.getSize2D()));
}