doc/man-pages/style.css

   1 /* Style sheet for OpenAFS Reference documentation. */
   2 /* For accessibility reasons, never specify text sizes in px/pt/pc/in/cm/mm */
   3
   4 @media all { .hide { display: none; } }
   5
   6 @media print {
   7   .noprint, div.indexgroup, .backlinktop, .backlinkbottom { display: none }
   8
   9   * {
  10     border-color: black !important;
  11     color: black !important;
  12     background-color: transparent !important;
  13     background-image: none !important;
  14   }
  15 }
  16
  17 @media screen, tty, tv, projection {
  18   .noscreen { display: none; }
  19
  20   a:link                      { text-decoration: none; }
  21   a:visited                   { text-decoration: none; }
  22   a:active                    { text-decoration: none; }
  23   a:hover   { background: #fec; text-decoration: none; }
  24   body.contentspage a         { text-decoration: none; }
  25   a.u { color: #000 !important; text-decoration: none; }
  26
  27   body.pod {
  28     font-family:      Georgia, "Times New Roman", serif;
  29     margin:           10px 30px;
  30     color:            #000;
  31     background-color: #fff;
  32   }
  33
  34   p.indexlink { text-align: right }
  35
  36   body.pod h1 { font-size: large }
  37   body.pod h2 { font-size: large }
  38
  39   body.pod dt {
  40     font-size: 105%; /* just a wee bit more than normal */
  41   }
  42
  43   /* Indent the body text and lower headings. */
  44   body.pod p { margin-left: 2em }
  45   body.pod dl { margin-left: 2em }
  46   body.pod ol { margin-left: 2em }
  47   body.pod ul { margin-left: 2em }
  48   body.pod dl p { margin-left: 0 }
  49   body.pod ol p { margin-left: 0 }
  50   body.pod ul p { margin-left: 0 }
  51   body.pod pre { margin-left: 2em }
  52   body.pod dl pre { margin-left: 0 }
  53   body.pod ol pre { margin-left: 0 }
  54   body.pod ul pre { margin-left: 0 }
  55   body.pod h2 { margin-left: 0.5em }
  56   body.pod h3 { margin-left: 1em }
  57   body.pod h4 { margin-left: 1em }
  58
  59   /* Special handling for the synopsis section to outdent the first line. */
  60   body.pod .synopsis { padding-left: 2em; text-indent: -2em; }
  61
  62   body.contentspage {
  63     font-family:      Georgia, "Times New Roman", serif;
  64     margin:           10px 30px;
  65     color:            #000;
  66     background-color: #fff;
  67   }
  68
  69   body.contentspage h1  {
  70     color:         #000;
  71     margin-left:   1em;
  72     margin-right:  1em;
  73     text-indent:   -.9em;
  74     font-family:   Tahoma, Verdana, Helvetica, Arial, sans-serif;
  75     font-weight:   normal;
  76     border-top:    medium solid #000;
  77     border-bottom: medium solid #000;
  78     text-align:    center;
  79   }
  80
  81   body.contentspage th {
  82     font-weight:   bold;
  83     font-size:     large;
  84     text-align:    left;
  85   }
  86
  87   body.contentspage td { padding: 0 0.5em; }
  88 }