1/* Pretty printing styles. Used with prettify.js. */
2
3.str { color: #2A00FF; }
4.kwd { color: #7F0055; font-weight:bold; }
5.com { color: #3F5FBF; }
6.typ { color: #606; }
7.lit { color: #066; }
8.pun { color: #660; }
9.pln { color: #000; }
10.tag { color: #008; }
11.atn { color: #606; }
12.atv { color: #080; }
13.dec { color: #606; }
14