body { 
    margin-left: 10%; 
    margin-right: 10%; 
    font-family: sans-serif
  }
  h2,h3,h4,h5,h6 { margin-left: -3% }
  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: "Times New Roman", serif;
    font-size: 100%;
    background: white;
    border-width: 2;
    border-color: white;
  }
  td           
  { font-family: serif; 
    font-size: 100%; 
    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 }   { margin-top: 8; margin-bottom: 20 }