sass/main.scss


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

:root {
    --bg-color: #F8F8F8;
    --fg-color: #383838;
    --links-color: #383838;
    --links-hover-color: #585858;
    --heading-color: #254070;
    --selected-navli-color: #AC4142;
    --unselected-navli-color: #254070;
    --code-bg-color: #E8E8E8;
    --code-fg-color: #383838;
}

@media (prefers-color-scheme: dark) {
    :root {
        --bg-color: #1B2B34;
        --fg-color: #C0C5CE;
        --links-color: #6699CC;
        --links-hover-color: #5FB3B3;
        --heading-color: #CDD3DE;
        --selected-navli-color: #C0C5CE;
        --unselected-navli-color: #F99157;
        --code-bg-color: #2B3B44;
        --code-fg-color: #C0C5CE;
    }
}

* {
    font-family: "Fira Sans", sans-serif;
    padding: 0;
    margin: 0;
}

body {
    background-color: var(--bg-color);
    color: var(--fg-color);
    font-size: 13pt;
    line-height: 1.5;
    max-width: 700px;
    margin: 0 auto;
    text-rendering: optimizelegibility;
    word-wrap: break-word;
}

@media (max-width: 700px) {
    body {
        margin: 0 2ex;
    }
}

h1, h2, h3, h4, h5, h6, hr {
    margin-top: 0.8em;
    color: var(--heading-color);
}

footer {
    margin-top: 1em;
    margin-bottom: 1em;
    border-top-width: 1px;
    border-top-style: solid;
    border-top-color: var(--heading-color);
    font-size: 12pt;
}

.navbar {
    padding-top: 0.8em;
    font-size: 14pt;
}

.navbar ul {
    margin: 0;
    padding: 0;
}

.navbar li {
    display: inline;
    margin: 0 2ex 0 0;
}

.navbar-unselected {
    color: var(--unselected-navli-color);
}

.navbar-unselected:hover {
    color: var(--selected-navli-color);
}

.navbar-selected {
    color: var(--selected-navli-color);
}

.navbar-selected:hover {
    color: var(--selected-navli-color);
}

a {
    color: var(--links-color);
    text-decoration: underline;
}

a:hover {
    color: var(--links-hover-color);
    text-decoration: underline;
}

main p, footer p {
    padding-top: 0.7em;
}

main ul, ol {
    padding-top: 0.5em;
    padding-left: 2.5ex;
}

main li ul {
    padding-top: 0em;
}

main li {
    padding-top: 0.2em;
}

code {
    background-color: var(--code-bg-color);
    color: var(--code-fg-color);
    font-family: "Fira Mono", monospace;
    font-size: 0.9em;
    padding: 0.1em 0.4ex;
    border-radius: 4px;
}

pre {
    background-color: var(--code-bg-color);
    color: var(--code-fg-color);
    margin-top: 0.7em;
    padding: 0.2em 1.0ex;
    border-radius: 4px;
    overflow-x: auto;
}

pre code {
    padding: 0;
    border: 0;
}