Voici un topic référençant divers sujets concernant la personnalisation de l'interface de Firefox 65 et supérieurs (jusqu'à quand ? )
Depuis FF65, certaines anciennes astuces de personnalisation ne marchent plus comme avant : Firefox 57 (et suivants)+ modifs possibles sans extension + Sécurisation (par Mintalo) (certaines fonctionnent encore mais pas toutes) ...
──────────────────────────────
Liste des sujets (qui sera actualisée si nouveaux sujets concernant la personnalisation de Firefox) :
- Comment mettre les onglets sous la barre d'adresse dans Firefox 65 (par L5d)
- Firefox 65 : onglets en position basse (par Yvance77) -méthode différente de celle de L5d
- Augmenter la police menu de Firefox (par jokaru)
- Augmenter la police liste déroulante de Firefox (par jokaru)
- Ajuster la taille des icones dans la barre d'outils (par philosophedesetoiles)
Un autre sujet qui n'est pas de la “customisation” d'interface mais qui est un grand classique : Ajouter Google à Firefox.
──────────────────────────────
Je rappelle que ces personnalisations se font (pour la plupart) à l'aide d'une feuille de style CSS.
Le fichier «userChrome.css» à créer dans le répertoire «chrome» de votre profil Firefox :
«~/.mozilla/firefox/xxxxxxxx.default/chrome/userChrome.css» comme expliqué ici par Alain.
──────────────────────────────
Pas d'aide ici ... si vous avez une question sur une nouvelle personnalisation, ouvrez un nouveau sujet.
Si intéressant, je référencerai le sujet ici ensuite.