BODY {
  /* background: #dddddd; */
  color: black;
  line-height: 125%;
}


H2 {
  background: #666666;
  color: white;
  margin-top: 1.5em;
  border-width: 1px 1px 1px 1px;
  border-style: solid none;
  border-color: black;
  padding: 0.15em;
}

PRE.old {
  line-height: 120%;
  background: #efd8d8;
  padding: 0.3em;
/*  border: outset thin #e0d8d0; */
  margin-top: 0.5em;
  margin-bottom: 0.5em;
}

PRE.new {
  line-height: 120%;
  background: #d8e0df;
  padding: 0.3em;
/*  border: outset thin #d8e0d0; */
  margin-top: 0.5em;
  margin-bottom: 0.5em;}