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