doc/texinfo.css

   1 body {
   2         margin: 2%;
   3         padding: 0 5%;
   4         background: #ffffff;
   5 }
   6 h1,h2,h3,h4,h5 {
   7     font-weight: bold;
   8     padding: 5px 5px 5px 5px;
   9     background-color: #c2e0ff;
  10     color: #336699;
  11 }
  12 h1 {
  13     padding: 2em 2em 2em 5%;
  14     color: white;
  15     background: #336699;
  16     text-align: center;
  17     letter-spacing: 3px;
  18 }
  19 h2 { text-decoration: underline; }
  20 pre {
  21   margin: 0 5%;
  22   padding: 0.5em;
  23 }
  24 pre.example {
  25   border: solid 1px;
  26   background: #eeeeff;
  27   padding-bottom: 1em;
  28 }
  29 pre.verbatim {
  30   border: solid 1px gray;
  31   background: white;
  32   padding-bottom: 1em;
  33 }
  34 div.node {
  35   margin: 0 -5% 0 -2%;
  36   padding: 0.5em 0.5em;
  37   margin-top: 0.5em;
  38   margin-bottom: 0.5em;
  39   font-weight: bold;
  40 }
  41 dd, li {
  42   padding-top: 0.1em;
  43   padding-bottom: 0.1em;
  44 }