doc/docstyle.css

   1 html, body {
   2     font-size: 1em;
   3     text-align: left;
   4     text-decoration: none;
   5 }
   6 html { background-color: #e7e7e7; }
   7
   8 body {
   9     max-width: 74.92em;
  10     margin: 0 auto;
  11     padding: .5em 1em 1em 1em;
  12     background-color: white;
  13     border: .1em solid #c0c0c0;
  14 }
  15
  16 h1, h2, h3, h4 { color: #333; }
  17 h5, h6, dt { color: #222; }
  18
  19
  20 a h3 {
  21     color: #005090;
  22 }
  23
  24 a[href] { color: #005090; }
  25 a[href]:visited { color: #100070; }
  26 a[href]:active, a[href]:hover {
  27     color: #100070;
  28     text-decoration: none;
  29 }
  30
  31 .linkrow {
  32     margin: 3em 0;
  33 }
  34
  35 .linkrow {
  36     text-align: center;
  37 }
  38
  39 div.example { padding: .8em 1.2em .4em; }
  40 pre.example { padding: .8em 1.2em; }
  41 div.example, pre.example {
  42     margin: 1em 0 1em 3% ;
  43     -webkit-border-radius: .3em;
  44     -moz-border-radius: .3em;
  45     border-radius: .3em;
  46     border: 1px solid #d4cbb6;
  47     background-color: #f2efe4;
  48 }
  49 div.example > pre.example {
  50     padding: 0 0 .4em;
  51     margin: 0;
  52     border: none;
  53 }
  54
  55
  56 /* This makes the very long tables of contents in Gnulib and other
  57    manuals easier to read. */
  58 .contents ul, .shortcontents ul { font-weight: bold; }
  59 .contents ul ul, .shortcontents ul ul { font-weight: normal; }
  60 .contents ul { list-style: none; }
  61
  62 /* For colored navigation bars (Emacs manual): make the bar extend
  63    across the whole width of the page and give it a decent height. */
  64 .header, .node { margin: 0 -1em; padding: 0 1em; }
  65 .header p, .node p { line-height: 2em; }
  66
  67 /* For navigation links */
  68 .node a, .header a { display: inline-block; line-height: 2em; }
  69 .node a:hover, .header a:hover { background: #f2efe4; }
  70
  71 table.cartouche {
  72     border-collapse: collapse;
  73     border-color: darkred;
  74     border-style: solid;
  75     border-width: 3px;
  76 }