[gnome-shell] style: Remove workspace padding

[Marge Bot <marge-bot src gnome org>]

commit 059ea648f8cc88f9486a8b0b1ac2b664a382c779
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Fri Dec 11 14:58:30 2020 -0300

    style: Remove workspace padding
    
    It makes the background jump when animating from the session.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1599>

 data/theme/gnome-shell-sass/widgets/_window-picker.scss | 5 -----
 1 file changed, 5 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_window-picker.scss 
b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
index 1b93218517..4cf3e12e2f 100644
--- a/data/theme/gnome-shell-sass/widgets/_window-picker.scss
+++ b/data/theme/gnome-shell-sass/widgets/_window-picker.scss
@@ -14,11 +14,6 @@ $window_clone_border_size: 6px;
 .window-picker {
   // Space between window thumbnails
   spacing: $window_picker_spacing;
-
-  // Padding for container around window thumbnails
-  padding: $window_picker_padding;
-
-  &.external-monitor { padding: $window_picker_padding; }
 }
 
 // Borders on window thumbnails