Tim Van den Eynde

There is already [a PR open](https://github.com/Timvde/UserChrome-Tweaks/pull/3) that moves tabs to the bottom. A lot of discussion went in it already, maybe you can join the converation?

Ah, I was too quick in judging (and probably misread the title)! This doesn't move tabs to the bottom of the toolbar (like in Firefox 3), but to the bottom...

This looks, sadly enough, really broken on Windows 10 :( The tab bar at the bottom isn't high enough, and the entire title bar/window controls at the top is gone.

I can at least manually run this before merging to master, so this sounds like a good idea already. I try to manually enforce the same style, but I can...

@Madis0 By the way, a linting tool would only make sense for contributors, not for users. So a console tool would be fine imo.

While I was rebasing and merging your PR (I like a clean git history :) ), I wanted to rename your `auto-hide-sidebar-tst.css` to `auto-hide-sidebar.css` (because you stripped out the TST-specific...

Hmm, it doesn't look like your screenshot for me on Linux/KDE: https://i.imgur.com/OtAXLL0.png Do I need to also apply the "remove sidebar header" CSS maybe? (Since I don't see the header...

But it's not even because I'm using nested tabs, it's the top level tabs.

It's just that it doesn't match the screenshot you provided... How does it look in Windows/MacOS (whichever platform you're on)? Can I just add that line unconditionally?

Would you be okay with me adding the `margin-left: -12px` by default? I think it's significantly better. However, when hovering, I get a 12px white border at the right. I...