helm/www/matita/grafite-format.css

   1 /* color scheme similar to the colors we use in gtksourceview */
   2
   3 .grafite_TheoremKinds {
   4         color: #a52a2a;
   5         font-weight: bold;
   6 }
   7
   8 .grafite_Commands {
   9         color: #a52a2a;
  10         font-weight: bold;
  11 }
  12
  13 .grafite_Tactics {
  14         color: #008b8b;
  15         /*font-style: italic;*/
  16 }
  17
  18 .grafite_Macros {
  19         color: #a020f0;
  20 }
  21
  22 .grafite_Sorts {
  23         color: #2e8b57;
  24 }
  25
  26 .grafite_Operators {
  27         color: #a020f0;
  28 }
  29
  30 .grafite_String {
  31         color: #ff00ff;
  32 }
  33
  34 .grafite_Comment {
  35         color: #0000ff;
  36 }
  37
  38 .grafite_Symbols {
  39         color: #a52a2a;
  40         font-weight: bold;
  41 }
  42
  43 /* color scheme from colorer's navy.css stylesheet */
  44
  45 /*
  46 .grafite_TheoremKinds {
  47         color: #7779bb;
  48         font-weight: bold;
  49 }
  50
  51 .grafite_Commands {
  52         color: #200080;
  53         font-weight: bold;
  54 }
  55
  56 .grafite_Tactics {
  57         color: #930000;
  58         font-style: italic;
  59 }
  60
  61 .grafite_Macros {
  62         color: #004a43;
  63 }
  64
  65 .grafite_Sorts {
  66         color: #7779bb;
  67 }
  68
  69 .grafite_Operators {
  70         color: #44aadd;
  71 }
  72
  73 .grafite_String {
  74         color: #1060b6;
  75 }
  76
  77 .grafite_Comment {
  78         color: #595979;
  79 }
  80
  81 .grafite_Symbols {
  82         color: #406080;
  83         font-weight: bold;
  84 }
  85 */