BODY {color: black; background: #FBFBFF; margin-left: 4em;
    margin-right: 2em;
    font-family: times, serif; text-align: justify;
    line-height: 1.3}
P.nav {font-family: helvetica, sans-serif; font-size: 80%;
    background: #e0e0e0; margin-left: -3em; padding: 0.3em 0.3em 0.3em 3em}
P.tbd, DIV.tbd {font-style: italic; color: #800000; font-size: smaller}
DIV.tbd {margin: 1em}
PRE {color: green; font-family: courier, monospace; text-align: left;
    padding: 0 0 0 0.5em; border-left: thick solid #999}
H1 {color: yellow; border-top: solid; border-bottom: solid}
H1, H2 {margin-left: -2em; font-weight: bold;
    font-size: 120%; line-height: 1.1; font-family: helvetica, sans-serif;
    text-align: left; background: #60a060; padding: 0.3em;
    padding: 0.2em; border: thin solid}
H2 {color: white}
P {margin: 0; text-indent: 1em}
LI P {text-indent: 0}
UL P, DD P, P.first {text-indent: 0}
/* what we really want: /P/ P {text-indent: 1em} */
DT {font-weight: bold}
DL {margin: 0.6em 0}
A:link, A:visited, A:active {color: #000080; font-weight: bolder}
A:link {background: #FFEEEE}
A:visited {background: #E0E0FF}
A:link IMG, A:visited IMG { border-style: none }
A IMG { color: white } /* The only way to hide the border in NS 4.x */
DIV.intro {font-style: italic; margin-left: 2em; margin-right: 2em}
DIV.intro EM {font-style: normal}
DIV.intro H2 {background: #fbfbff; color: black; border: none;}
STRONG {color: red}
ADDRESS {margin-left: -2em; text-align: right}