Il problema di rilevazione di una piattaforma sbagliata su questo forum l'ho risolto, e credo sia risolto anche quando scarico estensioni dal sito mozilla..ma per ora ho prvato solo con due.
Sulle dimensioni dei pulsanti che volevo cambiare credo ci siano conflitti o con 'stratiform' o/anche con 'theme font e size charger'...e forse qualcos'altro
...sto facendo delle prove per vedere se riesco a metterli tutti d'accordo.
Mi piace molto la possibilità di personalizzare la dimensione e il tipo dei font che da 'theme changer' (per vedere meglio i caratteri dell'interfaccia, e non solo delle pagine visitate)...possibilità che però ne 'stratiform' ne 'classic toolbar buttons' danno, e viceversa.
CI vorrebbe una mega estensione, ancor meglio integrata in firefox, in grado di far fare in modo semplice all'utente medio, e da un unica interfaccia, tutte queste personalizzazioni