Add HTML5 doctype to dev website