From da02b19f8226f124e1ad15f8aaf01789fba027c7 Mon Sep 17 00:00:00 2001
From: Manuel Quiñones <manuq@laptop.org>
Date: Tue, 05 Feb 2013 19:59:58 +0000
Subject: Remove unused rule as GtkButton:inner-border has been deprecated

See documentation:
http://developer.gnome.org/gtk3/stable/GtkButton.html#GtkButton--s-inner-border

Upstream bug opened by Benjamin:
https://bugzilla.gnome.org/show_bug.cgi?id=485762

Signed-off-by: Manuel Quiñones <manuq@laptop.org>
---
diff --git a/gtk3/theme/gtk-widgets.css.em b/gtk3/theme/gtk-widgets.css.em
index 9fba8bc..bd5cbf4 100644
--- a/gtk3/theme/gtk-widgets.css.em
+++ b/gtk3/theme/gtk-widgets.css.em
@@ -151,13 +151,7 @@ GtkLabel, GtkLabel:insensitive {
 
 .button {
     ${ border = max(0, my_ceil((3*subcell_size/2.0 - icon_small / 2.0))) }
-    /* It would be nicer to just set the inner-border, but that does not work
-       for combo boxes ... The combobox ignores it, so set it to 0px
-       See http://bugzilla.gnome.org/show_bug.cgi?id=485762 */
-
-    -GtkButton-inner-border: 0 0 0 0;
     padding: $(border)px $(border)px $(border)px $(border)px;
-
     border-width: $(thickness)px;
     border-color: @button_grey;
     border-style: solid;
--
cgit v0.9.1