From cf7851b94818d5369870a0c91dae71a8260d37ce Mon Sep 17 00:00:00 2001
From: Jakub Steiner <jimmac@gmail.com>
Date: Mon, 1 Dec 2014 17:26:11 +0100
Subject: [PATCH] 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(+)

diff --git a/gtk/theme/HighContrast/_common.scss b/gtk/theme/HighContrast/_common.scss
index d43c0745ad..173cf3c9d5 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 c58d550424..ca6cf68821 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 *
  **************/