Update design_docs.html