Fixes for HTML5UI and new style: pull request #90