pre.prettyprint{padding:2px;border:1px dashed #CCCCCC;font-size:12px;overflow:auto}.str{ color:#A31515}.kwd{ color:#00F}.com{ color:#008000}.typ{ color:#2B91B1}.lit{ color:#066}.pun{ color:#660}.pln{ color:#000}.tag{ color:#800000}.atn{ color:#FF0000}.atv{ color:#00F}.dec{ color:#606}.highlight{background-color:#FFFB7A}.code{background-color:#FFFFFF;color:black;font-family:Consolas,"Courier New",Courier,Monospace;font-size:small}