static void setConsoleInputFontSize(int size) {
  JTextField input = consoleInputField();
  if (input != null) {
    input.setFont(sansSerif(size));
    revalidateFrame(input);
  }
}