Redesign TOC & make headings shorter

Fixes #28.