[gedit] Use border-width instead of padding

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 77ea5a7a094b6c5c35e5566cec5ee87abe1b9d0e
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Dec 23 22:59:15 2011 +0100

    Use border-width instead of padding

 gedit/gedit-notebook.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/gedit/gedit-notebook.c b/gedit/gedit-notebook.c
index 5e6b7db..b0d3448 100644
--- a/gedit/gedit-notebook.c
+++ b/gedit/gedit-notebook.c
@@ -750,7 +750,7 @@ remove_right_padding (GeditNotebook *nb)
 	GError *error = NULL;
 	const gchar style[] =
 		".notebook {\n"
-		  "padding: %d 0 %d %d;\n"
+		  "border-width: %d 0 %d %d;\n"
 		"}";
 
 	/* FIXME: find out a css like way to do this, right now padding-right/left