Introduce HTML5 formatting.