The gnome-tweak-tool allows to tweak some hidden settings in GTK3/GNOME3.