[gnome-themes-standard] gedit: fix borders on bottom panel

[Ignacio Casal Quinteiro <icq src gnome org>]

commit a540d5785c87bddf9a0a774ea573681a7686e4cf
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date:   Thu Oct 17 15:16:03 2013 +0200

    gedit: fix borders on bottom panel

 themes/Adwaita/gtk-3.0/gnome-applications.css |   12 ++++++++----
 1 files changed, 8 insertions(+), 4 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gnome-applications.css b/themes/Adwaita/gtk-3.0/gnome-applications.css
index 70a377c..d83c3f0 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -156,8 +156,7 @@ GeditPanel.vertical .notebook {
     border-width: 0 0 1px 0;
 }
 
-GeditPanel.vertical .notebook tab,
-GeditPanel.vertical .notebook tab:active {
+GeditPanel.vertical .notebook tab {
     padding: 3px;
 }
 
@@ -166,11 +165,16 @@ GeditPanel.vertical .notebook tab:active {
 }
 
 GeditPanel.horizontal .notebook {
-    border-top: 0px;
+    border-width: 0 1px 1px 0px;
 }
 
 GeditPanel.horizontal .notebook tab {
-    padding: 0;
+    padding: 1;
+    border-width: 0;
+}
+
+GeditPanel.horizontal .notebook tab:active {
+    border-width: 0 0 2px 0;
 }
 
 GeditStatusMenuButton {