static JTextField setTextFieldFontSize(JTextField tf, int size) {
  tf.setFont(sansSerif(size));
  ret tf;
}