BODY { 
  margin-top: 10%;
  margin-left: 10%;
  margin-right: 10%;
  margin-bottom: 10%;
  background-color: white;
  font-family: serif;
  color: black;
}

H1,H2,H3,H4 {
  font-family: sans-serif;
}

DIV.revhistory {
  background-color: grey;
  font-size: small;
}

.programlisting {
  background-color: #aaaaaa;
  border: solid;
  border-width: thin;
}

