Modifier la police de caractères et sa taille de Firefox et Thunderbird
L’interface des applications Mozilla est hautement adaptable en utilisant de simples règles CSS, mais il faut pour cela modifier (ou créer) un fichier du profil (voir ainsi comment modifier la taille de la police de caractères de la barre d’adresse de Firefox). Comme il est possible de modifier la police de caractères d’une page Web dans Firefox, une extension permet de la changer pour Firefox mais aussi pour l’interface de Thunderbird (MÀJ du 15 janvier 2010 : et SeaMonkey depuis la version 0.6). Elle permet aussi d’augmenter et de diminuer la taille de la police. Il s’agit de Theme Font & Size Changer.
Cette extension est l’œuvre de Baris Derin mais aussi de l’Access Firefox Project tant cette extension peut être utile aux internautes ayant des problèmes de vue. Mais ce ne sont pas les seules personnes concernées par l’augmentation ou la diminution de la taille de la police de l’interface. Les internautes ayant un écran large pourront aussi trouver leur bonheur comme tous ceux qui veulent adapter la taille de la police à la résolution de leur moniteur. L’extension change la police et sa taille instantanément. Attention si vous choisissez une police illisible.
L’extension est ainsi présentée sur AMO (j’ai inséré les images de la galerie présente sur le site) :
Theme Font & Size Changer est un outil de navigateur simple qui vous permet de modifier la taille de la police de caractère et la famille de la police de Firefox. C’est un outil de grande valeur pour les personnes ayant une déficience visuelle et les utilisateurs d’écran large.
Il y a quatre endroits d’où vous pouvez gérer la taille de la police et la famille de police de Firefox via Theme Font & Size Changer. L’icône de barre d’état, le bouton de barre d’outils, l’option du menu Outils et la boîte de dialogue d’Options de l’extension. Toutes les modifications de la taille et de la famille de la police sont immédiatement appliquées et elles sont sauvegardées de façon permanente et durant les sessions.
Différent des extensions qui permettent d’agrandir et de réduire le texte des pages Web, Theme Font & Size Changer modifie la taille et la famille de police dans toutes les fenêtres, menus, barres d’outils, etc. au sein de Firefox lui-même.
Il a été initialement créé pour être une aide à l’accessibilité pour les personnes ayant une déficience visuelle et pour ceux qui n’ont pas une vue parfaite, mais il est également utile pour les utilisateurs de Firefox avec des configurations de moniteur à forte résolution et des écrans larges.
crédit Baris Derin sur addons.mozilla.org
Kempelton Large avec police et taille de police personnalisées
Bien que Theme Font & Size Changer ait été écrit pour être utilisé avec le thème par défaut de Firefox, il fonctionne avec d’autres thèmes, mais vous pouvez tomber sur des problèmes où certains éléments au sein de Firefox conserve le paramétrage de taille de la police (autre que par défaut) que le développeur du thème a choisi pour son thème.
Il y a 4 façons d’accéder au panneau de configuration de Theme Font & Size Changer :
- Le bouton de barre d’outils (en option, pas appliqué par défaut)
- Le bouton de la barre d’état (clic droit ou gauche)
- Outils > Theme Font Size Changer
- Outils > Modules complémentaires > Theme Font & Size Changer > Options
Dans le panneau de configuration de Theme Font & Size Changer, la section Font fournit les polices de caractères actuellement installées sur votre système d’exploitation. Avec cette option activée, vous pourrez réajuster la famille de police de votre thème de Firefox.
Dans la section Size, il suffit de sélectionner une valeur de taille de police (de 6 à 80 pixels) et les modifications seront appliquées instantanément et globalement.
crédit Baris Derin sur addons.mozilla.org
Aeon Clouds avec police et taille de police personnalisées
Une valeur Normal (valeur par défaut) est également prévue ainsi qu’un indicateur à côté du paramètre de taille et de famille de police actuellement appliquées de sorte que vous pouvez réinitialiser les valeurs par défaut de Firefox.
crédit Baris Derin sur addons.mozilla.org
Past Modern avec police et taille de police personnalisées
Voir la suite de la page pour les problèmes connus et la compatibilité des thèmes qui ne sont pas par défaut. Il est à noter qu’aucun problème n’a été relevé avec les personas (thèmes légers).
Sources et références
- AMO :
- Theme Font & Size Changer : Module pour Firefox de Baris Derin et Access Firefox Project
- Theme Font & Size Changer : Module pour Thunderbird
- Theme Font & Size Changer : Module pour SeaMonkey
- Baris Derin : Theme Font & Size Changer