div.code { background-color:#000000; color:#ffffff; padding-left:10px; padding-top:2px; padding-bottom:2px; margin-left:20px; width:800px; }
div.code a { color:#00ffff; }
div.code .Special { color:#ff0000; font-weight:bold; }
div.code .Identifier { color:#00ffff; font-weight:bold; }
div.code .Constant { color:#ff40ff; font-weight:bold; }
div.code .Type { color:#00ff00; font-weight:bold; }
div.code .Comment { color:#00ffff; font-weight:bold; }
div.code .hlLevel0 { color:#8080ff; }
div.code .Statement { color:#ffff00; font-weight:bold; }
pre { white-space:pre-wrap; width:800px; }
div.section { padding-left:10px; }