GTK3: Ensure menuitem labels are not overridden

gtk-3.0/_common.scss

@@ -830,7 +830,8 @@ combobox {

                                
                                
                                
                            
                                
                                    
                                        
                                            830  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            831  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            832  
                                              menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        833 -
                                          .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        833 +
                                          .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        834 +
                                          .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            835  
                                                padding: 2px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            836  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            837  
                                                menuitem {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1312,7 +1313,8 @@ menubar,

                                
                                
                                
                            
                                
                                    
                                        
                                            1313  
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1314  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1315  
                                            menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1315 -
                                        .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1316 +
                                        .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1317 +
                                        .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1318  
                                              margin: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1319  
                                              padding: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1320  
                                              background-color: $base_color;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1353,6 +1355,10 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1355  
                                                    margin-right: 8px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1356  
                                                  }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1357  
                                                }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1358 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1359 +
                                            // avoids labels color being overridden, see
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1360 +
                                            // https://bugzilla.gnome.org/show_bug.cgi?id=767058
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1361 +
                                            label { &:dir(rtl), &:dir(ltr) { color: inherit; }}
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1362  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1363  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1364  
                                              // overflow arrows
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

gtk-3.0/gtk-dark.css

@@ -845,10 +845,12 @@ combobox arrow {

                                
                                
                                
                            
                                
                                    
                                        
                                            845  
                                              min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            846  
                                              min-width: 16px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            847  
                                            combobox menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        848 -
                                        combobox .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        848 +
                                        combobox .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        849 +
                                        combobox .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            850  
                                              padding: 2px 0; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            851  
                                              combobox menu menuitem,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        851 -
                                          combobox .menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        852 +
                                          combobox .menu menuitem,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        853 +
                                          combobox .context-menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            854  
                                                min-height: 36px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            855  
                                                padding: 0 10px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            856  
                                            combobox:drop(active) {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1184,17 +1186,20 @@ menubar,

                                
                                
                                
                            
                                
                                    
                                        
                                            1186  
                                                  color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1187  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1188  
                                            menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1187 -
                                        .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1189 +
                                        .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1190 +
                                        .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1191  
                                              margin: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1192  
                                              padding: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1193  
                                              background-color: #546E7A;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1194  
                                              border: 1px solid rgba(0, 0, 0, 0.2); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1195  
                                              .csd menu, .csd
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1193 -
                                          .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1196 +
                                          .menu, .csd
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1197 +
                                          .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1198  
                                                border: none;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1199  
                                                border-radius: 2px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1200  
                                              menu menuitem,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1197 -
                                          .menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1201 +
                                          .menu menuitem,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1202 +
                                          .context-menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1203  
                                                transition: background-color 0.2s cubic-bezier(0, 0, 0.2, 1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1204  
                                                min-height: 20px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1205  
                                                min-width: 40px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1202,26 +1207,38 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1207  
                                                font: initial;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1208  
                                                text-shadow: none; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1209  
                                                menu menuitem:hover,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1205 -
                                            .menu menuitem:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1210 +
                                            .menu menuitem:hover,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1211 +
                                            .context-menu menuitem:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1212  
                                                  transition: none;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1213  
                                                  background-color: alpha(currentColor, 0.15); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1214  
                                                menu menuitem:disabled,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1209 -
                                            .menu menuitem:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1215 +
                                            .menu menuitem:disabled,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1216 +
                                            .context-menu menuitem:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1217  
                                                  color: rgba(255, 255, 255, 0.4); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1218  
                                                menu menuitem arrow,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1212 -
                                            .menu menuitem arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1219 +
                                            .menu menuitem arrow,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1220 +
                                            .context-menu menuitem arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1221  
                                                  min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1222  
                                                  min-width: 16px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1223  
                                                  menu menuitem arrow:dir(ltr),
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1216 -
                                              .menu menuitem arrow:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1224 +
                                              .menu menuitem arrow:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1225 +
                                              .context-menu menuitem arrow:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1226  
                                                    -gtk-icon-source: -gtk-icontheme("pan-end-symbolic");
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1227  
                                                    margin-left: 8px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1228  
                                                  menu menuitem arrow:dir(rtl),
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1220 -
                                              .menu menuitem arrow:dir(rtl) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1229 +
                                              .menu menuitem arrow:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1230 +
                                              .context-menu menuitem arrow:dir(rtl) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1231  
                                                    -gtk-icon-source: -gtk-icontheme("pan-end-symbolic-rtl");
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1232  
                                                    margin-right: 8px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1233 +
                                            menu menuitem label:dir(rtl), menu menuitem label:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1234 +
                                            .menu menuitem label:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1235 +
                                            .menu menuitem label:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1236 +
                                            .context-menu menuitem label:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1237 +
                                            .context-menu menuitem label:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1238 +
                                              color: inherit; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1239  
                                              menu > arrow,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1224 -
                                          .menu > arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1240 +
                                          .menu > arrow,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1241 +
                                          .context-menu > arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1242  
                                                min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1243  
                                                min-width: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1244  
                                                padding: 4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1229,26 +1246,31 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1246  
                                                background-color: #546E7A;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1247  
                                                color: rgba(255, 255, 255, 0.75); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1248  
                                                menu > arrow.top,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1232 -
                                            .menu > arrow.top {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1249 +
                                            .menu > arrow.top,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1250 +
                                            .context-menu > arrow.top {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1251  
                                                  margin-top: -4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1252  
                                                  border-bottom: 1px solid rgba(0, 0, 0, 0.2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1253  
                                                  -gtk-icon-source: -gtk-icontheme("pan-up-symbolic"); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1254  
                                                menu > arrow.bottom,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1237 -
                                            .menu > arrow.bottom {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1255 +
                                            .menu > arrow.bottom,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1256 +
                                            .context-menu > arrow.bottom {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1257  
                                                  margin-bottom: -4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1258  
                                                  border-top: 1px solid rgba(0, 0, 0, 0.2);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1259  
                                                  -gtk-icon-source: -gtk-icontheme("pan-down-symbolic"); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1260  
                                                menu > arrow:hover,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1242 -
                                            .menu > arrow:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1261 +
                                            .menu > arrow:hover,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1262 +
                                            .context-menu > arrow:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1263  
                                                  background-image: image(alpha(currentColor, 0.15));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1264  
                                                  color: #FFFFFF; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1265  
                                                menu > arrow:disabled,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1246 -
                                            .menu > arrow:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1266 +
                                            .menu > arrow:disabled,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1267 +
                                            .context-menu > arrow:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1268  
                                                  border-color: transparent;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1269  
                                                  background-color: transparent;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1270  
                                                  color: transparent; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1271  
                                              menu separator,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1251 -
                                          .menu separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1272 +
                                          .menu separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1273 +
                                          .context-menu separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1274  
                                                margin: 4px 0; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1275  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1276  
                                            menuitem accelerator {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                            
                                

gtk-3.0/gtk.css

@@ -845,10 +845,12 @@ combobox arrow {

                                
                                
                                
                            
                                
                                    
                                        
                                            845  
                                              min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            846  
                                              min-width: 16px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            847  
                                            combobox menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        848 -
                                        combobox .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        848 +
                                        combobox .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        849 +
                                        combobox .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            850  
                                              padding: 2px 0; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            851  
                                              combobox menu menuitem,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        851 -
                                          combobox .menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        852 +
                                          combobox .menu menuitem,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        853 +
                                          combobox .context-menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            854  
                                                min-height: 36px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            855  
                                                padding: 0 10px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            856  
                                            combobox:drop(active) {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1184,17 +1186,20 @@ menubar,

                                
                                
                                
                            
                                
                                    
                                        
                                            1186  
                                                  color: rgba(255, 255, 255, 0.3); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1187  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1188  
                                            menu,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1187 -
                                        .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1189 +
                                        .menu,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1190 +
                                        .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1191  
                                              margin: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1192  
                                              padding: 4px 0;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1193  
                                              background-color: #FFFFFF;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1194  
                                              border: 1px solid rgba(0, 0, 0, 0.1); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1195  
                                              .csd menu, .csd
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1193 -
                                          .menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1196 +
                                          .menu, .csd
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1197 +
                                          .context-menu {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1198  
                                                border: none;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1199  
                                                border-radius: 2px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1200  
                                              menu menuitem,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1197 -
                                          .menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1201 +
                                          .menu menuitem,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1202 +
                                          .context-menu menuitem {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1203  
                                                transition: background-color 0.2s cubic-bezier(0, 0, 0.2, 1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1204  
                                                min-height: 20px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1205  
                                                min-width: 40px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1202,26 +1207,38 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1207  
                                                font: initial;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1208  
                                                text-shadow: none; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1209  
                                                menu menuitem:hover,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1205 -
                                            .menu menuitem:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1210 +
                                            .menu menuitem:hover,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1211 +
                                            .context-menu menuitem:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1212  
                                                  transition: none;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1213  
                                                  background-color: alpha(currentColor, 0.15); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1214  
                                                menu menuitem:disabled,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1209 -
                                            .menu menuitem:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1215 +
                                            .menu menuitem:disabled,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1216 +
                                            .context-menu menuitem:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1217  
                                                  color: rgba(0, 0, 0, 0.32); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1218  
                                                menu menuitem arrow,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1212 -
                                            .menu menuitem arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1219 +
                                            .menu menuitem arrow,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1220 +
                                            .context-menu menuitem arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1221  
                                                  min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1222  
                                                  min-width: 16px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1223  
                                                  menu menuitem arrow:dir(ltr),
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1216 -
                                              .menu menuitem arrow:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1224 +
                                              .menu menuitem arrow:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1225 +
                                              .context-menu menuitem arrow:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1226  
                                                    -gtk-icon-source: -gtk-icontheme("pan-end-symbolic");
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1227  
                                                    margin-left: 8px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1228  
                                                  menu menuitem arrow:dir(rtl),
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1220 -
                                              .menu menuitem arrow:dir(rtl) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1229 +
                                              .menu menuitem arrow:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1230 +
                                              .context-menu menuitem arrow:dir(rtl) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1231  
                                                    -gtk-icon-source: -gtk-icontheme("pan-end-symbolic-rtl");
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1232  
                                                    margin-right: 8px; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1233 +
                                            menu menuitem label:dir(rtl), menu menuitem label:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1234 +
                                            .menu menuitem label:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1235 +
                                            .menu menuitem label:dir(ltr),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1236 +
                                            .context-menu menuitem label:dir(rtl),
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1237 +
                                            .context-menu menuitem label:dir(ltr) {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1238 +
                                              color: inherit; }
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1239  
                                              menu > arrow,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1224 -
                                          .menu > arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1240 +
                                          .menu > arrow,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1241 +
                                          .context-menu > arrow {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1242  
                                                min-height: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1243  
                                                min-width: 16px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1244  
                                                padding: 4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -1229,26 +1246,31 @@ menu,

                                
                                
                                
                            
                                
                                    
                                        
                                            1246  
                                                background-color: #FFFFFF;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1247  
                                                color: rgba(0, 0, 0, 0.6); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1248  
                                                menu > arrow.top,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1232 -
                                            .menu > arrow.top {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1249 +
                                            .menu > arrow.top,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1250 +
                                            .context-menu > arrow.top {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1251  
                                                  margin-top: -4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1252  
                                                  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1253  
                                                  -gtk-icon-source: -gtk-icontheme("pan-up-symbolic"); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1254  
                                                menu > arrow.bottom,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1237 -
                                            .menu > arrow.bottom {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1255 +
                                            .menu > arrow.bottom,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1256 +
                                            .context-menu > arrow.bottom {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1257  
                                                  margin-bottom: -4px;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1258  
                                                  border-top: 1px solid rgba(0, 0, 0, 0.1);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1259  
                                                  -gtk-icon-source: -gtk-icontheme("pan-down-symbolic"); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1260  
                                                menu > arrow:hover,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1242 -
                                            .menu > arrow:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1261 +
                                            .menu > arrow:hover,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1262 +
                                            .context-menu > arrow:hover {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1263  
                                                  background-image: image(alpha(currentColor, 0.15));
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1264  
                                                  color: rgba(0, 0, 0, 0.8); }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1265  
                                                menu > arrow:disabled,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1246 -
                                            .menu > arrow:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1266 +
                                            .menu > arrow:disabled,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1267 +
                                            .context-menu > arrow:disabled {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1268  
                                                  border-color: transparent;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1269  
                                                  background-color: transparent;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1270  
                                                  color: transparent; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1271  
                                              menu separator,
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1251 -
                                          .menu separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1272 +
                                          .menu separator,
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        1273 +
                                          .context-menu separator {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1274  
                                                margin: 4px 0; }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1275  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            1276  
                                            menuitem accelerator {