body { background-color: white;
       color: black }

a:link { background-color: white;
         color: #0000FF;
         text-decoration: none }

a:visited { background-color: white;
            color: #000080;
            text-decoration: none }

a:hover { background-color: white;
          color: #FF0080;
          text-decoration: none }

a:active { background-color: white;
           color: #FF0000;
           text-decoration: none }

p.note { text-align: right;
         font-size: small;
         font-family: Impact, sans-serif }

h1 { text-align: left;
     font-style: oblique;
     font-family: Impact, sans-serif;
     text-shadow: #ff0000 4px 4px;
     border-bottom: solid #884400 1px }

dl {
    margin-left: 2%;
}

dd {
    margin-left: 5%;
}

div#toc { position: relative;
          top: 1em;
          left: 5px }
div#bookmarks { position: absolute;
                top: 6em;
                right: 1em;
                text-align: right }
.small { font-size: small }