Re: Changing font size/family in Venkman
Thom Rosario <[email protected]>
| Newsgroups | gmane.comp.mozilla.devel.jsdebugger |
|---|---|
| Organization | Another Netscape Collabra Server User |
| Message-ID | <[email protected]> |
In article <[email protected]>, 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? > 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. It did! Thank you :)