improvements to the docs
This puts the table of contents on the left (if there is space, otherwise it stays where it is), makes every section title and definition a link to itself, and adds a nice § marker on hover to remind us where the anchors are. It also numbers every section, to make it easier to see what chapter we're in after scrolling around.