h1{font-family: verdana, helvetica, sans-serif;
        font-weight: normal;
        font-size: xx-large; 
        margin-bottom: 2%;
        text-align: center; 
        } 
     h2{font-family: verdana, helvetica, sans-serif;
        font-weight: normal;
        font-size: x-large; 
        margin-bottom: 1%;
        text-align: center;        
        } 
     h3{font-family: verdana, helvetica, sans-serif;
        font-weight: normal;
        font-size: large; 
        text-align: left;        
        margin-bottom: 1%;
        } 
     
     a:link{color:#0000a0; text-decoration:none; font-weight:bold}   
     a:visited{color:#000040; text-decoration:none; font-weight:bold}
     a:hover{color:#0000ff; text-decoration:underline; font-weight:bold}   
     
     body{font-family: verdana, helvetica, sans-serif;
          color: #000000;
          background-color: #FFFFFF ;
          }
     .box{background-color: #FFFFFF ;
          border-style: solid;
          border-color: #000060;
          border-width: 3px 1px 1px 2px;
          padding: 10px;
         }     
         
     .indented
         {
         padding-left: 20pt;
         }
     .whatsnew{font-size: small
              }    
     .rule{width: 75%; 
           color: black
           }     
     .navrule{width: 90%; 
              color: black;
              }     
     .navbar{font-family: verdana, helvetica, sans-serif;
            text-align: right;
            font-size: large;
            font-weight: bold;
            line-height: 120%;
            background-color: #dfe4de ;
            }   
     .tipbar{font-family: verdana, helvetica, sans-serif;
            text-align: left;
            font-size: large;
            background-color: #dfe4de ;
            }   
     .caption{font-size: small ;
            line-height: 100%;
             }
     .footer{font-family: verdana, helvetica, sans-serif;
            text-align: center ;
            font-size: small ;
            margin-top: 5% ;
            }     
     .copyright{color: black ;
                font-family: verdana, helvetica, sans-serif;
                text-align: center ;
                font-size: small;
                }                 
     .code{font-family: courier new;
           font-weight: bold;
           color: black ;
           margin-left: 3% ;
           }
     .menu{font-weight: bold ;
           color: blue ;
          }      
     .majorlinks{font-size:large;
                 font-weight: bold;
                 line-height: 150%;
                 text-align: center;
                 padding-top: 10px;
                 padding-bottom: 10px;
                 }
      
     .comment{color:darkgreen;}
     .keyword{color:darkblue;}     
     .string{color:darkred;}