gosa-plugins/systems/help/en/html/systems/systems.css

   1 /* Century Schoolbook font is very similar to Computer Modern Math: cmmi */
   2 .MATH    { font-family: "Century Schoolbook", serif; }
   3 .MATH I  { font-family: "Century Schoolbook", serif; font-style: italic }
   4 .BOLDMATH { font-family: "Century Schoolbook", serif; font-weight: bold }
   5
   6 /* implement both fixed-size and relative sizes */
   7 SMALL.XTINY             { font-size : xx-small }
   8 SMALL.TINY              { font-size : x-small  }
   9 SMALL.SCRIPTSIZE        { font-size : smaller  }
  10 SMALL.FOOTNOTESIZE      { font-size : small    }
  11 SMALL.SMALL             {  }
  12 BIG.LARGE               {  }
  13 BIG.XLARGE              { font-size : large    }
  14 BIG.XXLARGE             { font-size : x-large  }
  15 BIG.HUGE                { font-size : larger   }
  16 BIG.XHUGE               { font-size : xx-large }
  17
  18 /* heading styles */
  19 H1              {  }
  20 H2              {  }
  21 H3              {  }
  22 H4              {  }
  23 H5              {  }
  24
  25 /* mathematics styles */
  26 DIV.displaymath         { }     /* math displays */
  27 TD.eqno                 { }     /* equation-number cells */
  28
  29
  30 /* document-specific styles come next */
  31 DIV.navigation          {   }
  32 SPAN.textit             { font-style: italic  }
  33 SPAN.arabic             {   }
  34 SPAN.\0\0\0\0\0\0             {  }
  35 #hue116         { color: #ff0000;  }
  36 #hue118         { color: #ff0000;  }
  37 #hue120         { color: #ff0000;  }
  38 #hue128         { color: #ff0000;  }
  39 #hue130         { color: #ff0000;  }
  40 #hue160         { color: #ff0000;  }
  41 #hue200         { color: #ff0000;  }
  42 #hue209         { color: #ff0000;  }
  43 #hue222         { color: #ff0000;  }
  44 #hue230         { color: #ff0000;  }
  45 #hue25          { color: #0000ff;  }
  46 #hue252         { color: #ff0000;  }
  47 #hue254         { color: #ff0000;  }
  48 #hue256         { color: #ff0000;  }
  49 #hue278         { color: #ff0000;  }
  50 #hue28          { color: #000000;  }
  51 #hue282         { color: #ff0000;  }
  52 #hue320         { color: #ff0000;  }
  53 #hue341         { color: #ff0000;  }
  54 #hue383         { color: #ff0000;  }
  55 #hue388         { color: #ff0000;  }
  56 #hue393         { color: #ff0000;  }
  57 #hue40          { color: #000000;  }
  58 #hue401         { color: #ff0000;  }
  59 #hue403         { color: #ff0000;  }
  60 #hue409         { color: #ff0000;  }
  61 #hue414         { color: #ff0000;  }
  62 #hue42          { color: #000000;  }
  63 #hue420         { color: #ff0000;  }
  64 #hue44          { color: #000000;  }
  65 #hue464         { color: #000000;  }
  66 #hue495         { color: #ff0000;  }
  67 #hue497         { color: #ff0000;  }
  68 #hue499         { color: #ff0000;  }
  69 #hue501         { color: #ff0000;  }
  70 #hue503         { color: #ff0000;  }
  71 #hue505         { color: #ff0000;  }
  72 #hue507         { color: #ff0000;  }
  73 #hue509         { color: #ff0000;  }
  74 #hue511         { color: #ff0000;  }
  75 #hue520         { color: #ff0000;  }
  76 #hue529         { color: #000000;  }
  77 #hue533         { color: #000000;  }
  78 #hue540         { color: #ff0000;  }
  79 #hue558         { color: #000000;  }
  80 #hue562         { color: #000000;  }
  81 #hue569         { color: #ff0000;  }
  82 #hue577         { color: #000000;  }
  83 #hue579         { color: #ff0000;  }
  84 #hue590         { color: #ff0000;  }
  85 #hue591         { color: #ff0000;  }
  86 #hue595         { color: #ff0000;  }
  87 #hue604         { color: #ff0000;  }
  88 #hue605         { color: #ff0000;  }
  89 #hue609         { color: #ff0000;  }
  90 #hue610         { color: #ff0000;  }
  91 #hue619         { color: #ff0000;  }
  92 #hue620         { color: #ff0000;  }
  93 #hue624         { color: #ff0000;  }
  94 #hue625         { color: #ff0000;  }
  95 #hue627         { color: #ff0000;  }
  96 #hue629         { color: #ff0000;  }
  97 #hue631         { color: #ff0000;  }
  98 #hue634         { color: #ff0000;  }
  99 #hue635         { color: #ff0000;  }
 100 #hue637         { color: #ff0000;  }
 101 #hue638         { color: #ff0000;  }
 102 #hue640         { color: #ff0000;  }
 103 #hue641         { color: #ff0000;  }
 104 #hue69          { color: #ff0000;  }
 105 #hue71          { color: #ff0000;  }
 106 #hue73          { color: #ff0000;  }
 107 #hue75          { color: #ff0000;  }
 108 #hue86          { color: #ff0000;  }
 109 #hue94          { color: #ff0000;  }