{# Sound and music controls in the bottom-right corner, on every page. Page changes replace only #app (see app.js), so the dock and its YouTube player stay and the music keeps playing. #}