Consultando porfontsize inUser Settings window produce solo configuraciones para:

paneles editores,suggest widget,ista previa de @markdown, terminal integrado

como puede ver abajo

Hacer lo mismo parasidebar da resultados aún más pobres:

Tener fuentes de diferentes tamaños en los paneles del editor y en la barra lateral ... vamos a conformarnos con:no es demasiado agradable. ¿Acabo de encontrar la mayor omisión de esta increíble herramienta?