pre {  font-family: "Courier New", Courier, mono; color: #000000; background-color: #FFFFFF; text-align: left; text-decoration: none; vertical-align: top; margin-left: 1%; font-size: 100%;}
body {  color: #000000; background-color: #FFFFFF}
.schluessel { font-weight: bold ; background-color: #FFD7D8}
.funktion {  font-style: italic; font-weight: bold; background-color: #CEFFCF}
var {  font-style: italic; background-color: #FFEDA6}