[gnome-shell-sass] theme/window-picker: Add box-shadow to the workspace background

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

commit f05360041594479283337bdc00a440632770b1b9
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Mon Feb 8 16:43:32 2021 +0100

    theme/window-picker: Add box-shadow to the workspace background
    
    According to the GNOME 40 mockups, add a box-shadow to the workspace
    background. For this to work, we also need a background-color (St
    limitations), and to make sure that background-color doesn't bleed over
    the rounded corners of the wallpaper, we also need to tell St to use a
    border-radius and clip the background-color painting using a rounded
    path.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1651>

 widgets/_window-picker.scss | 7 +++++++
 1 file changed, 7 insertions(+)
---
diff --git a/widgets/_window-picker.scss b/widgets/_window-picker.scss
index 1432a3b..7592aa4 100644
--- a/widgets/_window-picker.scss
+++ b/widgets/_window-picker.scss
@@ -44,3 +44,10 @@ $window_close_button_padding: 3px;
     background-color: darken($osd_bg_color, 5%);
   }
 }
+
+.workspace-background {
+  // keep in sync with BACKGROUND_CORNER_RADIUS_PIXELS in workspace.js
+  border-radius: 30px;
+  background-color: $osd_bg_color;
+  box-shadow: 0 -4px 16px 4px transparentize(darken($osd_bg_color, 30%), 0.7);
+}