Vorsicht! Die prefs.js würde ich nur als ultima ratio anfassen,
... das ist korrekt, hätte aber erwähnen müssen diese Datei vorher zu sichern (eine Kopie zu erstellen).
Und der Inhalt der user.js muss dann so aussehen, der Kommentar mit /* */ ist optional.
user_pref("layout.css.devPixelsPerPx", "-1.0") /* Hier Beschreibung zufügen */