Add HTML5 doctype.