web/css/ManPage.css

   1 /*****************************************************************************
   2 Sets minimal style for unsupported browsers and then imports the css
   3 files (used by compliant browsers). The following browsers will only
   4 get the minimal css styling listed below this comment:
   5
   6         NN 4.x, IE 3, IE 4.
   7
   8 NOTE: imports must use the quoted file name syntax for the import,
   9 '@import "x.css",' not the '@import url(x.css)' form which IE 4
  10 recognizes.
  11 *****************************************************************************/
  12 @import url(LevelThePlayingField.css);
  13 @import url(ColoredBoxesRoundedCorners.css);
  14 @import url(ManPageLayout.css);
  15
  16 div.filtered {
  17   color:                red;
  18   border:               2px solid #6600FF;
  19   background-color:     #E8E8E8;
  20   padding:              5px;
  21 }
  22
  23 .filtered, .filtered a {
  24   color:                #333399;
  25   font-style:           italic;
  26 }
  27
  28 .fontsize-set a#medium {
  29   font-size:            120%;
  30 }
  31
  32 .fontsize-set a#large {
  33   font-size:            140%;
  34 }