O Times New Roman parece ser uma fonte “menor” que a Arial, então me perguntei se haveria uma maneira recomendada de mudar para essa fonte. Eu vi Change font sizes in your themes, mas ainda estou um pouco confuso!
Mudei --font-family e --heading-font-family para Times New Roman, mas estou em dúvida sobre o tamanho.
Se você adicionar isso ao arquivo common.scss do seu tema, ele deve aumentar todos os tamanhos de fonte em 1px (nosso padrão é 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;
}
}
A parte principal é
html {
font-size: 16px;
}
e as outras partes, como &.text-size-smallest, são usadas para ajustar as configurações de tamanho de texto nas preferências do usuário: https://meta.discourse.org/my/preferences/interface
Isso funciona bem, obrigado! 