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

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

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

 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 1ebd8ecffd..f497c060d6 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: $base_margin * 4 $base_margin * 2 0;
+  margin-top: $base_spacing * 2;
   padding: 0 $dash_padding;
 
   .placeholder {