Convert page.tpl.php to HTML5.