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.
