From df9129b2a0fed90cd1e2474000da161146194a19 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Mon, 22 Feb 2021 12:46:42 +0100 Subject: [PATCH] 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: --- 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 4568170e4..b184e674e 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 +}