Update doc_page.js