Adjust Firefox devtools font size etcpp

• Published: 2024-12-01 22:40
• Updated: 2024-12-01 22:46

What a ‘pain in the butt’-relief:

Adjust Firefox DevTools font family, size and line-height, using this custom userContent.css (goes in your FF profile folder/chrome/):

/* https://searchfox.org/mozilla-release/source/devtools/client/themes/variables.css */

@-moz-document url-prefix(chrome://devtools/content/) { .devtools-monospace {
    --theme-code-font-size: 13px;
    font-family: 'Fira Code' !important;
    font-size: 13px !important;
    line-height:1.5;
    }
}