a.menu:link       { color: black; text-decoration: none; font-family: verdana; font-size:8pt }
a.menu:visited    { color: black; text-decoration: none; font-family: verdana; font-size:8pt }
a.menu:hover      { color: red; text-decoration: underline; font-family: verdana; font-size:8pt; font-weight: bold }
#menu        { font-size: 10pt; font-family: Verdana,Arial,Helvetica,sans-serif }
a:link       { color: #0000cc; text-decoration: underline }
a:visited    { color: #999999; text-decoration: underline }
a:hover      { color: red; text-decoration: underline }
#fourteen    { font-size: 14pt; font-family: verdana,Arial,Helvetica,sans-serif }
#twelve      { font-size: 12pt; font-family: verdana,Arial,Helvetica,sans-serif }
#eleven      { font-size: 11pt; font-family: verdana,Arial,Helvetica,sans-serif }
#ten         { font-size: 10pt; font-family: verdana,Arial,Helvetica,sans-serif }
#nine        { font-size: 9pt; font-family: verdana,Arial,Helvetica,sans-serif }
#eight       { font-size: 8pt; font-family: verdana,Arial,Helvetica,sans-serif }
#seven       { font-size: 10px; font-family: verdana,Arial,Helvetica,sans-serif }
.table       { font-size: 9pt; font-family: verdana,Arial,Helvetica,sans-serif }
.table-specs { font-size: 8pt; font-family: verdana,Arial,Helvetica,sans-serif }