Skip to content

Instantly share code, notes, and snippets.

@Papapashu
Last active November 25, 2015 14:32
Show Gist options
  • Save Papapashu/dfb9e4f393ea10ffd79b to your computer and use it in GitHub Desktop.
Save Papapashu/dfb9e4f393ea10ffd79b to your computer and use it in GitHub Desktop.
firefox-devtools-font-size
@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document regexp("chrome://browser/content/devtools/**/.*"){
.devtools-monospace {
font-size: 12pt!important;
}
}
@Papapashu
Copy link
Author

UNIX - path file: /.mozilla/firefox/your_firefox_profile/chrome/userChrome.css //create folder 'chrome'
WIN - %APPDATA%\Mozilla\Firefox\Profiles\your_firefox_profile\chrome\userChrome.css //create folder 'chrome'

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