Add a whiteline after headings.

Apart from that: wow! Documentation! Well done.