#body { background: white }
#body, dt, dd { color: black }
pre  { font-family: monospace; font-size: 10pt; line-height: 12pt }
th { background: #cccccc; font-family: helvetica, arial, sans-serif; font-weight: bold }
.F24  { font-family: helvetica, arial, sans-serif; font-size: 24pt; line-height: 24pt }
.F18  { font-family: helvetica, arial, sans-serif; font-size: 18pt; line-height: 18pt }
.F14  { font-family: helvetica, arial, sans-serif; font-size: 14pt; line-height: 14pt; font-weight: bold }
.F12  { font-family: helvetica, arial, sans-serif; font-size: 12pt; line-height: 12pt }
.bi   { font-weight: bold; font-style: italic }
.cen { text-align: center }
.current { color: green }
.navspc { background: #cccccc }
.urgent { background: red; color: white; font-weight: bold }
.highlight { font-weight: bold; color: red }
.pdssvrtext { color: #0000ff }
.svrtext { color: #00b2ee }
.tortext { color: #fe0000 }
.pdstortext { color: #8a0000 }
.slight { background: #00fe00; color: black }
.moderate { background: yellow; color: black }
.high { background: red; color: black }
.nosvr { background: #fe7f00; color: black }
.notstm { background: black; color: white }
.foo { background: #FFFFCC }
.bluet { background: #4B3399; color: white; font-weight: bold }
.utcclock, .utcclock SELECT, .utcclock INPUT {
  font-size : 12pt;
  font-weight : bold;
  color : black;
  font-family : monospace;
  background: #F0F0F0;
}