/* minimal formatting - just enough to avoid
   needing deprecated tags */
body { background-color:white; color:black; }
h1 { text-align:center }
a:link { color:#b0e0f0 }
a:visited { color:#a03010 }
a:active { color:#604030 }


