Tim Van den Eynde
Tim Van den Eynde
That makes the sidebar un-hovered actually smaller. I think I managed to get what I want with these rules: ```css #sidebar { margin-left: -12px !important; } #sidebar:hover { margin-left: 0px...
This *is* the specific -tst style, and the changes are not to tst's own code. So is it okay for you to merge with the two styles I mentioned in...
I'm first merging in some other styles, then fix everything in one go. That's probably less work than updating all the branches at once. The namespace should be irrelevant when...
Sorry for taking so long to get back to you. I get the problem, but isn't the sound icon inconsistently on the right and the left then? I'm not sure...
I would very much welcome a pull request :)
This only seems to work with titlebar enabled, which is fair enough. Could you add that as a comment? Furthermore, could you please update your code to adhere to the...
@andreicristianpetcu: that was your style, wasn't it?
Would it work to put a delay of maybe one second before the bookmarks toolbar appears?
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?
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,