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

[mattdm (Matthew Miller)]

De acuerdo, lo diré: ¿Quizás simplemente eliminar el encabezado “Comunidad” en la barra lateral? (¡Una súplica!) también proporcionaría más espacio.