¿Alguien sabe cómo ajustar el tamaño de fuente de la barra lateral de Safari? Llamé al soporte técnico de Apple y confirmaron que no hay acceso de usuarios para modificar el tamaño de fuente en la barra lateral de Safari, como puede hacer con Finder, Mail, iTunes, etc. ¿Alguna otra idea, terminal o cualquier otra cosa?