Added TOC to the HTML file