Correct.  I don't think themes will change too often but that's a good point. Do you think it would be better to sync everytime?