In webstorm, the user interface (not code editor section) is a dark grey and the text in the tabs is a dark blue, making it really difficult to read. I haven't found where in the settings to change these colors. Anyone?