.8point {  font-size: 8pt; font-family: Verdana, Arial, Helvetica, sans-serif}
.10point {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt}
.red {  color: #FF0000; font-size: 10pt}
.bold {  font-weight: bolder; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 8pt}
.right {  text-align: right; font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 10pt}
.blue {  color: #0000FF}
.tiny {  font-size: 8pt; font-family: Verdana, Arial, Helvetica, sans-serif}
.12point {  font-family: Arial, Helvetica, sans-serif; font-size: 24px}
.16point {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 14pt}
.7point {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 7pt}
.14point {  font-family: Verdana, Arial, Helvetica, sans-serif; font-size: 12pt}
.8point {  font-size: 8pt; font-family: Verdana, Arial, Helvetica, sans-serif}
.name        { border:1px solid #C0C0C0; font-size: 8pt; font-family: Verdana; }; padding-left: 4; padding-right: 4; padding-top: 1; 
               padding-bottom: 1 }
.smaller_tall {  font-size: 10pt; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 28pt}
.para_tall {  font-size: 8pt; font-family: Verdana, Arial, Helvetica, sans-serif; line-height: 15pt}