Times New Roman sembra essere un font “più piccolo” di Arial, quindi mi chiedevo se ci fosse un modo consigliato per cambiarlo. Ho visto Change font sizes in your themes ma sono ancora un po’ confuso!
Ho cambiato --font-family e --heading-font-family in Times New Roman ma mi chiedevo della dimensione.
Se aggiungi questo al file common.scss del tuo tema, dovrebbe aumentare tutte le dimensioni dei tuoi font di 1px (il nostro predefinito è 15px).
html {
font-size: 16px;
&.text-size-smallest {
font-size: 14px;
}
&.text-size-smaller {
font-size: 15px;
}
&.text-size-larger {
font-size: 18px;
}
&.text-size-largest {
font-size: 20px;
}
}
La parte principale è
html {
font-size: 16px;
}
e le altre parti, come &.text-size-smallest, vengono utilizzate per regolare le impostazioni della dimensione del testo nelle preferenze dell’utente: https://meta.discourse.org/my/preferences/interface