mirror of
https://github.com/bugsink/bugsink.git
synced 2026-01-06 13:20:20 -06:00
This commit includes various fonts that I've experimented with, but decided against. I used https://fonts.google.com/ to do the font-picking. For vendoring I used https://gwfh.mranftl.com/fonts/ I ticked all charsets (because error messages could be in any language) I picked regular, italic, 700 (which is tailwind's bold) and 700-italic The removed tailwind.config.js was unused (and confusing), I don't know where it came from Some considerations while picking ("feelings") * I like the compactness * The bold monospace looks good (this was certainly not so for all monospace fonts) * Happens to be the same as for GlitchTip; is this the reason it looks good to me? Don't know! In any case, now that I've picked a font, fine-tuning for spacing becomes an option.