.verdana10 { font-size: 10pt; font-family: Verdana }
.yellow hilight   { background-color: yellow }
.verdana12 { font-size: 12pt; font-family: Verdana }
.times12 { font-size: 12pt; font-family: Times }
.times8 { font-size: 8pt; font-family: Times }
.verdana8 { font-size: 8pt; font-family: Verdana }
.verdana18  { font-weight: bolder; font-size: 18pt; font-family: Verdana }
.black   { font-size: 8pt; font-family: "Arial Black" }