Avatar for Username

Search Support

Avoid support scams. We will never ask you to call or text a phone number or share personal information. Please report suspicious activity using the “Report Abuse” option.

Learn More

Hierdie gesprek is in die argief. Vra asseblief 'n nuwe vraag as jy hulp nodig het.

The font for Develop Tools won't change?

  • 3 antwoorde
  • 1 het hierdie probleem
  • 1 view
  • Laaste antwoord deur aram.anto

aram.anto
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?

Gekose oplossing

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

Lees dié antwoord in konteks 👍 0

All Replies (3)

TyDraniu
TyDraniu
  • Top 25 Contributor
more options

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

aram.anto
aram.anto Vraag-eienaar
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

aram.anto
aram.anto Vraag-eienaar
more options

Gekose oplossing

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