Thanks for the tip, tho they beget another question:
All of these customizations will get lost/overwritten when I upgrade the theme, no?
I’ve used other WordPress themes that had specific custom.css files where one puts all their customizations, and which never gets overwritten. Considered that segregation method?
