Benoit Rozel a écrit : >> 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.
~/.mozilla/firefox/xxx.xxx/chrome/userChrome.css
font-size: 14px !important;
---
,,,
( °> Peggy Kutyla
( / ) Linux Registered User 32848 >||<