[gnome-themes-standard] gedit: add bottom border to sidebar title

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 95f6fcddb762133c26415ab217e996eb3caae345
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date:   Thu Oct 17 15:37:05 2013 +0200

    gedit: add bottom border to sidebar title

 themes/Adwaita/gtk-3.0/gnome-applications.css |    3 ++-
 1 files changed, 2 insertions(+), 1 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gnome-applications.css b/themes/Adwaita/gtk-3.0/gnome-applications.css
index e293244..8233a76 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -140,8 +140,9 @@ GeditWindow .pane-separator:hover {
 }
 
 GeditPanel.vertical .title {
-    border-style: none;
+    border-style: solid;
     padding: 14px 0 7px 3px;
+    border-width: 0 0 1px 0;
 }
 
 GeditDocumentsPanel .view {