Update html5.html

Update doctype in DOCTYPE