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