Previously, the table of contents in HTML read horizontally, which was very difficult to scan. This changes it to read vertically, which aligns with the PDF and is generally more pleasant to read.
Note that this breaks links to appendices (oops) - fixing this is a TODO
Previously, the table of contents in HTML read horizontally, which was very difficult to scan. This changes it to read vertically, which aligns with the PDF and is generally more pleasant to read.
Note that this breaks links to appendices (oops) - fixing this is a TODO