helm/www/lambdadelta/css/lddl.css

   1 @charset "UTF-8";
   2
   3 /* terms ********************************************************************/
   4
   5 .separator {
   6   background: rgb(255, 255, 255);
   7   color: rgb(0, 0, 0);
   8 }
   9
  10 .sort {
  11   background: rgb(255, 255, 255);
  12   color: rgb(128, 0, 255);
  13 }
  14
  15 .lref {
  16   background: rgb(255, 255, 255);
  17   color: rgb(0, 0, 0);
  18 }
  19
  20 .gref {
  21   background: rgb(255, 255, 255);
  22   color: rgb(0, 0, 255);
  23 }
  24
  25 .appl {
  26   background: rgb(255, 255, 255);
  27   color: rgb(0, 0, 0);
  28 }
  29
  30 .cast {
  31   background: rgb(255, 255, 255);
  32   color: rgb(255, 0, 0);
  33 }
  34
  35 .proj {
  36   background: rgb(255, 255, 255);
  37   color: rgb(192, 120, 0);
  38 }
  39
  40 .local {
  41   background: rgb(255, 255, 255);
  42   color: rgb(0, 160, 0);
  43 }
  44
  45 .global {
  46   background: rgb(255, 255, 255);
  47   color: rgb(0, 0, 255);
  48 }
  49
  50 .sup {
  51   vertical-align: super;
  52   font-size: smaller;
  53 }