-
Christoph Cullmann authored
now that we combined status bar and lower side bar it looks more natural if we just go with the original margins
abd56ab7
now that we combined status bar and lower side bar it looks more natural if we just go with the original margins