.F10   { font-size: 10px }
.F12  { font-weight: bold; font-size: 12px }
.RED { color: red }
A:link  { color: #808000; font-size: 12px; text-decoration: none }
A:visited  { color: #004e34; font-size: 12px; text-decoration: none }
A:hover  { color: #004e34; font-size: 12px; text-decoration: underline }
.F14 { font-weight: bold; font-size: large }