[gnome-shell] theme: Add page padding to the icon grid

[Marge Bot <marge-bot src gnome org>]

commit c589f40faa8739fcae196c223fbe95aba3d3e982
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Wed Nov 25 18:52:29 2020 -0300

    theme: Add page padding to the icon grid
    
    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>

 data/theme/gnome-shell-sass/widgets/_app-grid.scss | 8 ++++++++
 1 file changed, 8 insertions(+)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_app-grid.scss 
b/data/theme/gnome-shell-sass/widgets/_app-grid.scss
index c183cfeb09..c98980e0ec 100644
--- a/data/theme/gnome-shell-sass/widgets/_app-grid.scss
+++ b/data/theme/gnome-shell-sass/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 {