/* CSS definition file generated by highlight 2.0, 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 */ pre { color:#000000; background-color:#ffffff; font-size:10pt; font-family:Courier;} .key { color:#0000ff; font-weight:bold; } .num { color:#a900a9; } .typ { color:#0000ff; } .esc { color:#ff0000; } .str { color:#ff0000; } .dstr { color:#ff0000; } .com { color:#666666; font-style:italic; } .dir { color:#00b800; } .line { color:#666666; }