1/* Pretty printing styles. Used with prettify.js. */
2
3.str { color: #080; }
4.kwd { color: #008; }
5.com { color: #800; }
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; }
14pre.prettyprint { padding: 2px; border: 1px solid #888; }
15
16@media print {
17  .str { color: #060; }
18  .kwd { color: #006; font-weight: bold; }
19  .com { color: #600; font-style: italic; }
20  .typ { color: #404; font-weight: bold; }
21  .lit { color: #044; }
22  .pun { color: #440; }
23  .pln { color: #000; }
24  .tag { color: #006; font-weight: bold; }
25  .atn { color: #404; }
26  .atv { color: #060; }
27}
28