pre.code .hll { background-color: #ffffcc }
pre.code { background: #f8f8f8; }
pre.code .c { color: #408080; font-style: italic }
pre.code .err { border: 1px solid #FF0000 }
pre.code .k { color: #008000; font-weight: bold }
pre.code .o { color: #666666 }
pre.code .cm { color: #408080; font-style: italic }
pre.code .cp { color: #BC7A00 }
pre.code .c1 { color: #408080; font-style: italic }
pre.code .cs { color: #408080; font-style: italic }
pre.code .gd { color: #A00000 }
pre.code .ge { font-style: italic }
pre.code .gr { color: #FF0000 }
pre.code .gh { color: #000080; font-weight: bold }
pre.code .gi { color: #00A000 }
pre.code .go { color: #808080 }
pre.code .gp { color: #000080; font-weight: bold }
pre.code .gs { font-weight: bold }
pre.code .gu { color: #800080; font-weight: bold }
pre.code .gt { color: #0040D0 }
pre.code .kc { color: #008000; font-weight: bold }
pre.code .kd { color: #008000; font-weight: bold }
pre.code .kn { color: #008000; font-weight: bold }
pre.code .kp { color: #008000 }
pre.code .kr { color: #008000; font-weight: bold }
pre.code .kt { color: #B00040 }
pre.code .m { color: #666666 }
pre.code .s { color: #BA2121 }
pre.code .na { color: #7D9029 }
pre.code .nb { color: #008000 }
pre.code .nc { color: #0000FF; font-weight: bold }
pre.code .no { color: #880000 }
pre.code .nd { color: #AA22FF }
pre.code .ni { color: #999999; font-weight: bold }
pre.code .ne { color: #D2413A; font-weight: bold }
pre.code .nf { color: #0000FF }
pre.code .nl { color: #A0A000 }
pre.code .nn { color: #0000FF; font-weight: bold }
pre.code .nt { color: #008000; font-weight: bold }
pre.code .nv { color: #19177C }
pre.code .ow { color: #AA22FF; font-weight: bold }
pre.code .w { color: #bbbbbb }
pre.code .mf { color: #666666 }
pre.code .mh { color: #666666 }
pre.code .mi { color: #666666 }
pre.code .mo { color: #666666 }
pre.code .sb { color: #BA2121 }
pre.code .sc { color: #BA2121 }
pre.code .sd { color: #BA2121; font-style: italic }
pre.code .s2 { color: #BA2121 }
pre.code .se { color: #BB6622; font-weight: bold }
pre.code .sh { color: #BA2121 }
pre.code .si { color: #BB6688; font-weight: bold }
pre.code .sx { color: #008000 }
pre.code .sr { color: #BB6688 }
pre.code .s1 { color: #BA2121 }
pre.code .ss { color: #19177C }
pre.code .bp { color: #008000 }
pre.code .vc { color: #19177C }
pre.code .vg { color: #19177C }
pre.code .vi { color: #19177C }
pre.code .il { color: #666666 }