Join us and the lead editor of IRL, Mozilla's multi-award-winning podcast, for a behind-the-scenes look at the pod and to contribute your ideas for the next season, themed: "AI and ME." Mark your calendar and join our Community Call on Wednesday, Aug 7, 17:00–17:45 UTC. See you there!

Avatar for Username

Etsi tuesta

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.

Lue lisää

Ketju on arkistoitu. Esitä kysymys, jos tarvitset apua.

The font for Develop Tools won't change?

  • 3 vastausta
  • 1 henkilöllä on sama ongelma
  • 1 näyttö
  • Viimeisin kirjoittaja 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?

Valittu ratkaisu

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

Lue tämä vastaus kontekstissaan 👍 0

Kaikki vastaukset (3)

TyDraniu
TyDraniu
  • Top 10 Contributor
more options

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

aram.anto
aram.anto Kysymyksen kysyjä
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 Kysymyksen kysyjä
more options

Valittu ratkaisu

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