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

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

commit bad94ab350064519fd98cb981f39e013e0a2c8d0
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>

 data/theme/gnome-shell-sass/widgets/_dash.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index f497c060d6..cf21552ca5 100644
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/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 {