body { color: black;
 background: white;
 margin-left: 3%;
 margin-right: 3%;
 font-family: Verdana, sans-serif; }
em { font-style: italic; }
strong { font-weight: bold; }
h1 { font-size: 200%; }
h2 { font-size: 150%; }
pre { font-family: monospace; }
ul.plain { list-style-type: none; }

a:link { color: rgb(0, 0, 153); }
a:visited { color: rgb(153, 0, 153); }
a:active { color: rgb(255, 0, 102); }
a:hover { background: #FFC; }