.f12 {  font-size: 12pt}
.f10 {  font-size: 10pt}
.f09 {  font-size: 9pt}
a {  text-decoration: none}
a:hover {  background-color: #FFCC00}
f07 {  font-size: 7pt}
.f07h {  font-size: 7.5pt}
.f14 {  font-size: 14pt}
.f09u {  font-size: 9pt; text-decoration: underline}
.f08 {  font-size: 8pt}
.f16 {  font-size: 16pt}
.f30 {  font-size: 30pt}
.f11 {  font-size: 11pt}