GTK3: Code cosmetics

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

@@ -12,9 +12,9 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            12  
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            13  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            14  
                                            // Foreground colors
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        15 -
                                        $dark_fg_color: rgba($black, 0.87);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        16 -
                                        $light_fg_color: $white;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        17 -
                                        $button_fg_color:             if($variant == 'light', rgba($black, 0.62), rgba($white, 0.8));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        15 +
                                        $dark_fg_color:   rgba($black, 0.87);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        16 +
                                        $light_fg_color:  $white;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        17 +
                                        $button_fg_color: if($variant == 'light', rgba($black, 0.62), rgba($white, 0.8)); // extra fg color for raised buttons
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            18  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            19  
                                            $fg_color:                    if($variant == 'light', rgba($black, 0.87), $white);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            20  
                                            $secondary_fg_color:          if($variant == 'light', rgba($black, 0.54), rgba($white, 0.7));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -41,48 +41,48 @@ $inverse_track_color: rgba($white, 0.3);

                                
                                
                                
                            
                                
                                    
                                        
                                            41  
                                            $inverse_divider_color:               rgba($white, 0.12);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            42  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            43  
                                            // Background colors
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        44 -
                                        $bg_color: if($variant == 'light', $grey_100, fade($blue_grey_700));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        45 -
                                        $base_color: if($variant == 'light', $white, fade($blue_grey_600));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        46 -
                                        $alt_base_color: if($variant == 'light', $grey_50, mix($base_color, $bg_color, 50%));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        47 -
                                        $lighter_bg_color: if($variant == 'light', $grey_50, fade($blue_grey_500));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        48 -
                                        $darker_bg_color: if($variant == 'light', $grey_200, fade($blue_grey_900));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        44 +
                                        $bg_color:         if($variant == 'light', $grey_100, fade($blue_grey_700));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        45 +
                                        $base_color:       if($variant == 'light', $white,    fade($blue_grey_600));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        46 +
                                        $alt_base_color:   if($variant == 'light', $grey_50,  mix($base_color, $bg_color, 50%));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        47 +
                                        $lighter_bg_color: if($variant == 'light', $grey_50,  fade($blue_grey_500));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        48 +
                                        $darker_bg_color:  if($variant == 'light', $grey_200, fade($blue_grey_900));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            49  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        50 -
                                        $titlebar_bg_color: if($titlebar == 'dark', if($variant == 'light', $blue_grey_700, $blue_grey_800), $grey_300);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        50 +
                                        $titlebar_bg_color:     if($titlebar == 'dark', if($variant == 'light', $blue_grey_700, $blue_grey_800), $grey_300);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            51  
                                            $alt_titlebar_bg_color: if($titlebar == 'dark', $blue_grey_800, mix($grey_300, $grey_400, 50%));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        52 -
                                        $panel_bg_color: if($titlebar == 'dark', $blue_grey_900, rgba($black, $middle_opacity));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        53 -
                                        $unity_panel_bg_color: if($titlebar == 'dark', $blue_grey_900, mix($grey_300, $grey_400, 50%));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        54 -
                                        $alt_panel_bg_color: rgba($black, $lower_opacity);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        52 +
                                        $panel_bg_color:        if($titlebar == 'dark', $blue_grey_900, rgba($black, $middle_opacity));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        53 +
                                        $unity_panel_bg_color:  if($titlebar == 'dark', $blue_grey_900, mix($grey_300, $grey_400, 50%));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        54 +
                                        $alt_panel_bg_color:    rgba($black, $lower_opacity);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            55  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        56 -
                                        $fill_color: gtkalpha(currentColor, $lower_opacity);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        56 +
                                        $fill_color:      gtkalpha(currentColor, $lower_opacity);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            57  
                                            $semi_fill_color: gtkalpha(currentColor, $lower_opacity / 2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        58 -
                                        $row_fill_color: gtkalpha(currentColor, 0.05);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        58 +
                                        $row_fill_color:  gtkalpha(currentColor, 0.05);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            59  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            60  
                                            // Misc colors
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        61 -
                                        $primary_color: $blue_400;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        62 -
                                        $alt_primary_color: $light_blue_A200;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        63 -
                                        $accent_color: $pink_A200;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        61 +
                                        $primary_color:         $blue_400;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        62 +
                                        $alt_primary_color:     $light_blue_A200;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        63 +
                                        $accent_color:          $pink_A200;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            64  
                                            $disabled_accent_color: rgba($accent_color, 0.5);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            65  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        66 -
                                        $link_color: $primary_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        66 +
                                        $link_color:         $primary_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            67  
                                            $visited_link_color: $purple_A200;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            68  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            69  
                                            $warning_color: $orange_A700;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        70 -
                                        $error_color: $deep_orange_A700;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        70 +
                                        $error_color:   $deep_orange_A700;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            71  
                                            $success_color: $green_A700;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            72  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        73 -
                                        $suggested_color: $accent_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        73 +
                                        $suggested_color:   $accent_color;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            74  
                                            $destructive_color: $red_A200;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            75  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        76 -
                                        $info_bg_color: $green_400;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        76 +
                                        $info_bg_color:     $green_400;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            77  
                                            $question_bg_color: $blue_400;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        78 -
                                        $warning_bg_color: $orange_400;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        79 -
                                        $error_bg_color: $red_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));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        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));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        85 -
                                        $alt_highlight_color: rgba($white, 0.2);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        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  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            88  
                                            // FIXME: @placeholder_text_color should really use $tertiary_fg_color, but
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

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

@@ -1534,10 +1534,10 @@ menuitem {

                                
                                
                                
                            
                                
                                    
                                        
                                            1534  
                                            // Electron/Atom render all translucent colors in opaque colors.
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1535  
                                            // It's a very critical issue for this theme and should be fixed by upstream...
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1536  
                                            .popup:not(.csd) menu {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1537 -
                                          $opaque_fg_color: if($variant == 'light', $grey_900, $white);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1537 +
                                          $opaque_fg_color:           if($variant == 'light', $grey_900, $white);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1538  
                                              $opaque_secondary_fg_color: if($variant == 'light', $grey_600, mix($white, $base_color, percentage(0.7)));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1539 -
                                          $opaque_disabled_fg_color: if($variant == 'light', $grey_500, mix($white, $base_color, percentage(0.5)));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1540 -
                                          $opaque_divider_color: if($variant == 'light', $grey_300, mix($white, $base_color, percentage(0.12)));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1539 +
                                          $opaque_disabled_fg_color:  if($variant == 'light', $grey_500, mix($white, $base_color, percentage(0.5)));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1540 +
                                          $opaque_divider_color:      if($variant == 'light', $grey_300, mix($white, $base_color, percentage(0.12)));
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1541  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1542  
                                              menuitem {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1543  
                                                color: $opaque_fg_color;