 Issue 740:  	 make it possible to increase JS command line fonts size  
 Issue 740:  	 make it possible to increase JS command line fonts size
 

http://code.google.com/p/fbug/source/detail?r=6564

firebug/tracing-console,firebug/tracing-console