style.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
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

body {
	max-width: 43rem;
	margin: 0 auto;
	padding: 1rem 1rem 33vh 1em;
	font-family: Garamond serif;
}

header {
	display: grid;
	grid-template:
		"time  nav"
		"title title" / 1fr auto;
}

header > time { grid-area: time; }

header > h1 {
	grid-area: title;
	margin-top: 0.2rem;
	margin-bottom: 0;
}

header > nav {
	grid-area: nav;
	margin-left: 1em;
}

article {
	line-height: 1.36em;
}

p, dd, pre {
	margin-bottom: 1em;
}

h1 {
	margin-top: 0;
}

hr {
	border-style: dashed;
	border-color: #999;
	border-width: 0 0 1px 0;
}

pre {
	background-color: #f0f0f0;
	padding: 0.4em 1rem;
	overflow-x: auto;
	margin-left: -1rem;
	margin-right: -1rem;
}

code {
	background-color: #f0f0f0;
	padding: 0 1px;
}

article > img {
	max-width: 100%;
	display: block;
	margin: 1em auto;
}

a:link,
a:visited.always-fresh {
	color: #0e42ef;
}

a:link:hover,
a:visited.always-fresh {
	background: #0e42ef36;
}

a:visited:not(.always-fresh) {
	color: #6f0eef;
}

a:visited:hover:not(.always-fresh) {
	background: #6f0eef36;
}

a:active,
a:active:hover {
	color: #e0083b;
	background: #e0083b36;
}

.flex {
	display: flex;
	flex-direction: row;
	flex-wrap: wrap;
}

#introduction {
	flex: 1;
}

video, audio {
	display: block;
	margin: 1em auto;
	max-width: 720px;
	width: 100%;
}

table.index {
	border-collapse: collapse;
	width: 100%;
}

table.index td:first-child {
	text-align: right;
}

table.index td.sep {
	min-width: 1em;
	width: 1em;
	text-align: center;
	user-select: none;
}

table.index td {
	vertical-align: top;
	padding-bottom: 0.3em;
}