body { font-size: 11px; font-family: Georgia, "Times New Roman", Times, serif; }
.px9 { font-size: 9px; font-family: Verdana, Arial, Helvetica, sans-serif; }
.px11 { font-size: 11px; }
.px12 { font-size: 12px; }
.px18 { color: #005018; font-size: 18px; }