[gnome-shell-sass] theme/dash: Tweak margins of the dash
- From: Florian Müllner <fmuellner src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-shell-sass] theme/dash: Tweak margins of the dash
- Date: Mon, 15 Mar 2021 15:26:49 +0000 (UTC)
commit 3a614d50e7ae453a81d9a17074be0b567ee6bdb0
Author: Jonas Dreßler <verdre v0yd nl>
Date: Mon Feb 22 12:03:51 2021 +0100
theme/dash: Tweak margins of the dash
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>
widgets/_dash.scss | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/widgets/_dash.scss b/widgets/_dash.scss
index 1ebd8ec..f497c06 100644
--- a/widgets/_dash.scss
+++ b/widgets/_dash.scss
@@ -11,7 +11,7 @@ $dash_border_radius: $modal_radius * 1.5;
#dash {
@include fontsize($base_font_size - 2);
- margin: $base_margin * 4 $base_margin * 2 0;
+ margin-top: $base_spacing * 2;
padding: 0 $dash_padding;
.placeholder {
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]