[gnome-shell/wip/fmuellner/overview-tweaks: 4/10] workspace: Reduce spacing between window previews

[Florian Müllner <fmuellner src gnome org>]

commit f533a049cfb6485ac63fb949028e08db7d6c2fc2
Author: Florian Müllner <fmuellner gnome org>
Date:   Thu Jun 1 19:07:36 2017 +0200

    workspace: Reduce spacing between window previews
    
    With the window titles no longer being shown as part of the previews
    grid, we can reduce the spacing to have more space available to the
    window previews themselves.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=783953

 data/theme/gnome-shell-high-contrast.css |   10 ++++------
 data/theme/gnome-shell.css               |   10 ++++------
 2 files changed, 8 insertions(+), 12 deletions(-)
---
diff --git a/data/theme/gnome-shell-high-contrast.css b/data/theme/gnome-shell-high-contrast.css
index e9855df..06c7c50 100644
--- a/data/theme/gnome-shell-high-contrast.css
+++ b/data/theme/gnome-shell-high-contrast.css
@@ -1090,13 +1090,11 @@ StScrollBar {
   padding-bottom: 32px; }
 
 .window-picker {
-  -horizontal-spacing: 32px;
-  -vertical-spacing: 32px;
-  padding-left: 32px;
-  padding-right: 32px;
-  padding-bottom: 48px; }
+  -horizontal-spacing: 16px;
+  -vertical-spacing: 16px;
+  padding: 0 16px 16px; }
   .window-picker.external-monitor {
-    padding: 32px; }
+    padding: 16px; }
 
 .window-clone-border {
   border: 4px solid #215d9c;
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index b9a56c6..83bcf44 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -1090,13 +1090,11 @@ StScrollBar {
   padding-bottom: 32px; }
 
 .window-picker {
-  -horizontal-spacing: 32px;
-  -vertical-spacing: 32px;
-  padding-left: 32px;
-  padding-right: 32px;
-  padding-bottom: 48px; }
+  -horizontal-spacing: 16px;
+  -vertical-spacing: 16px;
+  padding: 0 16px 16px; }
   .window-picker.external-monitor {
-    padding: 32px; }
+    padding: 16px; }
 
 .window-clone-border {
   border: 4px solid #215d9c;