.main9   { color: #363636; font-size: 9pt; line-height: 12pt; text-decoration: none }
.small8  { color: #363636; font-size: 8pt; line-height: 10pt; text-decoration: none }
a.mini { color: blue; font-style: normal; font-weight: bold; font-size: 8pt; line-height: 9pt; text-decoration: none }
a:hover.mini { color: #07f; font-style: normal; font-weight: bold; font-size: 8pt; line-height: 9pt; text-decoration: underline }