.f08 { font-size: 8pt; font-family: Verdana, Helvetica, Arial, sans-serif }
.f09 { font-size: 9pt; font-family: Verdana, Helvetica, Arial, sans-serif }
.f10 { font-size: 10pt; font-family: Verdana, Helvetica, Arial, sans-serif }
.f12 { font-size: 12pt; font-family: Verdana, Helvetica, Arial, sans-serif }
.f14 { font-size: 14pt; font-family: Verdana, Helvetica, Arial, sans-serif }
a.blue { color: #0000ff; font-weight: bold; text-decoration: none }
a.blue:hover { color: red }
a.orange { color: #ff3300; font-weight: bold; text-decoration: none }
a.orange:hover { color: #fff }