html/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

body {
    margin: 20px auto;
    padding: 10px 20px;
    max-width: 680px;

    background: #eee;
    color: #333;

    font-family: sans-serif;
}

@media screen and (max-width:960px) {
    body > ul:first-child {
        display: none;
    }
}

@media screen and (min-width:961px) {
    body {
        margin-left: 260px;
    }
    body > ul:first-child {
        position: fixed;
        margin-left: -260px;
        margin-top: 82px;
    }
}

h1, h2, h3 {
    line-height: 1.2;
}

p {
    line-height: 1.6;
    text-align: justify;
    text-justify: distribute;
    hyphens: auto;
}

code {
    font-size: 1.2em;
}

table {
    width: 100%;
    border-collapse: collapse;
    border: 1px solid black;
}

td, th {
    border: 1px solid black;
    padding: 4px;
}

ul {
    padding-left: 1em;
}

@media (prefers-color-scheme: dark) {
    body {
        background: black;
        color: #ccc;
    }
    table, td, th {
        border-color: #ccc;
    }
    a {
        color: #00aa00;
    }
    a:visited {
        color: #007700;
    }
    .hljs {
        filter: invert(100%);
    }
}