Tidy up a little in html.js
Delete work in progress...