6 Commits

Author	SHA1	Message	Date
Klaas van Schelven	caa5b4ec9a	Right-align the dropdown content ... the need for this is more obvious when the dropdown arrow is near the RHS of the page; pre-commit the dropdown would float out of view	2024-03-11 19:15:24 +01:00
Klaas van Schelven	b455d78216	Dropdown menu: actually implement in a non-ugly way	2024-02-29 19:48:34 +01:00
Klaas van Schelven	3477d131ca	Dropdown example from w3schools ... https://www.w3schools.com/howto/howto_css_dropdown.asp	2024-02-29 19:23:35 +01:00
Klaas van Schelven	8ad04d0e4a	Remove unused fonts ... the order of experimentation can be deduced from the order they lived in the css	2024-02-05 18:21:39 +01:00
Klaas van Schelven	566020bcf5	Pick a font (IBM) ... 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.	2024-02-05 18:16:51 +01:00
Klaas van Schelven	79e333c923	tailwind	2023-11-08 20:16:10 +01:00