diff options
author | Georges Basile Stavracas Neto <georges.stavracas@gmail.com> | 2020-11-25 18:52:29 -0300 |
---|---|---|
committer | Florian Müllner <fmuellner@gnome.org> | 2020-12-03 00:02:07 +0100 |
commit | d82ed828715d964ed0aa59ccbfafcad1f1a230a9 (patch) | |
tree | f3374dd3a7cf5d70cf8199cff080074d01c75c03 | |
parent | 24e503d432c018bcc65ac57d03cf3439ca51e14b (diff) | |
download | gnome-shell-sass-d82ed828715d964ed0aa59ccbfafcad1f1a230a9.tar.gz |
theme: Add page padding to the icon gridgnome-3-38
Add padding to the app grid pages. Values adjusted as per
design feedback.
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1510>
-rw-r--r-- | widgets/_app-grid.scss | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/widgets/_app-grid.scss b/widgets/_app-grid.scss index c183cfe..c98980e 100644 --- a/widgets/_app-grid.scss +++ b/widgets/_app-grid.scss @@ -8,6 +8,10 @@ $app_icon_size: 96px; column-spacing: $base_spacing * 6; max-row-spacing: $base_spacing * 12; max-column-spacing: $base_spacing * 12; + page-padding-top: $base_padding * 6; + page-padding-bottom: $base_padding * 6; + page-padding-left: $base_padding * 6; + page-padding-right: $base_padding * 6; } /* App Icons */ @@ -71,6 +75,10 @@ $app_grid_fg_color: #fff; & .icon-grid { row-spacing: $base_spacing * 2; column-spacing: $base_spacing * 5; + page-padding-top: 0; + page-padding-bottom: 0; + page-padding-left: 0; + page-padding-right: 0; } & .page-indicators { |