[gnome-shell] theme: Reduce spacing between pagination dots

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

commit 2d0ef0ed8455eaf0bfe34b03005a230937a8bbf9
Author: Georges Basile Stavracas Neto <georges stavracas gmail com>
Date:   Wed Jun 24 19:33:35 2020 -0300

    theme: Reduce spacing between pagination dots
    
    Now folder dialogs and the app grid have the same styling
    for the pagination dots.
    
    Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1554>

 data/theme/gnome-shell-sass/widgets/_app-grid.scss | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)
---
diff --git a/data/theme/gnome-shell-sass/widgets/_app-grid.scss 
b/data/theme/gnome-shell-sass/widgets/_app-grid.scss
index c84377bc79..8218a968cf 100644
--- a/data/theme/gnome-shell-sass/widgets/_app-grid.scss
+++ b/data/theme/gnome-shell-sass/widgets/_app-grid.scss
@@ -81,10 +81,6 @@ $app_grid_fg_color: #fff;
 
   & .page-indicators {
     margin-bottom: 18px;
-
-    .page-indicator {
-      padding: 15px 12px;
-    }
   }
 }
 .app-folder-dialog-container {
@@ -125,7 +121,7 @@ $app_grid_fg_color: #fff;
 
 // App Grid pagination indicators
 .page-indicator {
-  padding: 15px 20px;
+  padding: 15px 12px;
 
   .page-indicator-icon {
     width: 10px;