docstyle.css (1864B)
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 pre.smallexample { 56 margin: 1em 0 1em 3% ; 57 -webkit-border-radius: .3em; 58 -moz-border-radius: .3em; 59 border-radius: .3em; 60 border: 1px solid #d4cbb6; 61 background-color: #f2efe4; 62 } 63 64 65 /* This makes the very long tables of contents in Gnulib and other 66 manuals easier to read. */ 67 .contents ul, .shortcontents ul { font-weight: bold; } 68 .contents ul ul, .shortcontents ul ul { font-weight: normal; } 69 .contents ul { list-style: none; } 70 71 /* For colored navigation bars (Emacs manual): make the bar extend 72 across the whole width of the page and give it a decent height. */ 73 .header, .node { margin: 0 -1em; padding: 0 1em; } 74 .header p, .node p { line-height: 2em; } 75 76 /* For navigation links */ 77 .node a, .header a { display: inline-block; line-height: 2em; } 78 .node a:hover, .header a:hover { background: #f2efe4; } 79 80 table.cartouche { 81 border-collapse: collapse; 82 border-color: darkred; 83 border-style: solid; 84 border-width: 3px; 85 }