9c10c34b07
Otherwise setting margins and paddings from CSS may result in the grid being adapted to the wrong size. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1519>