Je n'avais jamais remarqué qu'en modifiant la taille de police minimale* pour une valeur supérieure ou égale à 12, on agissait instantanément sur l'affichage de la page d'about:config de Firefox.

Remarques : Le changement du comportement par défaut du navigateur (polices de caractères, leurs différentes tailles, la couleur des liens, etc.) peut avoir de drôles d'incidences sur l'affichage des pages visitées. De nombreux développeurs Web (souvent soucieux de tout maîtriser du rendu de leur site dans tous les environnements) se reposent cependant, pour certains éléments de leur maquette, sur le comportement par défaut du navigateur. Ainsi, si on change la police de caractère par défaut du navigateur pour une plus exotique, on perturbe fortement le design harmonieux de nombreux sites (et vraiment pas que ceux édités par des amateurs). Leur développeur a présumé de l'utilisation par défaut de la police « Times New Roman ». Pourtant, même les navigateurs dont l'interface commence à dater permettent de modifier ces paramètres très aisément.

Si c'est assumé, c'est très bien de laisser le choix à l'utilisateur. Sinon, inutile de bichonner des sites aux petits oignons…

(*) Dans Firefox 1.5 pour Windows : menu Outils > Options… > onglet Contenu > cadre Polices et couleurs > bouton Avancé… > menu Taille de police minimale (OK 2 fois pour prise en compte).