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

theme/dash: Tweak margins of the dash

Browse Source 
The Dash currently has a horizontal margin and a top margin applied. The
horizontal margin isn't necessary since there already is a horizontal
padding applied, and the top margin is a bit large, since the
ControlsLayout enforces a spacing between the different containers
already, so slightly decrease the margin-top here.

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1702>
This commit is contained in:
Jonas Dreßler 2021-02-22 12:03:51 +01:00 committed by Marge Bot
parent 613efa72f3
commit a27009f926
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
data/theme/gnome-shell-sass/widgets/_dash.scss
View File

@ -11,7 +11,7 @@ $dash_border_radius: $modal_radius * 1.5;
#dash { #dash {
@include fontsize($base_font_size - 2); @include fontsize($base_font_size - 2);
margin: $base_margin * 4 $base_margin * 2 0; margin-top: $base_spacing * 2;
padding: 0 $dash_padding; padding: 0 $dash_padding;
.placeholder { .placeholder {