.prettyprint {}
.str { color:#EB7300 }
.kwd { color:#881350 }
.com { color:#236E25; font-style:italic }
.typ { color:#c40 }
.lit { color:#00f }
.pun { color:#000 }
.pln { color:#825900 }
.tag { color:#369 }
.atn { color:#939 }
.atv { color:#181 }
.dec { color:#606 }

@media print{.str{color:#060}.kwd,.tag{color:#006;font-weight:bold}.com{color:#600;font-style:italic}.typ{font-weight:bold}.lit{color:#044}.pun{color:#440}.atn,.typ{color:#404}.atv{color:#060}}