Dimensione del carattere predefinita della barra laterale più grande

[ClawdiaWolf (Claudia)]

Ho componenti del tema personalizzati su tutte le istanze a cui ho accesso come amministratore che fanno esattamente questo, quindi sono totalmente a favore.