BODY {
    font-family: Arial,Helvetica;
    padding: 0;
    border: 0;
    margin: 0 2em;
    color: black;
    background-color: white;
  }
  A:active {
    color: #f00;
  }
  A:link {
    color: #00f;
  }
  A:visited {
    color: #551a8b;
  }
  H2 {
    font-family: Arial,Helvetica;
    color:#f60;
  }
  H3 {
    font-family: Arial,Helvetica;
    color:#080;
  } 
  H4 {
    font-family: Arial,Helvetica;
    color:#701;
  }
  PRE {
    font-family: monospace;
  }
  TR {
    text-align: left;
    vertical-align: top;
  }
  TD {
    padding-left: 3.5pt;
    padding-right: 3.5pt;
  }
  TD DIV.tablesec {
    color: #33f;
    font-weight: bold;
  }
  LI {
    font-size: smaller;
    padding-bottom: 3.5pt;
  }
  LI.todo {
    color: #aaa; /* grey out unavailable options */
  }
  P#footer {
    font-size: x-small;
    padding-left: 5pt;
  }
  DIV#header {
    text-align: center;
    color: #33f;
  }
  DIV#header H1, DIV#header H2, DIV#header H3, DIV#header H4, DIV#header H5 {
    color: #33f;
  }
  DIV#header IMG {
    margin-top: 1em;
    margin-bottom: 1em;
  }