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

3 files changed, 7 insertions, 7 deletions

diff --git a/p/themes/Ansum/_components.scss b/p/themes/Ansum/_components.scss
index d8167d0cd..f6ab4acb6 100644
--- a/p/themes/Ansum/_components.scss
+++ b/p/themes/Ansum/_components.scss
@@ -101,7 +101,7 @@
 }
 
 .tree .tree-folder .tree-folder-items .dropdown-menu {
-	// tout ça sert à restaurer l'apparence du dropdown dans un contexte de sidebar sombre
+	// tout ça sert à restaurer l’apparence du dropdown dans un contexte de sidebar sombre
 	.item {
 		padding: 0;
 
@@ -148,7 +148,7 @@
 .alert-warn {
 	background: $warning-light;
 	color: $warning-text;
-	border: 1px solid unquote($warning-text+'33'); // on ajoute l'opacité à la fin
+	border: 1px solid unquote($warning-text+'33'); // on ajoute l’opacité à la fin
 }
 
 .alert-success {
diff --git a/p/themes/Ansum/_configuration.scss b/p/themes/Ansum/_configuration.scss
index 78e471f19..26e9d65fe 100644
--- a/p/themes/Ansum/_configuration.scss
+++ b/p/themes/Ansum/_configuration.scss
@@ -40,7 +40,7 @@
 		line-height: 1.2em;
 	}
 
-	a[href="./"] { // C'est le bouton "Retour à vos flux"
+	a[href="./"] { // C’est le bouton "Retour à vos flux"
 		margin: 0;
 		padding: 0.75rem 1.5rem;
 		background: $grey-lighter;
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