Open craftycorvid opened 5 years ago
I didn't merge this at first because there was some discussion, but now I merged https://github.com/Timvde/UserChrome-Tweaks/pull/145 without thinking about this open PR... Is that one good too?
Tested #145 against this and it has an issue where I am seeing tab names/buttons behind the address bar. This one on the other hand works perfectly. It just needs personal tweaking of a few numbers for the problem @Qwerty-Space has.
In my case I just had to change margin-top: -28px;
and margin-right: 110px;
.
Any chance those numbers can be generalized? Is this one still better with the wrong numbers? In that case, I'll revert the other one and merge this,
I think this one is fine tbh. I was just being a bit nitpicky. Most people probably won't notice.
I also don't have access to a Windows machine to test this on atm
Closes #143