1*, *::before, *::after {
2 box-sizing: border-box;
3}
4
5html {
6 font-family: sans-serif;
7 font-size: 11pt;
8 line-height: 1.45em;
9}
10
11body {
12 color: #555;
13 background-color: #f2f2f2;
14}
15
16nav a {
17 text-decoration: none;
18}
19
20a {
21 color: #4472c1;
22}
23
24.container {
25 max-width: 1050px;
26 margin: 0px auto;
27}
28
29.right {
30 text-align: right;
31}
32
33.files ul {
34 font-family: monospace;
35 list-style: none;
36 padding: 0px;
37 padding: 5px 0;
38}
39
40.bt {
41 border-top: 1px solid lightgrey;
42}
43.bb {
44 border-bottom: 1px solid lightgrey;
45}
46
47.readme {
48 overflow-x: auto;
49}
50
51footer div {
52 border-top: 1px solid lightgrey;
53 margin: 5px 0;
54}
55
56.source-file {
57 font-family: monospace;
58 white-space: pre-wrap;
59}
60
61.source-file a {
62 margin-right: 1em;
63 /* color: #BBB; */
64 text-decoration: none;
65 user-select: none;
66}
67
68
69@media (prefers-color-scheme: dark) {
70 body {
71 color: #bfbfbf;
72 background-color: #1a1a1a;
73 }
74}