body { 
   margin-left:  5%;
   margin-right:  5%;
   font-family: Helvetica, Tahoma, Verdana, Arial, sans-serif;
       }
 h1 {text-align: center; color: #000099;}
 h2,h3 { margin-left: -3%; color: #000099; }
 h4,h5,h6 { margin-left: -2%; }
 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.8em;
          }
 div.color {
   background-color: #D4ECFB;
   padding: 0.5em;
   border: none;
   width: 100%;
            }
 pre.bad { color: rgb(192, 101, 101) }
 p.changed {
   padding-left: 0.5em;
   border-left: solid;
   border-top: none;
   border-bottom: none;
   border-right: none;
   border-left-width: medium;
   border-color: red;
           }
 del { color: grey }
 ins { color: green }
 .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-family: sans-serif;
    font-size: 80%;
    background: white;
    border-width: 2;
    border-color: white;
        }
  td { font-family: sans-serif; font-size: 80% }
  td.shaded { background: rgb(255, 255, 153) }
  th.shaded { background: rgb(204, 204, 153) }
      }