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.note img, div.warning img, div.tip img {
  27         margin-right: 0.1in;
  28         border: solid 1px blue;
  29 }
  30
  31 pre.programlisting {
  32         border: solid 1px #444;
  33         background-color: #e0e0e0;
  34         padding: 0.1in;
  35         margin: 0.2in;
  36         clear: right;
  37 }
  38
  39 pre.screen {
  40         border: solid 1px #777;
  41         background-color: #ddd;
  42         padding: 0.1in;
  43         margin: 0.2in;
  44         clear: right;
  45 }
  46
  47 div.variablelist dl dt span.term {
  48         font-weight: bold;
  49 }
  50
  51 hr { display: none; }
  52
  53 div.navheader {
  54         padding-bottom: 0.1in;
  55         border-bottom: solid 1px black;
  56         border-color: #aaa;
  57 }
  58 div.navfooter {
  59         margin-top: 0.1in;
  60         border-top: solid 1px black;
  61         border-color: #aaa;
  62         padding-top: 0.1in;
  63 }
  64
  65 div.figure-float {
  66         float: right;
  67         margin-left: 2em;
  68         margin-bottom: 2em;
  69 }
  70
  71 div.revinfo {
  72         text-align: center;
  73         font-size: 0.7em;
  74         text-decoration: italic;
  75 }