Move Settings menu / top-bar closer to designs
This is the cleaned up version of the style bits from the gesture MR !934 (merged) . As these are unrelated we can merge them ahead of time.
Ignore the fact that the surface doesn't fill the whole screen. That is fixed in !934 (merged) (and I might move that bit over too depending on how that one progresses).
/cc @bertob since you opened #331 (closed) and @snwh since I do so for all style issues atm ;)
This also makes the gestures MR significantly smaller and decouples it from UI changes.
Closes: #331 (closed) #717 (closed)
Edited by Guido Günther