modificare il font della barra in alto

ciao a tutti, qualcuno sa se esiste un modo per ridurre la dimensione dei font nella barra in alto??

grazie :)

in mac os X non è una funzione prevista. ovviamente se cambi la risoluzione del monitor cambia anche la dimensione... ci sono utility che cambiano l'aspetto (sicuramente il tipo di carattere), ma te le sconsiglio.

ho già sfruttato tutti i pixel che ho a disposizione :cry:
queste utility possono creare instabilità nel sistema??