web/default.css: Tweak player.html's style.
web/javascript.js: fix all JSHint issues.
WebUI: Rename variables.