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 */
19 background-color: #ffffff;
21 font-family: Courier, monospace;