add HTML5 doctype