diff options
| author | 2022-01-08 21:58:55 +0100 | |
|---|---|---|
| committer | 2022-01-08 21:58:55 +0100 | |
| commit | 1acd3ab09be1b65bfd6122ee351490c3b5527bb8 (patch) | |
| tree | f11de558e7a09522a45d1c155d9707ecda6bf1eb /p/themes/Ansum/_variables.scss | |
| parent | 916df412f5b6f7fb9bcfb705a3c8c23e35304410 (diff) | |
Use typographic quotes (#4133)
* Use typographic quotes
* A few fixes
* Fix
* Fix not saved
* Implement feedback
* Detail
* Revert spoken English fixes
Left for a future dedicated discussion
* More reverts
* Final reverts
* Final minor
Diffstat (limited to 'p/themes/Ansum/_variables.scss')
| -rw-r--r-- | p/themes/Ansum/_variables.scss | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/p/themes/Ansum/_variables.scss b/p/themes/Ansum/_variables.scss index 60472019d..981d64e99 100644 --- a/p/themes/Ansum/_variables.scss +++ b/p/themes/Ansum/_variables.scss @@ -9,7 +9,7 @@ $main-first-darker: #221f1d; // var pour les hovers // les couleurs de polices liées $main-font-color: #363330; $light-font-color: #6d655f; -$white: #fff; // le blanc (des fois qu'on aurait envie de le teinter un peu) +$white: #fff; // le blanc (des fois qu’on aurait envie de le teinter un peu) // toute la palette des gris, très utile // on essaiera de teinter ces gris suivant la couleur principale @@ -25,7 +25,7 @@ $unread-font-color: #161a38; $unread-bg: #f2f6f8; $unread-bg-light: #fdfdfe; -// les couleurs d'alertes (rouge, jaune, vert) +// les couleurs d’alertes (rouge, jaune, vert) $alert-bg: #f5633e; // la base $alert-light: #fde0d8; // +light $alert-text: #73341f; // +foncé @@ -42,10 +42,10 @@ $success-text: #0c7556; $fav-bg: #ffc300; $fav-light: #fff6da; -// la couleur de sidebar, utile si on a envie d'un thème qui aurait une sidebar foncé, e.g. +// la couleur de sidebar, utile si on a envie d’un thème qui aurait une sidebar foncé, e.g. $sid-font-color: #363330; // la couleur de fond de la barre de gauche et du header $sid-bg: #fbf9f6; // le background général de la barre de gauche, et du header -$sid-bg-alt: #f7f2ea; // le background de l'intérieur des groupes +$sid-bg-alt: #f7f2ea; // le background de l’intérieur des groupes $sid-bg-dark: #efe3d3; // les hovers $sid-sep: #f0e7da; // les séparateurs $sid-active: $main-first; // la couleur active |
