BODY { background: rgb(255,255,255); color: rgb(0,0,0); font-family: sans-serif; }
A:link { color: rgb(0,0,240); }
A:visited { color: rgb(81,24,142); }
A:active { color: rgb(255,0,0); }
a {text-decoration: none; }
P { color: black; font-family: sans-serif; background: rgb(255,255,255); }
EM { color: red; background: rgb(255,255,255); }
H1 { font-size: 150%; }
ADDRESS { font-size: 80%; }
.note { color: yellow; margin-left: 3em; margin-right: 5em; font-size: 70%; background: rgb(255,255,255); }
.highlight { background: rgb(255,255,192); color: rgb(0,0,0); }
.highlight A:link { color: rgb(0,0,240); background: rgb(255,255,192); }
.highlight A:visited { color: rgb(81,24,142); background: rgb(255,255,192); }
.highlight A:active { color: rgb(255,0,0); background: rgb(255,255,192); }
.code { color: rgb(0,0,0); background: rgb(240,240,240); margin-left: 1em; margin-right: 1em; font-family: monospace; border-style: none; padding: 4 }
.monocode { color: rgb(0,0,0); background: rgb(240,240,240); margin-left: 0em; margin-right: 0em; font-family: monospace; border-style: solid; border-color: rgb(0,0,0); border-width: 1; padding: 6 }

pre
{
        padding: 10pt;
        border: 1px solid #999;
        background-color: #ccc;

}