Update docs_contents.html