Page Publishing CSS

So this means I have to duplicate the CSS in all the dozen of so themes I have, that users can choose?