1/* Doxy pretty-printing styles. Used with prettify.js.  */
2
3pre .str, code .str { color: #fec243; } /* string  - eggyolk gold */
4pre .kwd, code .kwd { color: #8470FF; } /* keyword - light slate blue */
5pre .com, code .com { color: #32cd32; font-style: italic; } /* comment - green */
6pre .typ, code .typ { color: #6ecbcc; } /* type - turq green */
7pre .lit, code .lit { color: #d06; } /* literal - cherry red */
8pre .pun, code .pun { color: #8B8970;  } /* punctuation - lemon chiffon4  */
9pre .pln, code .pln { color: #f0f0f0; } /* plaintext - white */
10pre .tag, code .tag { color: #9c9cff; } /* html/xml tag  (bluey)  */
11pre .htm, code .htm { color: #dda0dd; } /* html tag  light purply*/
12pre .xsl, code .xsl { color: #d0a0d0; } /* xslt tag  light purply*/
13pre .atn, code .atn { color: #46eeee; font-weight: normal;} /* html/xml attribute name  - lt turquoise */
14pre .atv, code .atv { color: #EEB4B4; } /* html/xml attribute value - rosy brown2 */
15pre .dec, code .dec { color: #3387CC; } /* decimal - blue */
16
17a {
18  text-decoration: none;
19}
20pre.prettyprint, code.prettyprint {
21  font-family:'Droid Sans Mono','CPMono_v07 Bold','Droid Sans';
22  font-weight: bold;
23  font-size: 9pt;
24  background-color: #0f0f0f;
25  -moz-border-radius: 8px;
26  -webkit-border-radius: 8px;
27  -o-border-radius: 8px;
28  -ms-border-radius: 8px;
29  -khtml-border-radius: 8px;
30  border-radius: 8px;
31}  /*  background is black (well, just a tad less dark )  */
32
33pre.prettyprint {
34  width: 95%;
35  margin: 1em auto;
36  padding: 1em;
37  white-space: pre-wrap;
38}
39
40pre.prettyprint a, code.prettyprint a {
41   text-decoration:none;
42}
43/* Specify class=linenums on a pre to get line numbering; line numbers themselves are the same color as punctuation */
44ol.linenums { margin-top: 0; margin-bottom: 0; color: #8B8970; } /* IE indents via margin-left */
45li.L0,li.L1,li.L2,li.L3,li.L5,li.L6,li.L7,li.L8 { list-style-type: none }
46/* Alternate shading for lines */
47li.L1,li.L3,li.L5,li.L7,li.L9 { }
48
49/* print is mostly unchanged from default at present  */
50@media print {
51  pre.prettyprint, code.prettyprint { background-color: #fff;  }
52  pre .str, code .str { color: #088; }
53  pre .kwd, code .kwd { color: #006; font-weight: bold; }
54  pre .com, code .com { color: #0c3; font-style: italic; }
55  pre .typ, code .typ { color: #404; font-weight: bold; }
56  pre .lit, code .lit { color: #044; }
57  pre .pun, code .pun { color: #440; }
58  pre .pln, code .pln { color: #000; }
59  pre .tag, code .tag { color: #b66ff7; font-weight: bold; }
60  pre .htm, code .htm { color: #606; font-weight: bold; }
61  pre .xsl, code .xsl { color: #606; font-weight: bold; }
62  pre .atn, code .atn { color: #c71585;  font-weight: normal; }
63  pre .atv, code .atv { color: #088;  font-weight: normal; }
64}
65