[infogulch]

> If only an extension could change userChrome.css! That would solve many people's problems.

This! Even if extensions were very restricted to only toggle pre-defined css rules or something, this could go a long way.