Update docs-toc.html