gtk/pathbar: Make checked button's text/ink color blue

src/gtk/sass/_common-3.20.scss

@@ -1702,8 +1702,6 @@ window.devel .titlebar:not(.selection-mode) {

                                
                                
                                
                            
                                
                                    
                                        
                                            1702  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1703  
                                            %pathbar_button,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1704  
                                            .path-bar.linked:not(.vertical) > button {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1705 -
                                          @extend %button-flat-basic;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1706 -
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1705  
                                              padding-left: ($medium-size - 24px) / 2;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1706  
                                              padding-right: ($medium-size - 24px) / 2;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1707  
                                              border-image:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1713,6 +1711,13 @@ window.devel .titlebar:not(.selection-mode) {

                                
                                
                                
                            
                                
                                    
                                        
                                            1711  
                                                  transparent 0%
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1712  
                                                ) 0 0 0 / 0 0 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1713  
                                              border-radius: $corner-radius;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1714 +
                                          color: hint($on-surface);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1715 +
                                          @include ink-color($on-surface, $button-style: "flat");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1716 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1717 +
                                          &:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1718 +
                                            background-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1719 +
                                            color: disabled-hint($on-surface);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1720 +
                                          }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1721  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1722  
                                              &:checked {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1723  
                                                border-image:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1721,11 +1726,12 @@ window.devel .titlebar:not(.selection-mode) {

                                
                                
                                
                            
                                
                                    
                                        
                                            1726  
                                                    $primary 100%,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1727  
                                                    transparent 0%
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1728  
                                                  ) 0 0 2 / 0 0 2px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1724 -
                                            color: $on-surface;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1729 +
                                            color: $primary;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1730 +
                                            @include ink-color($primary, $button-style: "flat");
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1731  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1726 -
                                            &,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1732  
                                                &:disabled {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1733  
                                                  background-color: transparent;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1734 +
                                              color: disabled($on-surface);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1735  
                                                }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1736  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1737