.mainbody      { color: #000080; font-size: 9pt; font-family: Tahoma; text-decoration: none }
a.alternative   { color: #000080; font-size: 11pt; font-family: Tahoma; text-decoration: none }
a.alternative:hover   { color: #5a5a5a; font-size: 11pt; font-family: Tahoma; text-decoration: none }
a.mainbody:hover { color: #ce0000; font-size: 9pt; font-family: Tahoma; text-decoration: none }