This has been tremendously helpful, thanks! For future reference, if I should change themes (and might forget that I have added this custom code under styles), would you remember which of the stylesheets in plugin editor I could also add this code to manually?