[gnome-themes-standard] gedit: add more pading to tab area on sidebar

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 461a72fed7dbaf9c183aa9c84a48073f23b3a751
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date:   Thu Oct 17 10:31:03 2013 +0200

    gedit: add more pading to tab area on sidebar

 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 c6b7b79..d90ede8 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -153,7 +153,7 @@ GeditDocumentsPanel .view:backdrop {
 }
 
 GeditPanel.vertical .notebook {
-    padding: 0px;
+    padding: 3px;
     border-width: 1px 0;
 }