Changing font size/family in Venkman

Venkman's "Source Code" window is set to a really large default font
size setting (at least on Windows using Firefox). I'd like to change
the font size so I can squeeze more code into that window. Anyone know
how to do this?

I've read all the help docs from typing /help in the "Interactive
Session" tab but no luck getting the font size to change. I realize
there must be some stylesheet Venkman is using but cant seem to find
it.

Any help would be great! Thanks,

LS.