From a72c71482f1039429bedb5c95bd6c6803632d29f Mon Sep 17 00:00:00 2001 From: Matej Focko Date: Wed, 6 Sep 2023 18:49:18 +0200 Subject: [PATCH] fix: prefer the default font of the web Signed-off-by: Matej Focko --- regenerate-dots.sh | 2 +- src/css/custom.scss | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/regenerate-dots.sh b/regenerate-dots.sh index 43498a6..ddb19e5 100644 --- a/regenerate-dots.sh +++ b/regenerate-dots.sh @@ -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)" diff --git a/src/css/custom.scss b/src/css/custom.scss index 981cece..9694cb1 100644 --- a/src/css/custom.scss +++ b/src/css/custom.scss @@ -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); } } -} \ No newline at end of file +}