How to change web develop tools font and size?

Developer Tools
1

HI

How to change web develop tools font and size ?

my setting is :
about:config toolkit.legacyUserProfileCustomizations.stylesheets = true

chrome/userChrome.css

@namespace url("http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul");

@-moz-document url-prefix("chrome://devtools/") {
    .CodeMirror {
        font-family: "Ubuntu Mono", monospace !important;
        font-size: 15pt !important;
    }
}

It doesn’t work for firefox 136

2

We don’t support changing the font.
You can increase the font-size using Ctrl++ (and decrease with Ctrl+-) when the DevTools toolbox is focused