body { 
  font-family: Verdana, sans-serif;
  margin: 2cm;}
td.navi { 
  display:none;}
div.kleinereschrift { 
  display:none;}
pre { 
  border: 1pt solid black;
  background: #e0e0e0;
  padding: 2mm;}