.instrmenu {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small; font-weight: bolder; color: #0A3470; text-decoration: none; filter: Shadow(Color=#000000, Direction=0)}
a:hover {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: xx-small; font-weight: bolder; color: #CC0000; text-decoration: underline}
.instr1 {  font-family: Georgia, "Times New Roman", Times, serif; font-size: 14px; font-weight: bolder}
.instr2 {  padding-left: 12px}
.instr3 { padding-left: 24px}
.instr15 { font-family: Georgia, "Times New Roman", Times, serif; font-size: 10px; font-weight: bolder }