Added a table of contents to HTML output