[gedit] Set bottom border of header paned

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 34bbef442546ca576ed9c7c41bcd83fe2d24ef5b
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Jan 22 14:50:59 2014 +0100

    Set bottom border of header paned

 gedit/gedit-style.css |   12 ++++++++++--
 1 files changed, 10 insertions(+), 2 deletions(-)
---
diff --git a/gedit/gedit-style.css b/gedit/gedit-style.css
index 73cb062..0162c3f 100644
--- a/gedit/gedit-style.css
+++ b/gedit/gedit-style.css
@@ -9,7 +9,11 @@
 }
 
 .gedit-headerbar-paned.pane-separator:dir(ltr),
-.gedit-headerbar-paned.pane-separator:hover:dir(ltr),
+.gedit-headerbar-paned.pane-separator:hover:dir(ltr) {
+    border-radius: 0;
+    border-width: 0 1px 1px 0;
+}
+
 .gedit-sidepanel-paned.pane-separator:dir(ltr),
 .gedit-sidepanel-paned.pane-separator:hover:dir(ltr) {
     border-radius: 0;
@@ -17,7 +21,11 @@
 }
 
 .gedit-headerbar-paned.pane-separator:dir(rtl),
-.gedit-headerbar-paned.pane-separator:hover:dir(rtl),
+.gedit-headerbar-paned.pane-separator:hover:dir(rtl) {
+    border-radius: 0;
+    border-width: 0 0 1px 1px;
+}
+
 .gedit-sidepanel-paned.pane-separator:dir(rtl),
 .gedit-sidepanel-paned.pane-separator:hover:dir(rtl) {
     border-radius: 0;