Fixed a margin

Fixed tooltip
Switched the Real Time player to the server push method in https://vaadin.com/book/vaadin7/-/page/advanced.push.html