.normal_text {  font-family: Arial, Helvetica, sans-serif; font-size: 10px; color: #003333; text-decoration: none}
.red_highlighted_text {  font-family: Arial, Helvetica, sans-serif; font-size: 12px; color: #FF3333; text-decoration: none}