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   width: 50%;
  56 }
  57
  58 th {
  59   padding: 0;
  60   color: #336699;
  61   background-color: #c2e0ff;
  62   border: solid #000000;
  63   border-width: 0px;
  64   margin: 1em auto;
  65   text-align: center;
  66   margin-left:auto;
  67   margin-right:auto;
  68 }
  69
  70 td {
  71   padding: 0;
  72   border: solid #000000;
  73   background-color: #f0faff;
  74   border-width: 0px;
  75   margin: 1em auto;
  76   text-align: left;
  77   margin-left:auto;
  78   margin-right:auto;
  79   padding-left: 1em;
  80 }
  81
  82 dl {
  83   text-align: left;
  84   margin-left:auto;
  85   margin-right:auto;
  86   width: 50%;
  87
  88   padding-left: 1em;
  89   border: solid #c2e0ff;
  90   background: #f0faff;
  91   border-width: 5px 1px 1px 1px;
  92   margin: 1em auto;
  93 }