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: gnome-builder: Remove workarounds for headerbars

by roundabout, Monday, 27 February 2017, 16:25:37 (1488212737), pushed by roundabout, Sunday, 11 May 2025, 13:22:05 (1746969725)

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

6a194b6ce9e75ec107c4862b56138cf0249f44b6

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

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #F5F5F5; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

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

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #455A64; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

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

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #455A64; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

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

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #F5F5F5; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

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

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #F5F5F5; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gtk-3.0/3.22/gtk.css

@@ -2662,12 +2662,6 @@ frame.gedit-map-frame > border:dir(rtl) {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            /***********
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             * Builder *
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                             ***********/
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              border-bottom: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              background-color: #F5F5F5; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

src/gtk-3.0/3.22/sass/apps/_gnome.scss

@@ -377,22 +377,6 @@ frame.gedit-map-frame > border {

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // hard-coded css:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // https://git.gnome.org/browse/gnome-builder/tree/data/theme/shared.css
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        // Titlebar adjustments for workbench
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        //
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        // This is needed due to our placement of headerbar inside of a
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        // stack. We were seeing black edges around the header bar, and
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        // improper radius on the headerbar.
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        //
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench stack.titlebar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          padding: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          // box-shadow: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        window.workbench:not(.tiled):not(.maximized):not(.fullscreen) stack.titlebar headerbar {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          border-radius: 2px 2px 0 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          // box-shadow: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // Layout tab and tab bar tweaks
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            // The following makes the layout stack header look similar to a tab bar.
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            layouttabbar {