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

[#1]

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.