Proposal for less puffy Gtk2 buttons