• Information

A fork of the Materia GTK theme.

Important information: Google announced that, from September 2026, Android devices will require ALL apps to be signed by Google, effectively leading to an iOS situation. Value your right to a computer that does what you want; do not tolerate this monopolistic practice! Contact me if you don't understand why it is bad. Click to learn more.

GTK3: Restore specific styling for Firefox backwards compatibility

from 991747abbbf283c63e2047374ef285435f5a2734

by roundabout, Saturday, 4 March 2017, 15:51:48 (1488642708), pushed by roundabout, Sunday, 11 May 2025, 13:22:06 (1746969726)

Author identity: nana-4 <hnmaigo@gmail.com>

8d604ae39564984566f7145ee457f7d85f70d22a

src/gtk-3.0/3.20/gtk-compact.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.20/gtk-dark-compact.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.20/gtk-dark.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.20/gtk-light-compact.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.6); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.8); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.24); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.20/gtk-light.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.6); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.8); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.24); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.20/gtk.css

@@ -2926,6 +2926,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk-compact.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk-dark-compact.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk-dark.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk-light-compact.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.6); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.8); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.24); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk-light.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.6); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.8); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(0, 0, 0, 0.24); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/gtk.css

@@ -3020,6 +3020,21 @@ window.background:not(.csd) > window.background > menu > menuitem > radio:indete

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            window.background:not(.csd) > widget > radiobutton > radio:indeterminate {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              -gtk-icon-source: image(-gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.svg")), -gtk-recolor(url("assets/scalable/small-radio-mixed-symbolic.png"))); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: #FFFFFF; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          window.background:not(.csd) > widget > menubar:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > window.background > menu > separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.1); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > frame {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/

src/gtk-3.0/3.22/sass/apps/_third-party.scss

@@ -84,6 +84,27 @@ window.background:not(.csd) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // Firefox now uses this for selected items
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            text:selected { @extend %selected_items; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        // for backwards compatibility
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.background:not(.csd) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          > widget > menubar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            color: $secondary_titlebar_fg_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            &:hover { color: $titlebar_fg_color; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            &:disabled { color: $disabled_secondary_titlebar_fg_color; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          > window.background > menu > separator { color: $border_color; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          > widget > frame { color: rgba(0, 0, 0, 0.2); }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          > widget > checkbutton > check,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          > widget > radiobutton > radio {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            margin: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            padding: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Synapse *

  • Add comment