Changed font-size of header-notifications.
Player-info invisible in large-player-mode.
Reduced playlist-menu font-sizes.
Changed font-family, and the styling of playlist records, also the sortable-helpers.