<style type="text/css">

  body { color: black; background: white;
    margin-left: 10%; margin-right: 10%;
    font-family: Verdana, Arial, Helvetica, sans-serif;
  }

  h1 { margin-left: -8%;}
  h2,h3,h4,h5,h6 { margin-left: -4%; }

  h1,h2 { font-family: Garamond, Arial, Helvetica, serif; }

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

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

  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%;
  }
 
  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;
  }

  td { font-family: sans-serif; font-size: 80% }
  td.shaded { background: rgb(255, 255, 153) }
  th.shaded { background: rgb(204, 204, 153) }
}

</style>
