body {
  margin: 10% 2% 10% 10%;
  font-size: 12pt; 
  font-family: Verdana, Helvetica, sans-serif;
}

h1 { 
  border-top: solid black 1px;
  font-size: 14pt; 
}

code, pre { 
  color: blue;
  background-color: inherit;
}

.hl { 
  color: red;
  background-color: inherit;
}