GNOME Theme Tweak extension for Mozilla Firefox