Tamanho de fonte padrão maior na barra lateral

[ClawdiaWolf (Claudia)]

Tenho componentes de tema personalizados em todas as instâncias às quais tenho acesso de administrador que fazem exatamente isso, então sou totalmente a favor.