Projet

Général

Profil

0001-css-remove-useless-margin-property-on-.gru-nav-eleme.patch

Thomas Jund (congés, retour le 29/04), 08 septembre 2021 17:57

Télécharger (713 octets)

Voir les différences: 

Subject: [PATCH] css: remove useless margin property on .gru-nav element
 (#56799)

property already declared on _layout.scss file

 static/includes/_nav.scss | 1 -
 1 file changed, 1 deletion(-)
static/includes/_nav.scss
63 63 

  		




  64
  64
  
    
div.gru-nav {

  		




  65
  65
  
    
	padding: 0;

  		




  66
  
  
    
	margin: 10px auto;

  		




  67
  66
  
    
	height: $nav-height;

  		




  68
  67
  
    
	border-radius: $nav-border-radius;

  		




  69
  68
  
    
}

  		




  70
  
  
    
-