The font for Develop Tools won't change?
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?
Ọ̀nà àbáyọ tí a yàn
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
Ka ìdáhùn ni ìṣètò kíkà 👍 0All Replies (3)
Did you change the pref toolkit.legacyUserProfileCustomizations.stylesheets to true in about:config?
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:
Ọ̀nà àbáyọ Tí a Yàn
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