      body {
         color: #036;
         background-color: white;
         font-size: 12pt;
         
      }
      h1 {
         font-size: 28pt;
         font-weight: normal;
         font-variant: small-caps;
      }
      h2 {
         font-size: 18pt;
         font-weight: normal;
         font-variant: small-caps;
         line-height: 12%;
      }
      h3 {
         font-size: 16pt;
         font-weight: normal;
         font-variant: small-caps;
      }
      li {
         font-size: 12pt;
         list-style-type: square;
         width: 75%;
      }
      li li {
         font-size: 12pt;
         list-style-type: disc;
      }

      a, a:visited, a:active  {
         color: #06e;
         background-color: white;
         text-decoration: none;
      }
      a:hover {
         color: #06e;
         background-color: #ffc;
      }
      a.nohighlight:hover {
         color: #06e;
         background-color: white;
      }
