[gtk+] Adwaita: GtkPaned separator invisible border shrinking

[Lapo Calamandrei <lapo src gnome org>]

commit 490cb30c789840eeabab9f15dd550f676a0e6936
Author: Lapo Calamandrei <calamandrei gmail com>
Date:   Mon Jun 16 17:12:03 2014 +0200

    Adwaita: GtkPaned separator invisible border shrinking

 gtk/resources/theme/Adwaita/_common.scss           |    4 ++--
 gtk/resources/theme/Adwaita/gtk-contained-dark.css |    4 ++--
 gtk/resources/theme/Adwaita/gtk-contained.css      |    4 ++--
 3 files changed, 6 insertions(+), 6 deletions(-)
---
diff --git a/gtk/resources/theme/Adwaita/_common.scss b/gtk/resources/theme/Adwaita/_common.scss
index d92d70e..93254f9 100644
--- a/gtk/resources/theme/Adwaita/_common.scss
+++ b/gtk/resources/theme/Adwaita/_common.scss
@@ -1680,10 +1680,10 @@ GtkFileChooserDialog .dialog-action-box {
 
 GtkPaned {
   // This is actually the invisible area of the paned separator, not a margin...
-  margin: 0 16px 16px 0; //drag area of the separator
+  margin: 0 8px 8px 0; //drag area of the separator
   &:dir(rtl) {
     margin-right: 0;
-    margin-left: 16px;
+    margin-left: 8x;
   }
 }
 
diff --git a/gtk/resources/theme/Adwaita/gtk-contained-dark.css 
b/gtk/resources/theme/Adwaita/gtk-contained-dark.css
index 8090cd2..225b33a 100644
--- a/gtk/resources/theme/Adwaita/gtk-contained-dark.css
+++ b/gtk/resources/theme/Adwaita/gtk-contained-dark.css
@@ -2188,10 +2188,10 @@ GtkFileChooserDialog .dialog-action-box {
     color: #383e3e; }
 
 GtkPaned {
-  margin: 0 16px 16px 0; }
+  margin: 0 8px 8px 0; }
   GtkPaned:dir(rtl) {
     margin-right: 0;
-    margin-left: 16px; }
+    margin-left: 8x; }
 
 .pane-separator {
   background-image: linear-gradient(to bottom, #1c1f1f); }
diff --git a/gtk/resources/theme/Adwaita/gtk-contained.css b/gtk/resources/theme/Adwaita/gtk-contained.css
index ab3fe60..4589238 100644
--- a/gtk/resources/theme/Adwaita/gtk-contained.css
+++ b/gtk/resources/theme/Adwaita/gtk-contained.css
@@ -2186,10 +2186,10 @@ GtkFileChooserDialog .dialog-action-box {
     color: #dfdfdf; }
 
 GtkPaned {
-  margin: 0 16px 16px 0; }
+  margin: 0 8px 8px 0; }
   GtkPaned:dir(rtl) {
     margin-right: 0;
-    margin-left: 16px; }
+    margin-left: 8x; }
 
 .pane-separator {
   background-image: linear-gradient(to bottom, #a1a1a1); }