body { background-color: #ffffff; color: #000000; link: #000099; vlink: #660066;
      font-family: Arial, sans-serif }
.title { color: #000099; text-align: center; font-family: Arial, sans-serif }
.headold { background-color: #99ccff }
.head { background-color: #e0ffe0 }
.foot { background-color: #e0ffe0 }
td.toc { background-color: #e0ffe0; vertical-align: top; width: 100 }
td.content { vertical-align: top; }

.refs a:link { color: black; text-decoration: none; text-weight: bold; }
.refs a:hover { color: #000099; text-decoration: none; text-weight: bold; }
.refs a:visited { color: #660066; text-decoration: none; }