how 2 change font size OF chromedit?
i use the chromedit extension w/ firefox 106 on osx 10.4.2.
i can readily/easily change font size of just about any element i wish -- between preferences and prefs.js -- but how does one change the font type/size used IN the chromedit display windows?
it seems to be impervious to any/all changes i've tried ... except for one.
if font rez is set at 72 dpi, the chromedit editor window displays in unreadably small type.
if i change to font rez 96 dpi, it's better ... but still a bit small for these ol' eyes.
any suggestions as to if/how one changes the font used BY the editor?