aboutsummaryrefslogtreecommitdiff
path: root/doc/documentation/docstyle.css
blob: 8719248d03cd072c9fb998ba35ef3473dec4641d (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
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;
}