Skip to content

fix(web): add fallback font for superscript minus - #900

Open
efegokdemir wants to merge 1 commit into
sharkdp:mainfrom
efegokdemir:fix-660-superscript-minus
Open

efegokdemir wants to merge 1 commit into
sharkdp:mainfrom
efegokdemir:fix-660-superscript-minus

Conversation

@efegokdemir

Copy link
Copy Markdown

Closes #660

Summary

  • Load a subset of Noto Sans Mono containing only the missing superscript minus glyph.
  • Keep Fira Mono as the primary terminal font.
  • Add the fallback to the terminal font variable and text selectors.
  • Avoid adding a full additional font family download.

Validation

  • Verified HTML font URL and requested Unicode character.
  • Verified all three terminal font declarations.
  • Confirmed Google Fonts returns font-face definitions for weights 400 and 700.
  • git diff --check

Browser rendering has not been manually verified.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Web UI font does not have symbol for ⁻ (superscript minus)

1 participant