98654e5446
In the absence of a fade-out it doesn't make sense to clip them sooner than that. So now we make the left and right padding equal to the border ("box-shadow") width and leave the top/bottom padding unchanged. Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3031>