don't add extra margin to whatever follows the userbar hider button

refinement to #1751