themes/default/highlight.css

   1 /**
   2  *  $Id$
   3  */
   4
   5 /* CSS definition file generated by highlight 2.0-22, http://www.andre-simon.de/ */
   6
   7 /* Highlighting theme definition: */
   8
   9    /* Used abbreviations: */
  10    /* key:  Keywords */
  11    /* typ:  Types and type modifiers */
  12    /* str:  Strings */
  13    /* num:  Numbers */
  14    /* com:  Comments */
  15    /* esc:  Escape characters */
  16    /* dir:  Directive lines */
  17    /* dstr: Strings within directive lines */
  18    /* sym:  Symbols */
  19    /* line: Line numbers */
  20
  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; }