Re: Changing font size/family in Venkman

LS wrote:
> 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.

The key is in the prefs. Someone I know wanted to change the sizes a 
while back, so I did up a simple page explaining how to apply any CSS to 
the source code view, and the interactive view.

http://silver.warwickcompsoc.co.uk/mozilla/venkman/styling

Hope that helps.

-- 
James Ross <[email protected]>
ChatZilla Developer