Vous utilisez un navigateur non à jour ou ancien. Il ne peut pas afficher ce site ou d'autres sites correctement. Vous devez le mettre à jour ou utiliser un navigateur alternatif.
Pas forcément, il faudrait modifier la police (par exemple Lucida Grande) en lui attribuant une taille plus importante qu'habituellement en lui donnant un ou plusieurs point(s) supplémentaire en grandeur.
Du genre tu l'agrandis en 14 et tu le nommes en 13.
Pour les modifications de polices, on peut utiliser diverses applications. TinkerTool permet de le faire sur certains éléments. Pour aller plus loin, il y a Silk.
Modifier une fonte système ?! C'est une .dfont ! Pas du tout un format clairement défini. À ma connaissance, il n'y a que Apple qui soit producteur de .dfont
Plus facile, peut-être, prendre une autre Lucida (ou n'importe quoi d'autre) et la modifier, mais la générer en .ttf ou .otf, ce qui n'est pas simple tout de même, puis la désigner comme fonte pour les menu. Je ne sais pas avec quoi. Ça me semblait plus simple sous Mac OS 9.