1.str{color:#080}
2.kwd{color:#008}
3.com{color:#800}
4.typ{color:#606}
5.lit{color:#066}
6.pun{color:#660}
7.pln{color:#000}
8.tag{color:#008}
9.atn{color:#606}
10.atv{color:#080}
11.dec{color:#606}
12
13pre.prettyprint{
14  padding:2px;
15  border-top: 1px solid #888; border-bottom: 1px solid #888;
16}
17@media print{.str{color:#060}
18
19.kwd{
20  color:#006;font-weight:bold}
21  .com{color:#600;font-style:italic
22}
23.typ{color:#404;font-weight:bold}
24.lit{color:#044}
25.pun{color:#440}
26.pln{color:#000}
27.tag{color:#006;font-weight:bold}
28.atn{color:#404}
29.atv{color:#060}}