Times New Roman semble être une police de caractères « plus petite » qu’Arial, je me demandais donc s’il existait une méthode recommandée pour passer à cette police. J’ai vu Change font sizes in your themes mais je suis encore un peu confus !
J’ai changé --font-family et --heading-font-family en Times New Roman mais je m’interroge sur la taille.
Si vous ajoutez ceci au fichier common.scss de votre thème, cela devrait augmenter toutes vos tailles de police de 1px (notre valeur par défaut est de 15px).
et les autres parties, comme &.text-size-smallest, sont utilisées pour ajuster les paramètres de taille de texte dans les préférences de l’utilisateur : https://meta.discourse.org/my/preferences/interface