1 /* CSS definition file generated by highlight 2.0-22, http://www.andre-simon.de/ */
3 /* Highlighting theme definition: */
5 /* Used abbreviations: */
7 /* typ: Types and type modifiers */
11 /* esc: Escape characters */
12 /* dir: Directive lines */
13 /* dstr: Strings within directive lines */
15 /* line: Line numbers */
17 pre { color:#000000; background-color:#ffffff; font-size:10pt; font-family:Courier, monospace;}
18 .key { color:#000000; font-weight:bold; }
19 .num { color:#2928ff; }
20 .typ { color:#830000; }
21 .esc { color:#ff00ff; }
22 .str { color:#ff0000; }
23 .dstr { color:#818100; }
24 .com { color:#838183; font-style:italic; }
25 .dir { color:#008200; }
26 .sym { color:#000000; }
27 .line { color:#555555; }