Bit the bullet and splurged on NerdFont's symbols.

That's the Noto Sans variant, so it gets metrics that play much nicer with our UI. I manually stripped the actual Noto glyphs to save some space.
koreader · Oct 27, 2019 · fa96f65 · fa96f65
1 parent e9378ae
commit fa96f65
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/nerdfonts/LICENSE b/nerdfonts/LICENSE
@@ -0,0 +1,6 @@
+This is NerdFonts' Noto Sans (https://github.com/ryanoasis/nerd-fonts/tree/master/patched-fonts/Noto/Sans),
+stripped of all the actual Noto glyphs.
+
+We're using this instead of NerdFonts' raw glyphs fonts, because this one is tweaked for Noto Sans metrics, which is a plus for us.
+
+Extra glyphs via https://github.com/ryanoasis/nerd-fonts/, see the WiKi for individual licenses.
diff --git a/nerdfonts/symbols.ttf b/nerdfonts/symbols.ttf