helm/www/lambdadelta/css/lddl.css

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