I think that every decent WordPress developer knows that the best way to modify a WordPress theme you don’t own is by creating a child theme, where you create a new style.css where you specify in its header comments which existing theme you are applying changes to. Funny thing is that for a long time…