Hacker News new | ask | show | jobs
by bigpapikite 1025 days ago
Been using this as my userChrome.css:

https://gist.github.com/BrianGilbert/1ad7e3931406f485a86a35a...

1 comments

Thanks. Surprised there isn't an extension to allow toggling on/off.
Could just be an about:config flag, that would be better than having to apply userChrome.css on every profile where you need it.
Mozilla seems to see potential for abuse with this, which is why they are not offering an API for this.
I think it is because firefox wants to keep the same extention api with chrome.
Regretfully Mozilla hasn't gotten around to providing the API for that.