Excessive whitespace in generated docs

[KristofferC]

In my opinion, the current css creates an excessive amount of whitespace between elements:

The same can be said for the menu. This causes a lot of scrolling to be needed.

[mortenpi]

Note that the whitespace was intentionally added for readability in #518. While not against it per se and the spacing can probably be optimized, I do think that the tiny bit of extra scrolling is not really a issue and readability considerations are more important.