[Sujeto]

Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it.