Projet

Général

Profil

Bug #56799

gru-nav: suppression propriété margin inutile

Ajouté par Thomas Jund il y a plus de 2 ans. Mis à jour il y a plus de 2 ans.

Statut:
Fermé
Priorité:
Normal
Assigné à:
Version cible:
-
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

Révision f4692b0a (diff)
Ajouté par Thomas Jund il y a plus de 2 ans

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

property already declared on _layout.scss file

Historique

#1

Mis à jour par Thomas Jund il y a plus de 2 ans

  • Description mis à jour (diff)
#2

Mis à jour par Thomas Jund il y a plus de 2 ans

#3

Mis à jour par Serghei Mihai il y a plus de 2 ans

  • Statut changé de Solution proposée à Solution validée
#4

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
#5

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

Formats disponibles : Atom PDF