Taille des caractères - menu gestionnaire des favoris

Bonjour,

Dans le menu gestionnaire des favoris, serait-t-il possible d'augmenter la taille des caractères pour une meilleure visibilité.

Cordialement,