HTML5 output for HTMLOutput class