gnome-shell: Fix menu separator styling

by roundabout, Wednesday, 17 April 2019, 11:42:27 (1555501347), pushed by roundabout, Sunday, 11 May 2025, 13:22:36 (1746969756)

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

                                
                                
                                
                            
                                
                                    
                                        
                                            663  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            664  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            665  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        666 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        667 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        668 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        669 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        666 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        667 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        668 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        669 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            670  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            671  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            672  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            663  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            664  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            665  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        666 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        667 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        668 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        669 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        666 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        667 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        668 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        669 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            670  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            671  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            672  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            636  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            637  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            638  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        639 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        640 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        639 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        640 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            643  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            644  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            645  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            636  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            637  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            638  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        639 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        640 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        639 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        640 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            643  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            644  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            645  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            638  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            639  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            640  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        643 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        644 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        643 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        644 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            645  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            646  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            647  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

                                
                                
                                
                            
                                
                                    
                                        
                                            638  
                                                //-margin-horizontal: 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            639  
                                                height: 1px; //not really the whole box
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            640  
                                                margin: 8px 64px - 24px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 -
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 -
                                            border-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        643 -
                                            border-bottom-width: 1px;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        644 -
                                            border-bottom-style: solid;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        641 +
                                            background-color: $divider;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        642 +
                                            border-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        643 +
                                            border-bottom-width: 0;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        644 +
                                            border-bottom-style: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            645  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            646  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            647