body { font-family: arial,helvetica,geneva,sans-serif;
       margin-top: 20px; margin-bottom: 10px }

a:active { font-weight: bold }

h1,h2,h3,h4 { font-family: arial,helvetica,geneva,sans-serif;
              color: #6432C8 )

h1.center { text-align: center; color: #003296 }

pre { font-family: courier new,courier;
      font-size: 12pt; }