6 html { background-color: #e7e7e7; }
11 padding: .5em 1em 1em 1em;
12 background-color: white;
13 border: .1em solid #c0c0c0;
16 h1, h2, h3, h4 { color: #333; }
17 h5, h6, dt { color: #222; }
24 a[href] { color: #005090; }
25 a[href]:visited { color: #100070; }
26 a[href]:active, a[href]:hover {
28 text-decoration: none;
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;
46 border: 1px solid #d4cbb6;
47 background-color: #f2efe4;
49 div.example > pre.example {
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; }
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; }
67 /* For navigation links */
68 .node a, .header a { display: inline-block; line-height: 2em; }
69 .node a:hover, .header a:hover { background: #f2efe4; }
72 border-collapse: collapse;
73 border-color: darkred;