a:link { color: #0000e0; }
a:visited { color: #700090; }
body { margin: 1em; font-family: arial, sans-serif; }
h1 { font-family: tahoma, sans-serif; }
h1, h2, h3, h4, h5, h6 { color: #001080; }
p { margin-left: 0.35em; }
pre { margin-left: 1.7em; }
address { border-top: 2px solid #b0b0e0; padding-top: 0.35em; }