distr/cudd/doc/cuddIntro.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 */