WebDoc: use HTML5