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,pre.verbatim {
  25   padding-bottom: 1em;
  26
  27   border: solid #c2e0ff;
  28   background: #f0faff;
  29   border-width: 1px 1px 1px 5px;
  30   margin: 1em auto;
  31   width: 90%;
  32 }
  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 }
  45 div.float {
  46
  47   margin-bottom: 0.5em;
  48   text-align: center;
  49 }
  50
  51 table {
  52   text-align: left;
  53   margin-left:auto;
  54   margin-right:auto;
  55   border-spacing: 7px;
  56   width: 50%;
  57 }
  58
  59 th {
  60   padding: 0;
  61   color: #336699;
  62   background-color: #c2e0ff;
  63   border: solid #000000;
  64   border-width: 0px;
  65   margin: 1em auto;
  66   text-align: center;
  67   margin-left:auto;
  68   margin-right:auto;
  69 }
  70
  71 td {
  72   padding: 0;
  73   border: solid #000000;
  74   background-color: #f0faff;
  75   border-width: 0px;
  76   margin: 1em auto;
  77   text-align: left;
  78   margin-left:auto;
  79   margin-right:auto;
  80   padding-left: 1em;
  81 }
  82
  83 dl {
  84   text-align: left;
  85   margin-left:auto;
  86   margin-right:auto;
  87   width: 50%;
  88
  89   padding-left: 1em;
  90   border: solid #c2e0ff;
  91   background: #f0faff;
  92   border-width: 5px 1px 1px 1px;
  93   margin: 1em auto;
  94 }