/* Pretty printing styles. Used with prettify.js. */

.str{color:#d14}
.kwd{color:#000;font-weight:bold}
.com{color:#998;font-style:italic}
.typ{color:#458}
.lit{color:#099}
.pun{color:#666}
.pln{color:#000}
.tag{color:#000080}
.atn{color:#008080}
.atv{color:#008080}
.dec{color:#000;font-weight:bold}