Responsive blue highlight when tapping on mobile devices

static/efficient-ui/THEME.css

@@ -523,6 +523,8 @@

                                
                                
                                
                            
                                
                                    
                                        
                                            523  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            524  
                                                /* DIALOGS */
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            525  
                                                --color-modal-backdrop: radial-gradient(circle, #00000040 12.5%, #000000cc 100%);
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        526 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        527 +
                                            --tap-highlight-color: transparent;
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            528  
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            529  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            530  
                                            /* Make headings smaller */
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -854,3 +856,7 @@ x-notebook > label:has(input[type="radio"]:checked) {

                                
                                
                                
                            
                                
                                    
                                        
                                            856  
                                            x-notebook > label:has(input[type="radio"]) {
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            857  
                                                transition: box-shadow 125ms ease;
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            858  
                                            }
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        859 +
                                        
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        860 +
                                        * {
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        861 +
                                            -webkit-tap-highlight-color: var(--tap-highlight-color);
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        862 +
                                        }