modify index.html and add toc