Patrice Chalin 061e50fa06 docs: adjust page heading levels (#2813)
* docs: adjust page heading levels

Only the page TOC should be at heading level 1. All other headings
should start at level 2. This commit also removes duplicate headings,
in continuation of #2796.

(This fix is necessary to support an auto-TOC feature.)
2016-11-16 10:02:31 -08:00
..