body {
  font-family: 'Inconsolata', sans-serif; 
  font-size: 16px;
}
.imprint { 
  position: absolute; left: 32pt; top: 24pt; 
  display: none;
}
.lineno {
  background-color: #FFFAFA;
  color: #808080;
  border-right: solid #F0F8FF;
  text-align: right;
}
.code {
  background-color: #FFFFFF;
  color: #000000;
}
.reserved {
  font-weight:bold;
}
.numeric {
  color: #000080;
}