Loading the HTML5 DTD.