9c7098816e
Currently separators get all the padding from regular menu items, which is excessive for non-interactive elements. Shuffle style classes around a bit to allow overriding the normal padding for separators. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1004