Bug: #page might have too big top margin

[abias]

Currently, the #page element might have a too big top margin in Boost Union even if the menu bar is not shown:

(Left: Boost Union, Right: Boost)

While there are some PRs pending which might fix this among other things regarding the menu bar, it is preferable to fix it directly without fuss.