--- gnome-games-2.27.90/gnomine/gnomine.c       2009-08-12 14:59:04.000000000 -0400
+++ hacked/gnomine/gnomine.c    2009-08-23 01:42:41.527430702 -0400
@@ -1067,12 +1075,6 @@
 
   verify_ranges ();
 
-  /* This is evil, but the normal button focus indicator 
-   * interferes with the face (but we still want the button
-   * to be the default). */
-  gtk_rc_parse_string
-    ("style \"gnomine\" { GtkButton::interior-focus = 0 } class \"GtkButton\" style \"gnomine\"");
-
   window = gtk_window_new (GTK_WINDOW_TOPLEVEL);
   gtk_window_set_title (GTK_WINDOW (window), _(APP_NAME_LONG));