Skip to content

Instantly share code, notes, and snippets.

@vbsessa

vbsessa/firefox-devtools.md

Last active December 10, 2023 09:10
Show Gist options
  • Star 5 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save vbsessa/6150f39d1e92699e9c2f49e58fcbcc03 to your computer and use it in GitHub Desktop.
Save vbsessa/6150f39d1e92699e9c2f49e58fcbcc03 to your computer and use it in GitHub Desktop.
Download ZIP
How to customize Firefox devtools fonts
Raw
firefox-devtools.md

  1. Open ~/.mozilla/firefox/<your_profile>/chrome/userContent.css (create it if does not exist).

  2. Paste the following content in it.

     @namespace url(http://www.w3.org/1999/xhtml);
 @-moz-document regexp("chrome://browser/content/devtools/**/.*"){
     .devtools-monospace {
         font-family: Consolas, monospace !important;
         font-size: 8pt !important;
     }
 }

  3. Restart Firefox.

@aleclarson
Copy link

aleclarson commented Nov 5, 2022 •
edited

I recommend perusing this link if you're having troubles:
https://www.userchrome.org/how-create-userchrome-css.html

And as @jgentil said, replace userChrome.css with userContent.css for devtools customization.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment