body { background: white; color: black; font-family: Verdana, sans-serif; }
h1, h2, h3, h4, h5, h6 { font-family: Arial, sans-serif; }
h1 { text-align: center; font-size: 155%; color: #000077; }
h2 { font-size: 120%; color: #000077; }
h3 { font-size: 100%; color: #007777; }
h4 { font-size:  90%; color: #404040; }
th { font: bold smaller Arial, sans-serif; }
a.glossary:link, a.glossary:active { color: #20A020; }
a.glossary:visited { color: #106010; }
pre, tt, code { font-family: "Lucida Sans Typewriter", "Lucida Console", monospace;
          font-size: 80%; }
hr { height: 1px; border: none; border-top: 1px solid gray; }