BODY { font-family : "Verdana", "Arial", "Helvetica", "Sans Serif";
        font-size : 75%;
        color : navy;
        margin-left: 0.2em;
        padding-top: 0.2em;
        margin-bottom : auto;}
 .extract  { font-family : "Verdana", "Arial", "Helvetica", "Sans Serif";
             font-size : 75%;
             background-color : white;
             color : navy;
             margin-bottom : auto;}
 TABLE { font-size : 100%; } 
 PRE { font-family : "Andale Mono", "Courier New", "Monospace";
       font-size : 100%;
       color : black;}
 TT { font-family : "Andale Mono", "Courier New", "Monospace";
      font-size : 100%;
      color : black;}
 VAR { font-family : "Andale Mono", "Courier New", "Monospace";
       font-weight : italic;
       font-size : 100%;
       color : black;}
 H1 { font-weight : bold;
      font-size : 150%;
      color : purple;}
 H2 { font-weight : bold;
      font-size : 150%;
      color : blue;}
 H3 { font-weight : bold;
      font-size : 125%;
      color : blue;}
 H4 { font-weight : bold;
      font-size : 100%;
      color : blue;}
 H5 { font-weight : bold;
      font-size : 90%;
      color : blue;}
 H6 { font-weight : normal;
      font-size : 90%;
      color : blue;}
 A:link { text-decoration :underline;
          color : maroon;}
 A:visited { text-decoration :underline;
             color : maroon;}