I may have missed something, but nothing I could find on Google seems to
I would like to increase the font size in the Command Editor, but not
elsewhere. In fact, increasing the font size seems to apply to everything
except the Command Editor.
Apart from preferring a larger size, I also use Firebug for teaching, and
it would be much easier for the students to see what I’m doing.
I have tried, and failed, on the current Firefox, latest Firebug and Mac
OSX as well as Win 7 & XP.