From 2d0ef0ed8455eaf0bfe34b03005a230937a8bbf9 Mon Sep 17 00:00:00 2001
From: Georges Basile Stavracas Neto <georges.stavracas@gmail.com>
Date: Wed, 24 Jun 2020 19:33:35 -0300
Subject: [PATCH] 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 c84377bc7..8218a968c 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;