BODY, TH, TD { background: #f0f0f0; color: black }
A:link { background: #f0f0f0; color: #007F8F }
A:visited { background: #f0f0f0; color: #002F3F }
A:active { background: #f0f0f0; color: #00FFFF }

CODE.class { font-weight: bold }
CODE.function {}

OBJECT.sort { width: 100px; height: 100px }
OBJECT.hline { height: 1px; width: 90% }


H2 {
  font-family: "times new roman", "times roman", serif;
  font-size: 150%;
  font-style: normal;
  font-weight: bold;
}

.nojavawarn {
  text-align: center
}

H1 {
  background: #404040;
  float: left;
  font-family: arial, helvetica, sans-serif;
  font-size: 200%;
  font-style: normal;
  font-weight: bold;
  padding-left: 1em;
  padding-right: 1em;
  padding-top: 0.5em;
  padding-bottom: 0.5em;
  margin-bottom: 1.5em;
  color: white;
}

.aftertop {
  clear: left;
}


.trademark { font-size: small; font-style: normal; }