[gnome-themes-standard] gedit: missing px

[Ignacio Casal Quinteiro <icq src gnome org>]

commit b1786e1200233725933dbafc6a1ef95d3a1e0865
Author: Ignacio Casal Quinteiro <ignacio casal nice-software com>
Date:   Thu Oct 17 15:44:41 2013 +0200

    gedit: missing px

 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 8233a76..6ce157d 100644
--- a/themes/Adwaita/gtk-3.0/gnome-applications.css
+++ b/themes/Adwaita/gtk-3.0/gnome-applications.css
@@ -172,7 +172,7 @@ GeditPanel.horizontal .notebook:backdrop {
 }
 
 GeditPanel.horizontal .notebook tab {
-    padding: 1;
+    padding: 1px;
     border-width: 0;
 }