Firefox User CSS (for font-*)

userChrome.css

/*
 * Firefox User CSS
 * deploy to ~/.mozilla/firefox/<PROFILE_NAME>/chrome/
 * @author      noromanba
 * @version     2018.4.1.0
 * https://www-archive.mozilla.org/unix/customizing.html#usercss
 */

/*
 * Devtools font-size
 * - [ ] "Debugger" tab
 * - [x] other tabs
 * https://bugzilla.mozilla.org/show_bug.cgi?id=900173
 * https://stackoverflow.com/questions/27273389/increase-code-font-size-in-firefox-developer-tool#39772227
 */
.devtools-monospace {
  font-size: 14px !important;
}

/*
 * Scratchpad font-size
 * - [ ] "Console" tab
 * - [ ] "Debugger" tab
 * - [x] other tabs
 * - [x] Scratchpad; Shift + F4
 * http://blog.ngsw.jp/blog/2014/03/18/firefox_-_dom_inspector.html
 * https://stackoverflow.com/questions/27273389/increase-code-font-size-in-firefox-developer-tool#27300560
*/
.CodeMirror {
  font-size: 14px !important;
}

/*
 * Devtools "Debugger" tab font-size
 * - [ ] "Console" tab
 * - [ ] Browser Console; Ctrl + Shift + J
 * - [x] other tabs
 * - [x] Scratchpad; Shift + F4
 * https://support.mozilla.org/en-US/questions/1198481#answer-1061007
 * https://support.mozilla.org/en-US/questions/1198481#answer-1087428
 * https://support.mozilla.org/en-US/questions/1198481#answer-1087434
 * https://stackoverflow.com/questions/27273389/increase-code-font-size-in-firefox-developer-tool#49522804
*/
@-moz-document url-prefix(chrome://devtools/content/) {
  body, .CodeMirror-line {
/*  * { */
    font-size: 14px !important;
  }
}

/* OBSOLETE
 * Devtools font-size
 * https://askubuntu.com/questions/426326/how-to-change-firefox-debugger-font-size

@namespace url(http://www.w3.org/1999/xhtml);
@-moz-document regexp("chrome://browser/content/devtools/.*") {
* { font-size: 14px !important; }
}
*/