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
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
|
/* Colour scheme */
:root {
--b: #ededed;
--f: #121212;
--a: #0000ff;
}
.darkinv {}
@media only screen and (prefers-color-scheme: dark) {
:root {
--b: #121212;
--f: #ededed;
--a: #ffff00;
}
.darkinv {filter: invert(100%);}
}
/* Basic elements */
html {
line-height: 1.5;
-webkit-text-size-adjust: none;
text-size-adjust: none;
}
body {
background: #ededed;
background: var(--b);
color: #121212;
color: var(--f);
max-width: 80ch;
margin: auto;
padding: 1rem 0;
font-family: sans-serif;
}
h1, h2, h3, h4 {text-align: center;}
h1 {font-size: 2.1rem;}
h2 {font-size: 1.8rem;}
h3 {font-size: 1.5rem;}
h4 {
font-size: 1.2rem;
font-style: italic;
}
a {
background-color: transparent; /* normalize.css */
text-decoration: none;
color: #0000ff;
color: var(--a);
}
img {
border-style: none; /* normalize.css */
display: block;
max-width: 100%;
height: auto;
margin: auto;
}
table {margin: auto;}
td {padding: 0 1.5rem;}
/*code, pre {
font-family: monospace, monospace;
font-size: 1em;
}*/
/* Header and footer */
.nav {
height: 3rem;
font-size: 2.4rem;
padding-bottom: 0.5rem;
}
.navl, .footl {
float: left;
text-align: left;
}
.navr, .footr {
float: right;
text-align: right;
}
@media only screen and (max-width: 69ch) {
.navl, .footl, .footr {width: 100%;}
.navr {
width: 100%;
font-size: 1.8rem;
}
}
.noha a:link, .noha a:visited {
color: #121212;
color: var(--f);
}
.noha a:hover, .noha a:focus, .noha a:active {
color: #0000ff;
color: var(--a);
}
/* IE-compatible collapsible proofs */
div.proof {
border: 3px dotted;
padding: 0.25rem 0.5rem;
}
label.proof {
color: #0000ff;
color: var(--a);
cursor: pointer;
}
.proof-hidden {display: none;}
input.proof {display: none;}
input.proof:checked + label {display: none;}
input.proof:checked + label + .proof-hidden {display: block;}
.proof-starts + p {margin-top: 0;}
|