id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4110	Source mode font size	Artur Formella		"Source mode font size is different in Opera and Chrome. 

See the screenshot."	Bug	closed	Normal		UI : Source View		wontfix