gtk3: Code cosmetics

src/gtk-3.0/3.22/sass/_colors.scss

@@ -78,10 +78,10 @@ $question_bg_color: $blue_400;

                                
                                
                                
                            
                                
                                    
                                        
                                            78  
                                            $warning_bg_color:  $orange_400;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            79  
                                            $error_bg_color:    $red_400;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            80  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        81 -
                                        $border_color:             if($variant == 'light', rgba($black, 0.1), rgba($black, 0.2));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        82 -
                                        $highlight_color:          if($variant == 'light', rgba($white, 0.4), rgba($white, 0.1));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        83 -
                                        $titlebar_highlight_color: if($titlebar == 'dark', rgba($white, 0.15), $highlight_color);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        84 -
                                        $unity_highlight_color:    if($titlebar == 'dark', rgba($white, 0.1), rgba($white, 0.2));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        81 +
                                        $border_color:             if($variant == 'light', rgba($black, 0.1),  rgba($black, 0.2));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        82 +
                                        $highlight_color:          if($variant == 'light', rgba($white, 0.4),  rgba($white, 0.1));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        83 +
                                        $titlebar_highlight_color: if($titlebar == 'dark', rgba($white, 0.15), rgba($white, 0.4));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        84 +
                                        $unity_highlight_color:    if($titlebar == 'dark', rgba($white, 0.1),  rgba($white, 0.2));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            85  
                                            $alt_highlight_color:      rgba($white, 0.2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            86  
                                            $titlebar_indicator_color: if($titlebar == 'dark', currentColor, $primary_color);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            87