blob: a1ae3661bd000221b4139375cb9cb78388364797 (
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
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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
|
* {
box-sizing: border-box;
}
:root {
--fg: #cdd6f4;
--bg: #11111b;
--link: #bd93f9;
--overlay: #313244;
}
.skip {
position: absolute;
left: -10000px;
top: auto;
width: 1px;
height: 1px;
overflow: hidden;
}
.skip:focus {
position: static;
width: auto;
height: auto;
}
body {
max-width: 50rem;
padding: 2rem;
margin: 0 auto;
line-height: 1.6;
background: var(--bg);
color: var(--fg);
font-family: serif;
}
h1,
h2,
h3,
h4 {
margin-block-end: 0.25em;
line-height: 1.3;
font-family: sans-serif;
a,
a:visited {
color: var(--fg);
text-decoration: none;
}
a:hover {
color: var(--link);
text-decoration: underline;
}
}
ul {
margin-block-start: 0;
}
p {
margin-block-start: 0;
text-align: justify;
hyphens: auto;
}
#main-nav {
line-height: 1.3;
}
#main-nav ul {
padding: 0;
margin: 0;
display: flex;
list-style: none;
}
#main-nav li {
margin-inline-end: 0.5em;
}
#site-title {
font-family: sans-serif;
font-weight: bold;
font-size: 150%;
line-height: 1.3;
margin: 0;
}
footer {
margin: 2em 0 0;
}
header h1 {
margin: 0;
font-size: 2em;
}
header {
margin-bottom: 1em;
}
a,
a:visited {
color: var(--link);
}
hr {
border: none;
height: 1px;
background: var(--overlay);
}
.chroma {
background: black;
border: 1px solid var(--overlay);
border-radius: 8px;
padding: 1rem;
display: block;
overflow-x: auto;
}
code {
font-size: 125%;
}
|