WebDoc: use HTML5
Merge pull request #183 from Mkaysi/patch-3

WebDoc: use HTML5