Cleaned up HTML/JS in web player

Changed some HTML formatting, but mostly conformed JavaScript to our semi-official standard.