doc/texinfo.css

   1 body {
   2         margin: 2%;
   3         padding: 0 5%;
   4         background: #f2f2f9;
   5 }
   6 h1,h2,h3,h4,h5 {
   7     padding: 0.5em 0 0 5%;
   8     font-family: Tahoma, Verdana, sans-serif;
   9     font-weight: bold;
  10 }
  11 h1 {
  12     padding: 0.5em 0 0.5em 5%;
  13     color: white;
  14     background: #3366cc;
  15     border-bottom: solid 1px black;
  16 }
  17 h2 { text-decoration: underline; }
  18 h4 { font-style: italic; }
  19 pre {
  20   margin: 0 5%;
  21   padding: 0.5em;
  22 }
  23 pre.example {
  24   border: solid 1px #aaaaff;
  25   background: #eeeeff;
  26   padding-bottom: 1em;
  27 }
  28 pre.verbatim {
  29   border: solid 1px gray;
  30   background: white;
  31   padding-bottom: 1em;
  32 }
  33 div.node {
  34   background: #ffeeee;
  35   margin: 0 -5% 0 -2%;
  36   padding: 0.5em 0.5em;
  37   border: solid 1px #ffaaaa;
  38   margin-top: 0.5em;
  39   margin-bottom: 0.5em;
  40   font-weight: bold;
  41   color: #770000;
  42 }
  43 .node a {
  44   color: #770000;
  45 }
  46 .node a:visited {
  47   color: #550000;
  48 }
  49 dd, li {
  50   padding-top: 0.1em;
  51   padding-bottom: 0.1em;
  52 }