spec compilation as HTML5