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
This commit is contained in:
Florian Müllner 2017-06-01 19:07:36 +02:00
parent 90b173a581
commit 3b59ade4c0
2 changed files with 8 additions and 12 deletions

View File

@ -1094,13 +1094,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;

View File

@ -1094,13 +1094,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;