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

Se dividió una publicación en un nuevo tema: Mover ‘grupos’ al lado de ‘usuarios’ en el menú