[gnome-themes-standard] gedit: add a bit of right padding to sidebar title

[Ignacio Casal Quinteiro <icq src gnome org>]

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

    gedit: add a bit of right padding to sidebar title

 themes/Adwaita/gtk-3.0/gnome-applications.css |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/themes/Adwaita/gtk-3.0/gnome-applications.css b/themes/Adwaita/gtk-3.0/gnome-applications.css
index 6ce157d..e2a96ae 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -141,7 +141,7 @@ GeditWindow .pane-separator:hover {
 
 GeditPanel.vertical .title {
     border-style: solid;
-    padding: 14px 0 7px 3px;
+    padding: 14px 3px 7px 3px;
     border-width: 0 0 1px 0;
 }