Re: change font size for source view

Colby Russell <[email protected]> Mon, 08 Feb 2010 17:10:23 -0600
Newsgroups gmane.comp.mozilla.devel.jsdebugger
Message-ID <[email protected]>
On 02/07/2010 03:31 PM, anatoly techtonik wrote:
> How to change font size for source view?

body#venkman-session-body .msg {
   font-size: 1em !important;
}

in chrome/userContent.css in your profile directory. Assuming you have 
your font preferences set to the size you want them at. If it's not, 
then go change it, and encourage any website owners pulling this kind of 
stuff:

body { font-size: 62.5%; }

to knock it off.

-- 
Colby Russell