static Font typeWriterFont() {
  ret typeWriterFont(iround(14*swingFontScale));
}
  
static Font typeWriterFont(int size) {
  ret new Font("Courier", Font.PLAIN, size);
}