BODY
  {
    font-family: times, serif;
    color: #000000; background-color: #C0C0C0;
    margin: 8px;
    line-height: 110%;
  }
TD
  {
    font-family: times, serif;
    color: #000000;
    line-height: 110%;
  }
H1
  {
    font-family: times, serif;
  }
H2
  {
    font-family: times, serif;
  }
LI
  {
    margin-bottom: 0.3em;
  }
.input
  {
    font-family: courier, monospace;
  }
.box
  { 
    font-family: courier, monospace;
  }
A
  {
    color: #0000FF;
    text-decoration: underline;
  }
.ilink { color: #0000FF; text-decoration: underline; font-variant: small-caps; }
.blink { color: #0000FF; text-decoration: underline; }
.glink { color: #0000FF; text-decoration: underline; }