static Font typeWriterFont() {
  ret typeWriterFont(iround(14*getSwingFontScale()));
}
  
static Font typeWriterFont(int size) {
  ret new Font(localCourierFontName(), Font.PLAIN, size);
}