added page title to html title element and simplified ToC replacment