Reduce vertical whitespace in headers to make more space available for actual workspace



The headers in every Launch page take up a lot of vertical whitespace. This is basically "dead" whitespace because there is nothing to do in them.

However, the workspace below needs a lot of vertical space to work productively.

Suggestion: reduce the vertical whitespace of the headers.

Screenshot 2019-10-24 at 12.05.22 PM.png