Copy the file userChrome.css
to ~/.mozilla/firefox/YOURPROFILE/chrome
Replace YOURPROFILE with the right directory.
The directory chrome
might not exist, you should create it.
.devtools-monospace { | |
font-family: 'Source Code Pro' !important; | |
font-size: 12px !important; | |
} |