I've migrated all the menu show/hide and the name highlighting to use the "hidden checkbox" trick, so it's all now pure CSS. However, losing the state of the name highlighting between pages is annoying and counter-intuitive, so I've set up a tiny JS lib that uses local storage to save and reload it; seems to be working nicely. Also fixed a bunch of typos and some bad tagging, and added a couple of Schematron rules to help with editing.