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; 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-family: sans-serif;
    font-size: 80%;
    background: white;
    border-width: 2;
    border-color: white;
  }
  th { font-family: sans-serif; background: rgb(204, 204, 153); font-size: 80% }
  td { font-family: sans-serif; background: rgb(255, 255, 153); font-size: 80% }
  td.shaded { background: rgb(255, 255, 153) }
  th.shaded { background: rgb(204, 204, 153) }