Rather than vanishing when the widgets within the header don't
have enough space, hide things to make the remaining stuff fit.
First the song info disappears, then the elapsed time, then the
position slider.