[gnome-shell-sass] overview: Increase margin-top of the dash slightly

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

commit 9d66f7dd54ef69e81b0454f9bbc29ec37074f81b
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Tue May 4 15:24:01 2021 +0200

    overview: Increase margin-top of the dash slightly
    
    Now that we made window previews overlap the edges of the wallpaper
    underneath them, the app icons of those windows are getting quite close
    to the dash and there is almost no more spacing.
    
    Let's make it look a little bit better and slightly increase the
    margin-top of the dash so that the workspaces move a few more pixels
    away from the dash.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1813>

 widgets/_dash.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_dash.scss b/widgets/_dash.scss
index f497c06..cf21552 100644
--- a/widgets/_dash.scss
+++ b/widgets/_dash.scss
@@ -11,7 +11,7 @@ $dash_border_radius: $modal_radius * 1.5;
 
 #dash {
   @include fontsize($base_font_size - 2);
-  margin-top: $base_spacing * 2;
+  margin-top: $base_spacing * 3;
   padding: 0 $dash_padding;
 
   .placeholder {