BODY {
      color: #000000;
      background: #FFFFD1
}

A:link {color: #000000;text-decoration: none}

A:visited {color: #000000;text-decoration: none}

A:hover {color: #CC0000}

P.toc {
        margin-top: -7pt
}
