Shorter headers
Shorter headers

This is to help shorten the vertical space taken by the TOC a little
bit.


Former-commit-id: d6abe613bbe36340964ca44e58ec5a4d53d479ec
brandur/sorg,brandur/sorg,brandur/sorg,brandur/sorg,brandur/sorg