This fixes an issue where spacing is reserved on the navigation bar on the
right side for an overflow menu, even if the overflow menu is not visible (not
necessary).