Re: Changing font size/family in Venkman

Awesome. Worked like a charm. Thank you very much!

On 8/4/05, James Ross <[email protected]> wrote:
> 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
> _______________________________________________
> mozilla-jsdebugger mailing list
> [email protected]
> http://mail.mozilla.org/listinfo/mozilla-jsdebugger
>