body {

     text-align: justify;

     margin-left: 15%;

     margin-right: 10%;

  }

  h2,h3,h4,h5,h6 { color: rgb(0,28,140); }

  pre {

     color: yellow;

     margin-left: 5%;

     background-color: navy;

     white-space: pre;

     }

  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(209,209,255);

    color: rgb(0,28,140);

    padding: 0.5em;

    border: none;

    width: 100%;

  }

  div.indent{

    margin-left: 5%;

    }

  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: 2px;

    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) }