.verdana10 { font-size: 10px; font-family: Verdana }
.verdana10 bold  { font-weight: bold; font-size: 10px; font-family: verdana }
.verdana9  { font-size: 9px; font-family: verdana }
.parahead { font-weight: bold; font-size: 12px; font-family: Verdana, Tahoma, Arial, Helvetica }
.Times15 { font-size: 15px; font-family: Times }