Update doc_head.html