[gnome-shell] theme: Fix workspace switcher popup box size

[Jakub Steiner <jimmac src gnome org>]

commit 12de4e67f80a26ccd1221a035bca35ef4c4718da
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Wed Feb 19 09:51:11 2020 +0100

    theme: Fix workspace switcher popup box size
    
    This should be the last fallout from the theme refresh, make sure all
    the boxes of the workspace switcher popup are the correct size.
    
    https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1022

 data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss 
b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
index 2fe43806de..5b15a30fa2 100644
--- a/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
+++ b/data/theme/gnome-shell-sass/widgets/_workspace-switcher.scss
@@ -16,7 +16,6 @@
 }
 
 .ws-switcher-box {
-  // background: transparent;
   background: transparent;
   height: 50px;
   background-size: 32px;
@@ -29,6 +28,7 @@
 .ws-switcher-active-down,
 .ws-switcher-active-left,
 .ws-switcher-active-right {
+  height: 52px;
   background-color: $selected_bg_color;
   border: 1px solid if($variant=='light', darken($selected_bg_color, 8%), lighten($selected_bg_color, 5%));
   border-radius: $base_border_radius + 3px;