An HTML5 video player.