Misc doc cleanup.
- Simplify TOC and anchors
- Enable syntax highlighting
- Minor cleanups, make formatting more consistent