locale/manual.css

   1 body {
   2         font-family: Tahoma, Arial, sans-serif;
   3 }
   4
   5 h1, h2, h3, h4, h5 {
   6         font-family: Arial, serif;
   7 }
   8
   9 h2 {
  10         font-size: 1.3em;
  11 }
  12
  13 h3, h4, h5 {
  14         font-size: 1em;
  15         margin: 0.2em;
  16 }
  17
  18 div.note, div.warning, div.tip {
  19         margin-left: 0.3in;
  20         margin-right: 0.5in;
  21         border: solid 1px blue;
  22         background-color: #e0e0e0;
  23         padding: 0.1in;
  24 }
  25
  26 div.warning
  27 {
  28         border-color: red;
  29 }
  30
  31 div.note img, div.warning img, div.tip img {
  32         margin-right: 0.1in;
  33         border: solid 1px blue;
  34 }
  35
  36 pre.programlisting {
  37         border: solid 1px #444;
  38         background-color: #e0e0e0;
  39         padding: 0.1in;
  40         margin: 0.2in;
  41         clear: right;
  42 }
  43
  44 pre.screen {
  45         border: solid 1px #777;
  46         background-color: #ddd;
  47         padding: 0.1in;
  48         margin: 0.2in;
  49         clear: right;
  50 }
  51
  52 div.variablelist dl dt span.term {
  53         font-weight: bold;
  54 }
  55
  56 hr { display: none; }
  57
  58 div.navheader {
  59         padding-bottom: 0.1in;
  60         border-bottom: solid 1px black;
  61         border-color: #aaa;
  62 }
  63 div.navfooter {
  64         margin-top: 0.1in;
  65         border-top: solid 1px black;
  66         border-color: #aaa;
  67         padding-top: 0.1in;
  68 }
  69
  70 div.figure-float {
  71         float: right;
  72         margin-left: 2em;
  73         margin-bottom: 2em;
  74 }
  75
  76 div.revinfo {
  77         text-align: center;
  78         font-size: 0.7em;
  79         text-decoration: italic;
  80 }