77 lines
1.6 KiB
CSS
77 lines
1.6 KiB
CSS
|
html, body {
|
||
|
|
font-size: 1em;
|
||
|
|
text-align: left;
|
||
|
|
text-decoration: none;
|
||
|
|
}
|
||
|
|
html { background-color: #e7e7e7; }
|
||
|
|
|
||
|
|
body {
|
||
|
|
max-width: 74.92em;
|
||
|
|
margin: 0 auto;
|
||
|
|
padding: .5em 1em 1em 1em;
|
||
|
|
background-color: white;
|
||
|
|
border: .1em solid #c0c0c0;
|
||
|
|
}
|
||
|
|
|
||
|
|
h1, h2, h3, h4 { color: #333; }
|
||
|
|
h5, h6, dt { color: #222; }
|
||
|
|
|
||
|
|
|
||
|
|
a h3 {
|
||
|
|
color: #005090;
|
||
|
|
}
|
||
|
|
|
||
|
|
a[href] { color: #005090; }
|
||
|
|
a[href]:visited { color: #100070; }
|
||
|
|
a[href]:active, a[href]:hover {
|
||
|
|
color: #100070;
|
||
|
|
text-decoration: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
.linkrow {
|
||
|
|
margin: 3em 0;
|
||
|
|
}
|
||
|
|
|
||
|
|
.linkrow {
|
||
|
|
text-align: center;
|
||
|
|
}
|
||
|
|
|
||
|
|
div.example { padding: .8em 1.2em .4em; }
|
||
|
|
pre.example { padding: .8em 1.2em; }
|
||
|
|
div.example, pre.example {
|
||
|
|
margin: 1em 0 1em 3% ;
|
||
|
|
-webkit-border-radius: .3em;
|
||
|
|
-moz-border-radius: .3em;
|
||
|
|
border-radius: .3em;
|
||
|
|
border: 1px solid #d4cbb6;
|
||
|
|
background-color: #f2efe4;
|
||
|
|
}
|
||
|
|
div.example > pre.example {
|
||
|
|
padding: 0 0 .4em;
|
||
|
|
margin: 0;
|
||
|
|
border: none;
|
||
|
|
}
|
||
|
|
|
||
|
|
|
||
|
|
/* This makes the very long tables of contents in Gnulib and other
|
||
|
|
manuals easier to read. */
|
||
|
|
.contents ul, .shortcontents ul { font-weight: bold; }
|
||
|
|
.contents ul ul, .shortcontents ul ul { font-weight: normal; }
|
||
|
|
.contents ul { list-style: none; }
|
||
|
|
|
||
|
|
/* For colored navigation bars (Emacs manual): make the bar extend
|
||
|
|
across the whole width of the page and give it a decent height. */
|
||
|
|
.header, .node { margin: 0 -1em; padding: 0 1em; }
|
||
|
|
.header p, .node p { line-height: 2em; }
|
||
|
|
|
||
|
|
/* For navigation links */
|
||
|
|
.node a, .header a { display: inline-block; line-height: 2em; }
|
||
|
|
.node a:hover, .header a:hover { background: #f2efe4; }
|
||
|
|
|
||
|
|
table.cartouche {
|
||
|
|
border-collapse: collapse;
|
||
|
|
border-color: darkred;
|
||
|
|
border-style: solid;
|
||
|
|
border-width: 3px;
|
||
|
|
}
|