Hilfe durchsuchen

Vorsicht vor Support-Betrug: Wir fordern Sie niemals auf, eine Telefonnummer anzurufen, eine SMS an eine Telefonnummer zu senden oder persönliche Daten preiszugeben. Bitte melden Sie verdächtige Aktivitäten über die Funktion „Missbrauch melden“.

Weitere Informationen

The font for Develop Tools won't change?

  • 3 Antworten
  • 1 hat dieses Problem
  • 1 Aufruf
  • Letzte Antwort von aram.anto

more options

I tried the solution given here: https://support.mozilla.org/en-US/questions/1198481

but doesn't work (mac os 10.15.14 and latest stable firefox)

any suggestions?

I tried the solution given here: https://support.mozilla.org/en-US/questions/1198481 but doesn't work (mac os 10.15.14 and latest stable firefox) any suggestions?

Ausgewählte Lösung

I found the solution by looking further on google, the file userContent.css has to be used instead of userChrome.css

http://forums.mozillazine.org/viewtopic.php?f=38&t=3058698&sid=1c834bc946bb6a78dc0f61c902418f05

Diese Antwort im Kontext lesen 👍 0

Alle Antworten (3)

more options

Did you change the pref toolkit.legacyUserProfileCustomizations.stylesheets to true in about:config?

more options

I did, my userChrome.css does work (I can change address bar layout for instance), but it doesn't have any effects in the developer tools layout.

I did some further research and this post does seem to shed some light, but have not solved the issue for me:

https://stackoverflow.com/a/60531229

more options

Ausgewählte Lösung

I found the solution by looking further on google, the file userContent.css has to be used instead of userChrome.css

http://forums.mozillazine.org/viewtopic.php?f=38&t=3058698&sid=1c834bc946bb6a78dc0f61c902418f05