static <A extends JComponent> A setFontSize(int size, A a) {
  if (a != null) a.setFont(sansSerif(size));
  ret a;
}