@alvin That's a good suggestion. Right now, my monospace font is Inconsolata from Google Fonts. Self-hosting fonts seems pretty in-depth; I'd rather leave it to the professionals. Also Inconsolata has a pretty limited number of glyphs.(See https://fonts.google.com/specimen/Inconsolata#glyphs) I don't know if it would be worth it.