[gtk+] HC: wide separator styling

[Jakub Steiner <jimmac src gnome org>]

commit cf7851b94818d5369870a0c91dae71a8260d37ce
Author: Jakub Steiner <jimmac gmail com>
Date:   Mon Dec 1 17:26:11 2014 +0100

    HC: wide separator styling
    
    https://bugzilla.gnome.org/show_bug.cgi?id=740862

 gtk/theme/HighContrast/_common.scss |   13 +++++++++++++
 gtk/theme/HighContrast/gtk.css      |   13 +++++++++++++
 2 files changed, 26 insertions(+), 0 deletions(-)
---
diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index d43c074..173cf3c 100644
--- a/gtk/theme/HighContrast/_common.scss
+++ b/gtk/theme/HighContrast/_common.scss
@@ -1904,6 +1904,19 @@ GtkPaned {
   }
 }
 
+GtkPaned.wide { // this is for the paned with wide separator
+  -GtkPaned-handle-size: 5; // wider separator here
+  margin: 0; // no need of the invisible drag area so, reset margin
+  .pane-separator {
+    background-color: transparent;
+    border-style: none solid;
+    border-color: $borders_color;
+    border-width: 1px;
+  }
+  &.vertical .pane-separator { border-style: solid none;}
+  .pane-separator:backdrop { border-color: $backdrop_borders_color; }
+}
+
 /**************
  * GtkInfoBar *
  **************/
diff --git a/gtk/theme/HighContrast/gtk.css b/gtk/theme/HighContrast/gtk.css
index c58d550..ca6cf68 100644
--- a/gtk/theme/HighContrast/gtk.css
+++ b/gtk/theme/HighContrast/gtk.css
@@ -2047,6 +2047,19 @@ GtkPaned {
   .pane-separator:backdrop {
     background-image: linear-gradient(to bottom, #8b8b8b); }
 
+GtkPaned.wide {
+  -GtkPaned-handle-size: 5;
+  margin: 0; }
+  GtkPaned.wide .pane-separator {
+    background-color: transparent;
+    border-style: none solid;
+    border-color: #7f7f7f;
+    border-width: 1px; }
+  GtkPaned.wide.vertical .pane-separator {
+    border-style: solid none; }
+  GtkPaned.wide .pane-separator:backdrop {
+    border-color: #8b8b8b; }
+
 /**************
  * GtkInfoBar *
  **************/