It has been brought up in the past about making the tool tips theme specific, not global. Well, I just did that. To not "break" anything, Style[0] is removed from useroptions.js and a new file, Themes/-theme-/wpi_style.js, is created with just that variable. This file is then loaded seperately.

This will be released in 5.4. The first time you run it, go to Options wizard, it will say the new file is not found, and it will save it and remove the entry from useroptions.js. Everytime you switch themes it will do it. So it will update itself.

Thank you mritter! This is very good, I think.