web/default.css: Tweak player.html's style.