body { font-family: helvetica, sans-serif, arial, helvetica; margin-left: 5%; }
a            { text-decoration: none; color: black; }
a:hover      { text-decoration: underline; }
a.hi:link    { color: black; font-weight: bold; }
a.hi:active  { color: black; font-weight: bold; }
a.hi:visited { color: black; font-weight: bold; }
a.lo:link    { color: red;   font-weight: bold; }
a.lo:active  { color: red;   font-weight: bold; }
a.lo:visited { color: red;   font-weight: bold; }
a.ok:link    { color: black; }
a.ok:active  { color: black; }
a.ok:visited { color: black; }
th     { font-family: sans-serif; font-size: 12pt; background-color: lightgrey; white-space: nowrap; }
.thbig { font-size: 14pt; font-weight: bold; white-space: nowrap; }
.thsm  { font-size: 9pt;  font-weight: bold; white-space: nowrap; }
.stok    { font-size: 9pt; font-family: monospace; background-color: lightgreen; white-space: nowrap; }
.stwarn  { font-size: 9pt; font-family: monospace; background-color: lightyellow; white-space: nowrap; }
.sterror { font-size: 9pt; font-family: monospace; background-color: pink; white-space: nowrap; }
td    { font-family: sans-serif; font-size: 9pt; padding-top: 0; padding-bottom: 0; padding-left: 2px; padding-right: 2px; white-space: nowrap; }
.td1  { background-color: #eeeeff; font-family: sans-serif; font-size: 9pt; font-weight: normal; white-space: nowrap; }
.td0  { background-color: #ccccdd; font-family: sans-serif; font-size: 9pt; font-weight: normal; white-space: nowrap; }
.tdm1 { background-color: #deefff; font-family: "Andale Mono",monospace;  font-size: 9pt; font-weight: normal; white-space: nowrap; }
.tdm0 { background-color: #bccddd; font-family: "Andale Mono",monospace;  font-size: 9pt; font-weight: normal; white-space: nowrap; }
.tdok { font-size: 9pt; background-color: lightgreen; white-space: nowrap; }
.tdwarn   { font-size: 9pt; background-color: lightyellow; white-space: nowrap; }
.tderror  { font-size: 9pt; background-color: pink; white-space: nowrap; }
.tdspacer { padding-top: 5px; padding-bottom: 5px; }
.die   { font-size: 12pt; font-weight: bold; color: red; }
.big  { font-size: 16pt; font-weight: bold; }
.med   { font-size: 14pt; font-weight: bold; }
.med1  { font-size: 10pt; font-weight: bold; }
.med2  { font-size: 12pt; font-weight: bold; }
.med3  { font-size: 14pt; font-weight: bold; }
.small { font-size: 9pt; }