-
Notifications
You must be signed in to change notification settings - Fork 23
/
custom.css
61 lines (50 loc) · 1.3 KB
/
custom.css
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
body {
background-color: #fff;
color: #000;
margin: 0em;
padding: 0em;
}
a { text-decoration: none; }
h1 { font-size: 200%; font-weight: bolder; }
h2 { font-size: 150%; font-weight: bolder; }
h3 { font-size: 125%; font-weight: bolder; }
#main{
padding: 1em;
}
#main a.idref:visited { background-color: inherit; color: #36f; }
#main a.idref:link { background-color: inherit; color: #36f; }
#main a.idref:hover { }
#main a.idref:active { }
#main a.modref:visited { background-color: inherit; color: #36f; }
#main a.modref:link { background-color: inherit; color: #36f; }
#main a.modref:hover { }
#main a.modref:active { }
.doc {
background: rgb(224,224,255);
padding: 1ex;
}
.code {
display: block;
font-family: monospace;
}
.inlinecode {
display: inline;
font-family: monospace;
}
h1.section {
border-bottom: 4px solid black;
}
#footer {
font-size: 80%;
}
#footer a:visited { color: #00f; }
#footer a:link { color: #00f; }
#footer a:hover { }
#footer a:active { }
.id { display: inline; }
.id[type="constructor"] { color: #060; }
.id[type="var"] { color: #606; }
.id[type="definition"] { color: #060; }
.id[type="lemma"] { color: #060; }
.id[type="inductive"] { color: #060; }
.id[type="keyword"] { color: #c00; }