[gnome-shell] theme/search-entry: Tweak the margins a bit

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

commit df9129b2a0fed90cd1e2474000da161146194a19
Author: Jonas Dreßler <verdre v0yd nl>
Date:   Mon Feb 22 12:46:42 2021 +0100

    theme/search-entry: Tweak the margins a bit
    
    Use a bit less margin at the top and add some margin at the bottom of
    the search entry. This should ensure the search entry is closer to the
    panel than to the workspaces and avoid associating the workspace
    thumbnails with the search instead of the window picker.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>

 data/theme/gnome-shell-sass/widgets/_search-entry.scss | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_search-entry.scss 
b/data/theme/gnome-shell-sass/widgets/_search-entry.scss
index 4568170e46..b184e674e3 100644
--- a/data/theme/gnome-shell-sass/widgets/_search-entry.scss
+++ b/data/theme/gnome-shell-sass/widgets/_search-entry.scss
@@ -11,7 +11,8 @@ $search_entry_height: 36px;
   color: transparentize($fg_color,0.3);
   background-color: $bg_color;
   border-color: $borders_color;
-  margin-top: 24px;
+  margin-top: $base_spacing * 2;
+  margin-bottom: $base_spacing;
 
   &:hover {
     background-color: $hover_bg_color;
@@ -33,4 +34,4 @@ $search_entry_height: 36px;
     padding: 0 4px;
     color: inherit;
   }
-}
\ No newline at end of file
+}