More html fixes

Here's another batch of fixes for our HTML documentation.

This MR is mostly about harmonizing titles and headings. The reason for doing this is:

1. Making things more consistent.
2. Prepare for generating the docs using Sphinx.