body { background-color: white; color: black; font-family: Times, serif }
a:link { color: #0000FF }
a:visited { color: #660066 }
a:hover { color: #FF9900 }
h1 { text-align: center; font-size: 150% }
h2 { font-size: 120% }
pre { font-family: "Courier New", "Courier", "mono" }