Update to html5 DOCTYPE (finally)