fix(developer): make sure scroll bar appears when needed in global welcome

Fixes #10817.

This fix is a patch rather than a rework to use grid or flex css, which
would be better, but should not be done in beta.