body {
background-color: white;
font: medium Arial, Helvetica, sans-serif;
}

pre {font-family: monospace; color:#000000;}

.keyword{color: #0000BB; font-weight:bold;}
.unused{color: #FF0000; font-weight:bold;}
.literal{color: #8800BB; font-weight:bold;}
.comment{color: #008800; font-style:italic;}
.highlight{background-color: #FFFF66;}