UI tweaks

UI enhancements. Mostly taken from https://github.com/amitmurthy/JDock/pull/5

Pending:

- [ ] Fix issue where iframes throw error the first time they are loaded
- [ ] Title shows `$$SESSNAME`
- [ ] On firefox, console does not allow `-` or `_` character. ??