gtk/menu: Cosmetics

src/gtk/sass/_common-3.20.scss

@@ -1936,9 +1936,12 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1936  
                                            .context-menu {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1937  
                                              margin: 4px 0; // See https://bugzilla.gnome.org/show_bug.cgi?id=591258
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1938  
                                              padding: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1939 +
                                          border: 1px solid divider($on-surface); // adds borders in a non composited env
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1940  
                                              box-shadow: inset 0 1px highlight($surface);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1941  
                                              background-color: $surface;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1941 -
                                          border: 1px solid divider($on-surface); // adds borders in a non composited env
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1942 +
                                          color: $on-surface;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1943 +
                                          font: initial;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1944 +
                                          text-shadow: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1945  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1946  
                                              .csd & {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1947  
                                                border: none; // axes borders in a composited env
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1950,9 +1953,6 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1953  
                                                min-height: 20px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1954  
                                                min-width: 40px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1955  
                                                padding: 4px 8px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1953 -
                                            color: $on-surface;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1954 -
                                            font: initial;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1955 -
                                            text-shadow: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1956  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1957  
                                                &:hover {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1958  
                                                  transition: none;