hi all,

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?

thx!

richard