[Steve H]

If you are saying to use that reduced page size all the time when the page slider is visible, I think most users would not want that, but I'd have to hear more feedback.

Mike, I see that on my Chromebook devices, the page is always constrained by the page width with plenty of room at the bottom, so if and when I use those, it's generally not an issue. But, yes, I would choose reduced page size all the time if the page slider is to be always visible. What if the page slider appears when the cursor is moved to the bottom of the page? Then, go ahead and cover music until the page slider is allowed to disappear.

 A different way to solve the problem is to make the page slider less obtrusive, by removing the background and the labels and maybe just having partially transparent bar at the bottom of the page. forScore does this by just placing dots at the bottom of the screen with a circle for the handle, for example. I could look for a solution more along those lines.

This sounds to me like a both/and approach. Perhaps I was not clear enough, but the page slider seems to take far more space than it needs. Thus I was suggesting that it can be slimmed down to fit in the box below where it currently lives, just above Display mode, Page Scaling, etc.