Bonjour iBenny,
Je n'ai pas la réponse à cette question.
Ce que je peux ajouter, c'est qu'il n'est pas pertinent de bidouiller directement dans un profil Firefox. Ces modifications risquées seraient à reporter dans chaque nouvelle version du navigateur (et on en a plusieurs par mois).
Néanmoins, Mozilla permet justement de personnaliser l'affichage de Firefox grâce au fichier userChrome.css qui, certes, a parfois besoin d'être adapté à une nouvelle version majeure du navigateur. Ceci dit, j'en suis à la version 4.6.9 du projet Aris-t2, alors que sur Github on en est à la 4.7.5.
De plus, si tu regardes en bas de userChrome.css, il se termine par l'instruction @import "./my_userChrome.css" qui te permet donc d'ajouter dans le dossier Chrome des compléments personnels de feuille de style, dans un fichier my_userChrome.css. On ne peut pas faire plus clair ni plus souple...
Tu pourrais donc installer le projet Github tel quel (donc avec plein de possibilités latentes de personnalisation), et ajouter dans le dossier Chrome le fichier my_userChrome.css contenant tes modifications personnelles.