a:link { color: #0000f0; font-weight: bold; }
a:visited { color: #0800d0; font-weight: bold; }
a { font-family: Arial, sans-serif; }
body { font-family: Georgia, Arial, sans-serif;
       margin: 0.9em 1.7em 1.7em 1em; }
h1 { font-family: Tahoma, sans-serif; }
h2, h3, h4, h5 { font-family: Arial, Heveltica, sans-serif; }
pre { margin-left: 1em; }
/* code { font-weight: bold; color: #000050; } */
strong { color: #003078; }
blockquote { color: #3f3f50; }
dt { font-weight: bold; }

address { border-top: 2px solid #808090; padding-top: 0.5em; }