vars: add nav font related variables (#77709) #275
|
@ -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;
|
||||
|
||||
$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%;
|
||||
|
|
Loading…
Reference in New Issue
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.C’est corrigé, merci pour ta vigilance.