static SimpleAttributeSet style_typeWriterFont(SimpleAttributeSet a default new) {
  StyleConstants.setFontFamily(a, "Courier");
  ret a;
}