A {text-decoration: none;
   color: #0033FF}
A.hover{color: #cc0000}
A.active {color: #cc0000}	

body {  margin-left: 15%; 
        margin-right: 10%; 
        font-family: sans-serif;
        bgcolor: #CCCC99; 
        text:#333333;
        ALINK:#3399FF;
		 VLINK:#000099;
		 LINKS:#0033FF
     }
     
body.L1 {  bgcolor:#CCFFCC}   

h1,h2,h3,h4,h5,h6 { margin-left: -3%;
						color: #666633 }

pre {
     color: green; font-weight: bold;
     white-space: pre; font-family: monospace;
    }

tt { color: green }

em { font-style: italic; font-weight: bold }

strong { font-weight: bold }

.navbar { text-align: center }

div.box { border: solid; border-width: thin; width: 100%; padding: 0.2em; }

div.color { background-color: rgb(204,204,255);
            padding: 0.5em;
            border: none;
            width: 100%;
           }

pre.bad { color: rgb(192, 101, 101) }

p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-top: none;
    border-bottom: none;
    border-right: none;
    border-left-width: thin;
    border-color: red;
  }
  
  .dropcap {
     float: left;
     font: bold 1.4em "Times New Roman", serif;
     color: rgb(51, 0, 102);
     background: rgb(255, 255, 153);
  table {
    margin-left: -4%
    font: "Arial", sans-serif;
    font-size: 100%;
    background: white;
    border-width: 2;
    border-color: white;
  }
  td { font-family: sans-serif; 
       font-size: 100%; 
       float: left; 
       margin-left: 0; 
       margin-right: 0; 
       margin-top: 1; 
       margin-bottom: 2 
     }
     
td.shaded { background: rgb(255, 255, 153) }
th.shaded { background: rgb(204, 204, 153) }
dd        { margin-top: 8; margin-bottom: 20 }