Re: Changing font size/family in Venkman

Thanks for this workaround ;-)

But there is a little problem:
It seems the key pref works with an Internet URL like:

"/pref services.source.css http://my_domain.com/my_css.css"

but the key doesn't work with a local windows URL like:

"/pref services.source.css file:///c:/my_css.css"
or
"/pref services.source.css c:\my_css.css"

And in this case the javascript console shows a security error...


Could you help me?

Alain.

James Ross wrote:
> 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.
>