body { margin-left: 2%; margin-right: 2%; FONT-family: sans-serif }
  h2,h3,h4,h5,h6 { margin-left: -3% }
  pre { COLOR: black; FONT-weight: bold; white-space: pre; FONT-family: monospace; }
  tt { COLOR: black }
  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(255,255,153); padding: 0.5em; border: none; width: 100%; }
  div.jackbackground { background-COLOR: rgb(255,255,153); border: none; margin-left: 0%; margin-right: 0%; text-align: left; }
  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); }
  td { FONT-family: sans-serif; FONT-SIZE: 80% }
  td.shaded { background: rgb(255, 255, 153) }
  th.shaded { background: rgb(204, 204, 153) }
  a:hover  {color: #FF6600}
  a:active {color: #FF6600}