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

:root {
    --black: #161719;
    --blue: #81a2be;
    --cyan: #8abeb7;
    --green: #b5bd68;
    --magenta: #b294bb;
    --red: #cc6666;
    --white: #ffffff;
    --yellow: #f0c674;
}

@media (prefers-color-scheme: light) {
    :root {
        --background: var(--white);
        --foreground: var(--black);
    }
}

@media (prefers-color-scheme: dark) {
    :root {
        --background: var(--black);
        --foreground: var(--white);
    }
}

body {
    background-color: var(--background);
    color: var(--foreground);
    font-family: monospace;
    font-size: 1.3em;
    margin-top: 10em;
    margin-left: auto;
    margin-right: auto;
    display: table;
}

a {
    color: var(--blue)
}

a:visited {
    color: var(--magenta)
}

dt {
    font-style: italic;
}

code {
    white-space: pre;
}

.center {
    text-align: center;
}