Personnalisation graphique de Firefox

Firefox est très personnalisable, et j'en profite afin de donner la meilleure expérience utilisateur. Ce tutoriel est basé sur la version 128 de Firefox pour ordinateur de bureau.

Voici Firefox avant ma personnalisation (Captures d'écran de Firefox v93 sous Linux Mint Mate 20.1) :

J'ouvre le « Menu » (le menu hamburger ☰), puis « Outils supplémentaires » et puis « Personnaliser la barre d'outils ». Et à partir d'ici je personnalise l'interface comme je la veux :

Ensuite, je valide, puis je continue :

J'affiche la barre personnelle en faisant un clic droit sur la barre de titre, en allant dans « Barre personnelle » et en choisissant « Toujours afficher ».
Je supprime les marque-pages déjà existants.

Et ça donne une interface très épurée :

Pour certaines personnes pas très à l'aise avec l'informatique, j'ai remarqué qu'en fait il vaut mieux leur laisser la possibilité d'avoir une barre d'adresse, et une barre de recherche par mot-clés. Il vaut aussi mieux leur laisser la barre de titre, ce qui permet à Firefox de plus ressembler aux autres logiciels, pour les personnes ayant du mal avec le système de fenêtres.

Personnalisation avancée

Diminuer la taille des onglets

Depuis la version 89 la barre des onglets a grossit et il n’y a plus que deux densités de disponibles : la densité normale et la densité tactile, la densité compacte a disparu.

Il faut aller dans la page about:config (voici une explication du fonctionnement de cette page de configuration avancée () et mettre la clé browser.uidensity à la valeur 1 pour que la barre de titre retrouve sa taille d'avant et que les onglets diminuent de taille. Vous gardez les nouvelles icônes, couleurs et formes de la nouvelle interface. Voici le résultat :

Si vous mettez la valeur 2 vous aurez activé le mode « tactile », qui est aussi disponible depuis l'interface graphique.

J'ai découvert ces astuces sur la Fédiverse : https://framapiaf.org/@Drulac/106068983879175317

Autres

D'autres petites personnalisations à faire dans la page about:config :

Configuration voulue	Manipulation à faire	Clé
Changer le type de soulignement	Créer la clé de type `nombre`. Je l'ai mise à 1 personnellement.	`ui.SpellCheckerUnderlineStyle`
Activer la personnalisation CSS	Passer la clé à true	`toolkit.legacyUserProfileCustomizations.stylesheets`

Modifier Firefox en CSS

Firefox est le meilleur navigateur Web notamment parce qu'on peut personnaliser son interface en CSS ❤

Pour ça, il faut créer un fichier userChrome.css dans le répertoire chrome placé à la racine du répertoire de votre profil actuel et activer une clé (chapitre précédent).

Remettre le cadenas 🔒 de l'HTTPS en vert

Pas hyper utile en tout cas

/* Ajoute la couleur verte au cadenas sur la version de Firefox 100 */
#identity-icon {
    fill: #00ff00 !important;
}

J'ai trouvé certaines astuces ici :

https://www.howtogeek.com/334716/how-to-customize-firefoxs-user-interface-with-userchrome.css/

Table des matières