web frontend for git (tangled's grandpa)
css: set pre font
lol
+5
-1
+5
-1
static/style.css
+5
-1
static/style.css
···
9
9
10
10
--sans-font: "InterVar", -apple-system, BlinkMacSystemFont, "Roboto", "Segoe UI", sans-serif;
11
11
--display-font: "InterDisplay", -apple-system, BlinkMacSystemFont, "Roboto", "Segoe UI", sans-serif;
12
-
--mono-font: ui-monospace, "SF Mono", "Input", "Menlo" "Roboto Mono", monospace;
12
+
--mono-font: 'SF Mono', SFMono-Regular, ui-monospace, 'DejaVu Sans Mono', 'Roboto Mono', Menlo, Consolas, monospace;
13
13
}
14
14
15
15
html {
16
16
background: var(--light);
17
17
-webkit-text-size-adjust: none;
18
18
font-family: var(--sans-font);
19
+
}
20
+
21
+
pre {
22
+
font-family: var(--mono-font);
19
23
}
20
24
21
25
::selection {