17/02/2022, 00:13
(16/02/2022, 23:11)Andrea Ha scritto: @bobo:Ho dato per scontato che conoscessi il file userChrome.css, scusami...
digitando userChrome mi compare:
https://i.postimg.cc/qRHnmpy1/user-Chrome.png
come dovrei proseguire? (giusto per una ulteriore conoscenza)
L'userChrome.css è un file di configurazione in cui inserire comandi, come quello che ho postato, per personalizzare la grafica di Firefox, deve essere creato a mano nella cartella 'chrome' (se non esiste va creata a mano) dentro la cartella profilo di Firefox, e con le ultime versioni va attivata la sua funzionalità abilitando una voce dentro ad about:config, vedi questa pagina per sapere dove\come
Ci sono un bel po' di personalizzazioni che possono essere messe in questo file, basta cercare in rete, copiare i comandi dentro l'userchrome, riavviare FF, e vedere l'effetto che fa