Depois que passei a usar Linux com mais frequência, fiquei um pouco incomodado com a inconsistência de fontes do Manual. Hoje, existem três variáveis de fontes (com serifa, sem serifa e monoespaçada), e todas elas invocam a fonte padrão do sistema (ui-system, ui-serif e ui-monospace, respectivamente).
Acho que vou aproveitar o embalo para retirar de campo a fonte com serifa, deixar tudo com serifa — Georgia para macOS/Windows, Noto Serif para Linux. Talvez a monoespaçada possa continuar sendo a padrão (ui-monospace).
Abri esta issue para caso alguém queira dar pitacos — das mudanças propostas e de outras relacionadas à tipografia do site.
Depois que passei a usar Linux com mais frequência, fiquei um pouco incomodado com a inconsistência de fontes do Manual. Hoje, existem três variáveis de fontes (com serifa, sem serifa e monoespaçada), e todas elas invocam a fonte padrão do sistema (
ui-system,ui-serifeui-monospace, respectivamente).Acho que vou aproveitar o embalo para retirar de campo a fonte com serifa, deixar tudo com serifa — Georgia para macOS/Windows, Noto Serif para Linux. Talvez a monoespaçada possa continuar sendo a padrão (
ui-monospace).Abri esta issue para caso alguém queira dar pitacos — das mudanças propostas e de outras relacionadas à tipografia do site.