Update doc_index.html