vars: add nav font related variables (#77709) #275

Merged
pmarillonnet merged 1 commits from wip/77709-nav-font-related-vars into main 2023-05-17 16:30:01 +02:00
1 changed files with 8 additions and 1 deletions

View File

@ -2,6 +2,10 @@ $nav-background: white !default;
$nav-full-width-background: false !default;
$nav-color: black !default;
$nav-border-radius: $border-radius !default;
$nav-font-family: $font-family !default;
$nav-font-style: normal !default;
$nav-font-size: $font-size !default;

Tu augmentes ici la taille de la police pour toutes les integrations, non?

Tu augmentes ici la taille de la police pour toutes les integrations, non?

Oui, c’est vrai :D
J’ai posé cela par mimétisme de la façon dont est définie $title-font-size, mais c’est une mauvaise idée, je vais laisser la valeur de taille de police globale par défaut.

Oui, c’est vrai :D J’ai posé cela par mimétisme de la façon dont est définie `$title-font-size`, mais c’est une mauvaise idée, je vais laisser la valeur de taille de police globale par défaut.

C’est corrigé, merci pour ta vigilance.

C’est corrigé, merci pour ta vigilance.
$nav-font-weight: bold !default;
$nav-active-color: #005EA9 !default;
@ -69,6 +73,9 @@ div.gru-nav {
padding: 0;
height: $nav-height;
border-radius: $nav-border-radius;
font-family: $nav-font-family;
font-style: $nav-font-style;
font-size: $nav-font-size;
}
div.gru-nav > ul {
@ -94,7 +101,7 @@ div.gru-nav > ul > li {
div.gru-nav > ul > li a {
color: $nav-color;
font-weight: bold;
font-weight: $nav-font-weight;
padding: 0.75em 20px;
display: inline-block;
line-height: 150%;