Move example toc up, clean up headings HTML