[gnome-shell] theme: Fix dash tooltip misalignment

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

commit c95926aaed59ea5d0b8c76bfd00f75099b88de2f
Author: nana-4 <hnmaigo gmail com>
Date:   Sat Jan 25 08:51:12 2020 +0900

    theme: Fix dash tooltip misalignment
    
    margin-top is unnecessary here.
    
    Fixes https://gitlab.gnome.org/GNOME/gnome-shell/issues/2130

 data/theme/gnome-shell-sass/widgets/_dash.scss | 1 -
 1 file changed, 1 deletion(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_dash.scss b/data/theme/gnome-shell-sass/widgets/_dash.scss
index 5c1b4e1de7..9956a1ad55 100644
--- a/data/theme/gnome-shell-sass/widgets/_dash.scss
+++ b/data/theme/gnome-shell-sass/widgets/_dash.scss
@@ -42,7 +42,6 @@ $dash_border_radius: $modal_radius * 1.5;
   border:none;
   box-shadow:0 0 0 1px $osd_outer_borders_color;
   color: $osd_fg_color;
-  margin-top: $base_margin + 4px;
   padding: $base_padding $base_padding + 2px;
   text-align: center;
   -x-offset: $base_margin * 2; // distance from the dash edge