Important Notice: We're experiencing email notification issues. If you've posted a question in the community forums recently, please check your profile manually for responses while we're working to fix this.

On Monday the 3rd of March, around 5pm UTC (9am PT) users may experience a brief period of downtime while one of our underlying services is under maintenance.

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

This thread was archived. Please ask a new question if you need help.

The font for Develop Tools won't change?

  • 3 replies
  • 1 has this problem
  • 2 views
  • Last reply by 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?

Chosen solution

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

Read this answer in context 👍 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 Question owner
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 Question owner
more options

Chosen Solution

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