* The "collapse" etc. buttons get shown below the search box and < << >> > from
a certain width downwards.
* similar stacking for the date/type/value and the buttons at an even smaller width.
See #120
I was missing package.json in git due to a too liberal .gitignore conf.
This botched tailwind when I restarted from a fresh git install
I never ran into this before b/c tailwind's npm stuff is only necessary during
development, not in e.g. localbugsink (because we checkin all outputs too)
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.
