As the title, I want to change color of active tab to make it to be more different from other. I went through https://devnet.jetbrains.com/thread/274446 but it's not enough! Is there any way to do...