I've collected a few tweaks that improve aspects of the CSS styling.
I actually forget all the details, but some of the changes that come to
mind are:
- Making the squiggly link affect respect light/dark mode
- Making code in headings be the right text size
- Make lists starting with particular numbers work (e.g. 4, 5, 6, ...)
- A few minor tweaks to spacing