fix: prefer the default font of the web

Signed-off-by: Matej Focko <me@mfocko.xyz>
This commit is contained in:
Matej Focko 2023-09-06 18:49:18 +02:00
parent 2d231e25a8
commit a72c71482f
Signed by: mfocko
GPG key ID: 7C47D46246790496
2 changed files with 3 additions and 3 deletions

View file

@ -1,6 +1,6 @@
#!/bin/sh
FONT="'Iosevka', 'Cascadia Code PL', 'JetBrains Mono', 'Fira Code', 'Hack', monospace"
FONT="'JetBrains Mono', 'Iosevka', 'Cascadia Code PL', 'Fira Code', 'Hack', monospace"
for pic in $(find ./static/files -name '*.dot' -print); do
SVG_NAME=".$(echo $pic | cut -d'.' -f2)"

View file

@ -32,7 +32,7 @@ kbd,
var,
tt,
text {
font-family: 'Iosevka', 'Cascadia Code PL', 'JetBrains Mono', 'Fira Code', 'Hack', monospace;
font-family: 'JetBrains Mono', 'Iosevka', 'Cascadia Code PL', 'Fira Code', 'Hack', monospace;
}
[data-theme='light'] img[src$='#gh-dark-mode-only'],
@ -77,4 +77,4 @@ text {
fill: var(--ifm-font-color-base-inverse);
}
}
}
}