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

[Florian Müllner <fmuellner src gnome org>]

commit 6babdee58df12fb5cb3245f7f5ffaf684c58de1f
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

 widgets/_workspace-switcher.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_workspace-switcher.scss b/widgets/_workspace-switcher.scss
index 2fe4380..5b15a30 100644
--- a/widgets/_workspace-switcher.scss
+++ b/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;