[TheCleric]

> should be trivial

and

> with a CSS rule or two in userChrome.css.

Are firmly at odds. Over 99% of users will not have the ability or the desire to do this. Heck, I know exactly what you mean and how to do it, and I would never do it as it's a pain in the butt. I don't use a browser to mess around with its "conf" files. Either it does what I want or I can change it without leaving the app. Everything else is onerous.