Your comments

No, the ui should be designed as such that it works with all color schemes. Not being able to use my color scheme of choice is not a solution to the problem.
This is mostly only a problem with the Monokai color scheme. With other themes it is more obvious. This may be the reason for differences in opinion.

With that said, I don't think I should have to edit the color of the button myself. The default shading for the tabs is unusable. I think it's poor design if everyone who uses the Monokai theme needs to change the colors themselves.