Bonjour,
En suivant les explications de pustelnik, j'ai téléchargé tout ce qu'il faut, inséré le tout dans le dossier chrome de mon profil, et mis en œuvre la ligne 334 de userChrome.css. Ô joie, la barre d'onglet se retrouve en dessous de toutes les autres (barre de menus, barre d'outils, barre personnelle) ! Au passage, j'ai perdu un certain nombre de customisations de cette barre d'onglets, mais au final je préfère en rester au standard proposé.
En revanche, la barre d'outils a elle aussi changé. C'est sans grande importance, sauf que l'icône Menu (trois barres horizontales), qui était complètement à droite, a disparu. Troublant. Mais on retrouve le menu en cliquant sur Firefox (tout en haut, à gauche dans la barre de menus). On s'y fera...
Dernier point, je peux afficher 45 icônes (au lieu de 41 auparavant) dans la barre personnelle. C'est tout bénéf...