brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

theme/search-entry: Tweak the margins a bit

Browse Source 
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>
This commit is contained in:
Jonas Dreßler 2021-02-22 12:46:42 +01:00 committed by Marge Bot
parent a27009f926
commit df9129b2a0
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
data/theme/gnome-shell-sass/widgets/_search-entry.scss
View File

@ -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;