From 996af70c5101809a6533bb5a6efe1a16c33adcc9 Mon Sep 17 00:00:00 2001 From: leocaseiro Date: Wed, 4 Mar 2026 09:58:00 +1100 Subject: [PATCH] fix: define alternative fonts to Noto Sans to support old browsers --- src/css/custom.scss | 2 +- src/environment.ts | 35 +++++++++++++++++++---------------- 2 files changed, 20 insertions(+), 17 deletions(-) diff --git a/src/css/custom.scss b/src/css/custom.scss index b06cdb585..867afae4b 100644 --- a/src/css/custom.scss +++ b/src/css/custom.scss @@ -41,7 +41,7 @@ --ifm-z-index-fixed: 2000; --docusaurus-highlighted-code-line-bg: rgba(0, 0, 0, 0.2); - --ifm-font-family-base: "Noto Sans"; + --ifm-font-family-base: "Noto Sans", Arial, Helvetica, sans-serif; } /* For readability concerns, you should choose a lighter palette in dark mode. */ diff --git a/src/environment.ts b/src/environment.ts index f237e98ea..cc9e49e1e 100644 --- a/src/environment.ts +++ b/src/environment.ts @@ -38,22 +38,25 @@ function setAlphaTabColors(settings: alphaTab.Settings, colorMode: ColorMode) { setAlphaTabColors(settings, colorMode); - settings.display.resources.copyrightFont.families = ["Noto Sans"]; - settings.display.resources.titleFont.families = ["Noto Serif"]; - settings.display.resources.subTitleFont.families = ["Noto Serif"]; - settings.display.resources.wordsFont.families = ["Noto Serif"]; - settings.display.resources.effectFont.families = ["Noto Serif"]; - settings.display.resources.timerFont.families = ["Noto Serif"]; - settings.display.resources.fretboardNumberFont.families = ["Noto Sans"]; - settings.display.resources.tablatureFont.families = ["Noto Sans"]; - settings.display.resources.graceFont.families = ["Noto Sans"]; - settings.display.resources.barNumberFont.families = ["Noto Sans"]; - settings.display.resources.fingeringFont.families = ["Noto Serif"]; - settings.display.resources.inlineFingeringFont.families = ["Noto Serif"]; - settings.display.resources.markerFont.families = ["Noto Serif"]; - settings.display.resources.directionsFont.families = ["Noto Serif"]; - settings.display.resources.numberedNotationFont.families = ["Noto Sans"]; - settings.display.resources.numberedNotationGraceFont.families = ["Noto Sans"]; + const sansStack = ["Noto Sans", "Arial", "Helvetica", "sans-serif"]; + const serifStack = ["Noto Serif", "Georgia", "Times New Roman", "serif"]; + + settings.display.resources.copyrightFont.families = sansStack; + settings.display.resources.titleFont.families = serifStack; + settings.display.resources.subTitleFont.families = serifStack; + settings.display.resources.wordsFont.families = serifStack; + settings.display.resources.effectFont.families = serifStack; + settings.display.resources.timerFont.families = serifStack; + settings.display.resources.fretboardNumberFont.families = sansStack; + settings.display.resources.tablatureFont.families = sansStack; + settings.display.resources.graceFont.families = sansStack; + settings.display.resources.barNumberFont.families = sansStack; + settings.display.resources.fingeringFont.families = serifStack; + settings.display.resources.inlineFingeringFont.families = serifStack; + settings.display.resources.markerFont.families = serifStack; + settings.display.resources.directionsFont.families = serifStack; + settings.display.resources.numberedNotationFont.families = sansStack; + settings.display.resources.numberedNotationGraceFont.families = sansStack; } export default {