Bug #56799
gru-nav: suppression propriété margin inutile
Début:
08 septembre 2021
Echéance:
% réalisé:
0%
Temps estimé:
Patch proposed:
Oui
Planning:
Non
Description
Sur élément `div#nav.gru-nav`
Dans _nav.scss:line 64
div.gru-nav { padding: 0; - margin: 10px auto; height: $nav-height; border-radius: $nav-border-radius; }
Déclaration margin inutile car proriété predéclarée avec sélecteur plus fort dans
_layout.scss:line 46
div#header, div#nav, div#footer { … margin: 0 auto; }
Fichiers
Révisions associées
Historique
Mis à jour par Thomas Jund il y a plus de 2 ans
- Fichier 0001-css-remove-useless-margin-property-on-.gru-nav-eleme.patch 0001-css-remove-useless-margin-property-on-.gru-nav-eleme.patch ajouté
- Statut changé de Nouveau à Solution proposée
- Patch proposed changé de Non à Oui
Mis à jour par Serghei Mihai il y a plus de 2 ans
- Statut changé de Solution proposée à Solution validée
Mis à jour par Thomas Jund il y a plus de 2 ans
- Statut changé de Solution validée à Résolu (à déployer)
commit f4692b0ab2739e6fd415c914010dbf6b4393b1a7 Author: Thomas JUND <tjund@entrouvert.com> Date: Wed Sep 8 17:56:31 2021 +0200 css: remove useless margin property on .gru-nav element (#56799) property already declared on _layout.scss file
Mis à jour par Frédéric Péters il y a plus de 2 ans
- Statut changé de Résolu (à déployer) à Solution déployée
css: remove useless margin property on .gru-nav element (#56799)
property already declared on _layout.scss file