Wenn es in der user.js steht, funktioniert die Erweiterung nicht, da die Einstellungen in der prefs.js gespeichert werden, die ja von der user.js überschrieben wird. Also erst die Einträge aus der user.js löschen und dann benutzen! Die vorher gemachten Einstellungen müssten dabei in der prefs.js erhalten bleiben.
Die Einträge in der userChrome.css können so stehen bleiben, wie sie sind.