p { font-family: Helvetica, Arial, Univers, sans-serif ;
     font-size: 10pt ;
     line-height: 12pt }
 ul { font-family: Helvetica, Arial, Univers, sans-serif ;
      font-size: 10pt ;
      line-height: 12pt }
 ol { font-family: Helvetica, Arial, Univers, sans-serif ;
      font-size: 10pt ;
      line-height: 12pt }     
 pre { font-family: Courier, monospace ;
       font-size: 10pt ;
       line-height: 10pt }
 h1 { font-family: Helvetica, Arial, Univers, sans-serif ;
      font-size: 18pt ;
      font-weight: bold }
 h2 { font-family: Helvetica, Arial, Univers, sans-serif ;
      font-size: 16pt ;
      font-weight: bold }
 h3 { font-family: Helvetica, Arial, Univers, sans-serif ;
      font-size: 14pt ;
      font-weight: bold }
 .navbar { font-family: Verdana, sans-serif ;
           font-weight: bold ;
           font-size: 11pt ;
           line-height: 18pt }
 .nesting { font-family: Helvetica, Arial, Univers, sans-serif ;
            font-size: 8pt ;
            line-height: 9pt }
 .reduced { font-family: Helvetica, Arial, Univers, sans-serif ;
            font-size: 9pt ;
            line-height: 10pt }
 .notice { font-size: 7pt ;
           line-height: 8pt }