gtk/firefox: Add back the menu border as a workaround

src/gtk/sass/apps/_misc.scss

@@ -271,7 +271,11 @@ tooltip.background.chromium {

                                
                                
                                
                            
                                
                                    
                                        
                                            271  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            272  
                                              // remove ugly border around the menus
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            273  
                                              menu {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        274 -
                                            border: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        274 +
                                            // FIXME: The ugly border is still needed, since the menu doesn't
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        275 +
                                            // draw its drop shadow in some environments. See:
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        276 +
                                            // https://github.com/nana-4/materia-theme/issues/462
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        277 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        278 +
                                            // border: none;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            279  
                                              }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            280  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            281  
                                              // Workaround: Firefox doesn't properly read color from