()
| 65 | return small; |
| 66 | } |
| 67 | private static Font getSmallBoldFont() { |
| 68 | if (smallBold==null) smallBold=Font.getFont(face, bold, smallSize); |
| 69 | return smallBold; |
| 70 | } |
| 71 | |
| 72 | private static Font getMiddleFont() { |
| 73 | if (middle==null) middle=Font.getFont(face, plain, middleSize); |