# Make that button in gnomine a little bigger, so that the image isn't drawn
# on top of the default/focus line.

style "gnomine-tweak" {
	xthickness = 4
	ythickness = 4
}
