static int defaultFontSize() {
  ret 12;
}