window: Fix the HTML export to be properly HTML5 compliant