Use optimized font from fontsource (#2775)

This commit is contained in:
Quentin Gliech
2024-11-14 12:23:09 +01:00
committed by GitHub
parent 2297675b06
commit 3b3f7762a7
19 changed files with 19 additions and 98 deletions