Re: Polices Firefox

> Savez-vous où on modifie la taille des polices de Firefox ? Je parle
> de celles utilisées pour les menus, pas dans la page web...

Sans en être certain, je dirai que Firefox utilise les polices de gtk
donc modification dans ~/.gtkrc-2.0 où grace à l'utilitaire fourni par
Gnome ou Xfce si tu utilise un des 2.

À tester pour vérifier.
--
Benoit