[gnome-shell-sass] theme/dash: Tweak margins of the dash

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

commit 3a614d50e7ae453a81d9a17074be0b567ee6bdb0
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Mon Feb 22 12:03:51 2021 +0100

    theme/dash: Tweak margins of the dash
    
    The Dash currently has a horizontal margin and a top margin applied. The
    horizontal margin isn't necessary since there already is a horizontal
    padding applied, and the top margin is a bit large, since the
    ControlsLayout enforces a spacing between the different containers
    already, so slightly decrease the margin-top here.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>

 widgets/_dash.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_dash.scss b/widgets/_dash.scss
index 1ebd8ec..f497c06 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: $base_margin * 4 $base_margin * 2 0;
+  margin-top: $base_spacing * 2;
   padding: 0 $dash_padding;
 
   .placeholder {