/* CSS definition file generated by highlight 2.0-22, http://www.andre-simon.de/ */ /* Highlighting theme definition: */ /* Used abbreviations: */ /* key: Keywords */ /* typ: Types and type modifiers */ /* str: Strings */ /* num: Numbers */ /* com: Comments */ /* esc: Escape characters */ /* dir: Directive lines */ /* dstr: Strings within directive lines */ /* sym: Symbols */ /* line: Line numbers */ pre { color: #000000; background-color: #ffffff; font-size: 10pt; font-family: Courier, monospace; } .key { color: #000000; font-weight: bold; } .num { color: #2928ff; } .typ { color: #830000; } .esc { color: #ff00ff; } .str { color: #ff0000; } .dstr { color: #818100; } .com { color: #838183; font-style: italic; } .dir { color: #008200; } .sym { color: #000000; } .line { color: #555555; }