Add the HTML5 doctype to this file