Patches your Gnome-Theme. No need for the user-theme-extension.