blob: c96ad9152bcd462416da1bfe0c4c1cce8726e070 (
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
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
|
:root {
--bg0: #181818;
--bg1: #252525;
--bg2: #3b3b3b;
--dim0: #777777;
--fg0: #b9b9b9;
--fg1: #dedede;
--red: #ed4a46;
--green: #70b433;
--yellow: #dbb32d;
--blue: #368aeb;
--magenta: #eb6eb7;
--cyan: #3fc5b7;
--orange: #e67f43;
--violet: #a580e2;
--br-red: #ff5e56;
--br-green: #83c746;
--br-yellow: #efc541;
--br-blue: #4f9cfe;
--br-magenta: #ff81ca;
--br-cyan: #56d8c9;
--br-orange: #fa9153;
--br-violet: #b891f5;
--header-font-size: 150%;
--left-column-width: 20ex;
--border-width: 1px;
--padding: 2ex;
--margin: 2ex;
--content-padding-left: 8ex;
--content-padding-right: 4ex;
--body-max-width: 140ex;
--body-font-size: 18px;
--first-letter-font-size: 115%;
--dt-font-size: 120%;
--content-background-color: var(--bg0);
--filling-background-color: var(--bg1);
--text-color: var(--fg0);
--column-header-text-color: var(--fg1);
--column-header-background-color: var(--bg2);
--font-family: 'Libertine';
--link-text-color: var(--br-yellow);
--highlight-text-color: var(--br-cyan);
--pre-border-color: var(--blue);
--h2-border-color: var(--orange);
}
@font-face {
font-family: 'Libertine';
font-style: normal;
font-weight: normal;
font-display: swap;
src: url('/LinLibertine.woff2') format('woff2');
}
@font-face {
font-family: 'Libertine';
font-style: normal;
font-weight: bold;
font-display: swap;
src: url('/LinLibertineB.woff2') format('woff2');
}
@font-face {
font-family: 'Libertine';
font-style: italic;
font-weight: normal;
font-display: swap;
src: url('/LinLibertineI.woff2') format('woff2');
}
@font-face {
font-family: 'Libertine';
font-style: italic;
font-weight: bold;
font-display: swap;
src: url('/LinLibertineBI.woff2') format('woff2');
}
body {
font: var(--body-font-size) var(--font-family), serif;
color: var(--text-color);
max-width: var(--body-max-width);
background-color: var(--filling-background-color);
margin: auto;
}
section {
background-color: var(--content-background-color);
margin: var(--margin);
padding: var(--padding);
}
em,
strong {
color: var(--highlight-text-color);
}
article p::first-letter {
font-size: var(--first-letter-font-size);
color: var(--highlight-text-color);
}
article p {
text-indent: 4ex;
text-align: justify;
margin-top: 1ex;
margin-bottom: 1ex;
}
article {
padding-top: 2ex;
padding-bottom: 5ex;
}
dt {
font-size: var(--dt-font-size);
}
header,
footer {
text-align: center;
}
h1,
h2 {
border-top: 1px solid var(--h2-border-color);
}
pre {
padding: 1ex;
border: var(--border-width) solid var(--pre-border-color);
white-space: pre-wrap;
}
:link,
:visited {
color: var(--link-text-color);
}
.mainheader header {
font-size: 220%;
}
.logo {
height: 4ex;
vertical-align: middle;
}
.navigation {
text-align: center;
}
.main {
display: flex;
flex-wrap: wrap;
justify-content: center;
align-items: flex-start;
}
.column header {
font-size: var(--header-font-size);
color: var(--column-header-text-color);
background-color: var(--column-header-background-color);
}
.left {
flex-shrink: 0;
width: var(--left-column-width);
}
.content {
flex-grow: 1;
flex-basis: 15em;
padding-left: var(--content-padding-left);
padding-right: var(--content-padding-right);
}
|