Improve styling of the top bar when it is empty

When the topmost black bar (used for the user menu and custom links) is completely empty, we get some odd rendering in the Chrome browser. Improve this.