static void setConsoleFontSize(int size) {
  consoleFont(sansSerif(size));
}