css/hl.css

   1 /* Style definition file generated by highlight 3.9, http://www.andre-simon.de/ */
   2
   3 /* Highlighting theme: Emacs Editor */
   4
   5 body.perl-hl    { background-color:#ffffff; }
   6 pre.perl-hl     { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New';}
   7 .perl-hl.num { color:#000000; }
   8 .perl-hl.esc { color:#bd8d8b; }
   9 .perl-hl.str { color:#bd8d8b; }
  10 .perl-hl.pps { color:#bd8d8b; }
  11 .perl-hl.slc { color:#ac2020; font-style:italic; }
  12 .perl-hl.com { color:#ac2020; font-style:italic; }
  13 .perl-hl.ppc { color:#000000; }
  14 .perl-hl.opt { color:#000000; }
  15 .perl-hl.lin { color:#555555; }
  16 .perl-hl.kwa { color:#9c20ee; font-weight:bold; }
  17 .perl-hl.kwb { color:#208920; }
  18 .perl-hl.kwc { color:#0000ff; }
  19 .perl-hl.kwd { color:#000000; }
  20
  21 body.cpp-hl     { background-color:#ffffff; }
  22 pre.cpp-hl      { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New';}
  23 .cpp-hl.num { color:#000000; }
  24 .cpp-hl.esc { color:#bd8d8b; }
  25 .cpp-hl.str { color:#bd8d8b; }
  26 .cpp-hl.pps { color:#bd8d8b; }
  27 .cpp-hl.slc { color:#ac2020; font-style:italic; }
  28 .cpp-hl.com { color:#ac2020; font-style:italic; }
  29 .cpp-hl.ppc { color:#000000; }
  30 .cpp-hl.opt { color:#000000; }
  31 .cpp-hl.lin { color:#555555; }
  32 .cpp-hl.kwa { color:#9c20ee; font-weight:bold; }
  33 .cpp-hl.kwb { color:#208920; }
  34 .cpp-hl.kwc { color:#0000ff; }
  35 .cpp-hl.kwd { color:#000000; }
  36
  37 body.hl { background-color:#ffffff; }
  38 pre.hl  { color:#000000; background-color:#ffffff; font-size:10pt; font-family:'Courier New';}
  39 .hl.num { color:#000000; }
  40 .hl.esc { color:#bd8d8b; }
  41 .hl.str { color:#bd8d8b; }
  42 .hl.pps { color:#bd8d8b; }
  43 .hl.slc { color:#ac2020; font-style:italic; }
  44 .hl.com { color:#ac2020; font-style:italic; }
  45 .hl.ppc { color:#000000; }
  46 .hl.opt { color:#000000; }
  47 .hl.lin { color:#555555; }
  48 .hl.kwa { color:#9c20ee; font-weight:bold; }
  49 .hl.kwb { color:#208920; }
  50 .hl.kwc { color:#0000ff; }
  51 .hl.kwd { color:#000000; }
  52