Shift + mouse wheel scroll not handled properly
[question] Prometheus metrics in Docker
Aha that was it, thanks!
Prometheus metrics in Docker
781cfd413b
Update README.md
61dcb3e28f
Update README
ef0372016f
Add deployment to sourcehut in Makefile
f1b3b7cba9
Specify Ruby version
fb707322ba
Add .html extension to all links (they redirect anyway)
562dc230e5
Make sidebar more pleasant on mobile
6be4093108
Add CLI tools to links
89d4332d7e
Looks like fonts.scss can just be a plain .css file, so why not?
50a47cc5f2
Tidyify HTML!
506b19ecb4
Add correct lang tag
841d14b588
Update Ruby/Gems and add lockfile for gems
c68969929e
Add another dithering draft that's just some kernels
dd4dcf06a2
I have got to remember not to put styling before the readmore
a912e8c5c6
Port three wiki pages for Cedille, MathML, Rocq
e24f4a031d
Port three wiki pages for Cedille, MathML, Rocq
c31a6f49c9
Add HTML day to posts lists
bf131d7604
Remove some dead embeds
d6c2764b6c
[HTML day] add nice styling for kbd
83f2a84b56
Link nav bar should flow better on mobile now