I’ve made a few small changes to the stylesheet. Hopefully it doesn’t look worse than before. More tweaking over the next few days.