From bad94ab350064519fd98cb981f39e013e0a2c8d0 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonas=20Dre=C3=9Fler?= Date: Tue, 4 May 2021 15:24:01 +0200 Subject: [PATCH] overview: Increase margin-top of the dash slightly Now that we made window previews overlap the edges of the wallpaper underneath them, the app icons of those windows are getting quite close to the dash and there is almost no more spacing. Let's make it look a little bit better and slightly increase the margin-top of the dash so that the workspaces move a few more pixels away from the dash. Part-of: --- 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 f497c060d..cf21552ca 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-top: $base_spacing * 2; + margin-top: $base_spacing * 3; padding: 0 $dash_padding; .placeholder {