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: Code refactoring for .raven-header

by roundabout, Tuesday, 29 January 2019, 18:25:50 (1548786350), pushed by roundabout, Sunday, 11 May 2025, 13:22:32 (1746969752)

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

d583f611ada23097f72691a7fb5f6c7bbdf99ed5

src/_sass/gtk/apps/_budgie.scss

@@ -361,8 +361,6 @@ $pos_list: ((top, bottom), (bottom, top), (left, right), (right, left));

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                min-height: $medium_size;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                padding: 3px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            &:not(.top) { margin-top: -6px; } // remove extra spaces
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                &.top {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                  padding: 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                  border-bottom: 1px solid $border_color;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -377,7 +375,11 @@ $pos_list: ((top, bottom), (bottom, top), (left, right), (right, left));

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                &.bottom { border-top: 1px solid $border_color; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          viewport.frame .raven-header { margin-top: -8px; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          stack {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            .raven-header { margin-top: -6px; } // remove extra space in Notifications stack
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            scrolledwindow .raven-header { margin-top: -8px; } // remove extra spaces in Applets stack
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                          }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                              .expander-button { @extend %circular_button; }