From ecbc20f3160aaefba3c7e666d4f9dd9ba29ee715 Mon Sep 17 00:00:00 2001 From: Seth Falco Date: Mon, 11 Sep 2023 16:09:34 +0100 Subject: [PATCH] fix: use appropriate fallback fonts (SethFalco) (#4620) --- backend/private/style.css | 6 +++--- frontend/src/styles/core.scss | 2 +- frontend/src/styles/nav.scss | 2 +- frontend/src/ts/config.ts | 2 +- 4 files changed, 6 insertions(+), 6 deletions(-) diff --git a/backend/private/style.css b/backend/private/style.css index 17a02e609..851b7fbe5 100644 --- a/backend/private/style.css +++ b/backend/private/style.css @@ -12,7 +12,7 @@ } body { - font-family: "Roboto Mono", sans-serif; + font-family: "Roboto Mono", monospace; margin: 0; padding: 0; background: var(--bg-color); @@ -62,7 +62,7 @@ body { cursor: pointer; font-size: 1rem; margin-right: 1rem; - font-family: "Roboto Mono"; + font-family: "Roboto Mono", monospace; } .array-input { @@ -117,7 +117,7 @@ label { transition: all 0.2s ease-in-out; font-size: 1rem; padding: 0.25rem; - font-family: "Roboto Mono"; + font-family: "Roboto Mono", monospace; } input[type="checkbox"] { diff --git a/frontend/src/styles/core.scss b/frontend/src/styles/core.scss index bcaf4a5ec..1f2d7fd0b 100644 --- a/frontend/src/styles/core.scss +++ b/frontend/src/styles/core.scss @@ -1,6 +1,6 @@ :root { --roundness: 0.5rem; - --font: "Roboto Mono", "Vazirmatn", sans-serif; + --font: "Roboto Mono", "Vazirmatn", monospace; // scroll-behavior: smooth; scroll-padding-top: 2rem; font-weight: 400; diff --git a/frontend/src/styles/nav.scss b/frontend/src/styles/nav.scss index 7acf76712..86e8df328 100644 --- a/frontend/src/styles/nav.scss +++ b/frontend/src/styles/nav.scss @@ -185,7 +185,7 @@ position: relative; font-size: 2rem; line-height: 2rem; - font-family: "Lexend Deca"; + font-family: "Lexend Deca", sans-serif; transition: color 0.25s; font-weight: unset; margin-block-start: unset; diff --git a/frontend/src/ts/config.ts b/frontend/src/ts/config.ts index 7942b5a18..e3d3991b4 100644 --- a/frontend/src/ts/config.ts +++ b/frontend/src/ts/config.ts @@ -1248,7 +1248,7 @@ export function setFontFamily(font: string, nosave?: boolean): boolean { config.fontFamily = font; document.documentElement.style.setProperty( "--font", - `"${font.replace(/_/g, " ")}", "Roboto Mono", "Vazirmatn"` + `"${font.replace(/_/g, " ")}", "Roboto Mono", "Vazirmatn", monospace` ); saveToLocalStorage("fontFamily", nosave); ConfigEvent.dispatch("fontFamily", config.fontFamily);