.boldface { font: bold 10px Verdana, Arial, Helvetica, sans-serif}
.plain {  font: 10px Verdana, Arial, Helvetica, sans-serif; color: #000000}
.box {  border-color: black #000000 #000000; border-style: solid; border-top-width: 1px; border-right-width: 0px; border-bottom-width: 1px; border-left-width: 1px}
.highlight {  font: 10px Verdana, Arial, Helvetica, sans-serif; color: #993300}
.topline {  border: solid; border-width: 1px 0px 0px 1px; border-color: #000000 #FF0000 #FF0000 #000000}
.plainhigh { font: 10px Verdana, Arial, Helvetica, sans-serif; color: #CC0000}
.plainitalic { font: italic 10px Verdana, Arial, Helvetica, sans-serif; color: #000000 }
.plainlow { font: 10px Verdana, Arial, Helvetica, sans-serif; color: #999999}