I think the second one is just a userChrome.css tweak? It’s in between the WebExtensions and the omni tweaks I’d say. userChrome tweaks can get you a long way

I think the second one is just a userChrome.css tweak? It’s in between the WebExtensions and the omni tweaks I’d say. userChrome tweaks can get you a long way – for example, I’ve reimplemented the Australis-like tabs (for the nostalgia sake, mostly) using that. Of course, the downside is those tweaks break with updates sometimes. If you’re wokring on a userChrome tweak, you might want to enable devtools for the browser UI itself: https://firefox-source-docs.mozilla.org/devtools-user/browser_toolbox/index.html https://firefox-source-docs.mozilla.org/devtools-user/browse...