Tamaño de fuente predeterminado más grande para la barra lateral

[ClawdiaWolf (Claudia)]

Tengo componentes de tema personalizados en todas las instancias a las que tengo acceso de administrador que hacen exactamente esto, así que estoy totalmente a favor.