body { 
    color: rgb(0,0,128) ;
    background-color: #e3f7ff }

    a:link,a:visited { color: rgb(0,0,128) }
    a:active  { color: #ff0000 } 
    a:hover   { 
      color: #ff0000;
      background-color:#ffffff }

  .microprint { 
    color: #e3f7ff ;
    background-color: #e3f7ff ;
    font-family: courior new ; 
    font-size: 0px ; }
  .stdc {
    color: #000000 ; }
  .std,.StdText,.StdTextNoIndent {
    color: rgb(0,0,128);
    font-family: serif ;
    font-size: 15pt;  }
  .big1 {
    color: #000000;
    font-weight: bold;
    font-size: 25pt;  }
  .big2 {
    color: #000000;
    font-weight: bold;
    font-size: 35pt;  }

  .Menu {
     font-family: Times Roman, Times New Roman, serif ;
     color: #000000 ; 
     font-size: 13pt  }
  .MenuBold {
    font-weight:bold;
     font-family: Times Roman, Times New Roman, serif ;
     color: #000000 ; 
     font-size: 13pt  }
  .MenuSmall {
     font-family: Times Roman, Times New Roman, serif ;
     color: #000000 ; 
     font-size: 11pt;
     font-weight:bold  }