Avatar for Username

Mozilla サポートの検索

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

このスレッドはアーカイブに保管されました。 必要であれば新たに質問してください。

The font for Develop Tools won't change?

  • 3 件の返信
  • 1 人がこの問題に困っています
  • 14 回表示
  • 最後の返信者: 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?

選ばれた解決策

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

この回答をすべて読む 👍 0

すべての返信 (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 質問者
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 質問者
more options

選ばれた解決策

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