Hacker News new | ask | show | jobs
by infogulch 3138 days ago
> 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.