Remettre la barre d'onglets de Firefox à la bonne place

Quelques mises à jour après avoir installé Ubuntu Mate 20.04, voilà que VLAN! c'est reparti, une des mises à jour de firefox a fait remonter la barre d'onglets au dessus de la barre d'adresse et de la barre personnelle. Cette configuration étant vraiment inconfortable, il faut donc recommencer le bricolage nécessaire pour la redescendre à sa place naturelle.

Cela implique de remplacer le userChrome.css par une version adaptée aux versions récentes de FF MAIS, cette fois, cela ne suffit plus : il faut aussi modifier un paramètre de configuration. Voyons ces deux étapes avec plus de détails.

1. UserChrome.css

Heureusement, de bonnes âmes savantes et compatissantes ont mis à disposition sur le net un nouveau fichier de styles qui fait le job, recopié ici par commodité : userChrome.css.

Il faut copier ce fichier à l'emplacement (caché) suivant :
/home/[utilisateur]/.mozilla/firefox/[suite alphanumérique].default/chrome/userChrome.css
où [utilisateur] est le nom de l'utilisateur et [suite alphanumérique] est un "mot" combinant des chifres et des lettres dépendant de chaque installation de Firefox.

Au besoin, s'il n'existe pas, créer le sous-répertoire chrome.

2. Configuration

Outre le changement du fichier userChrome.css, il faut aussi indiquer au navigateur de prendre en compte ce fichier. Pour cela indiquer dans la barre d'adresse la mention about:config, accepter le risque de modifier la configuration et rechercher le paramètre :
toolkit.legacyUserProfileCustomizations.stylesheets.
S'il vaut "false", double-cliquer dessus pour le passer à "true" : about config: stylesheets OK et fermer l'onglet de configuration sans plus de cérémonies. Fermer Firefox et le relancer pour prendre en compte les modifications.

3. Bilan

L'auteur de cette page avoue ne pas comprendre tout le fichier de styles mais confirme qu'il fonctionne avec la version de Firefox installée sur sa machine :
Bas les onglets !