/* Cleaned CSS: */
body { color: #000000; background: #ffffff }
#content {
  font-family: verdana, aerial, serif;
  font-size: 10pt;
  margin: 0.5em;
  vertical-align: top;
}
#hilight_table {
  font-size:9pt;
  vertical-align:top;
}
a:link { color: #0000ff; }
a:visited { color: #800080; }
#mainbar  { color:#000000; background: #c0c0c0; }
#pagetitle { size: 200%; font-weight:bold }