Thanks for the reply. Very helpful. I will look at making this an option for users. As an aside, I wish there was a way to fork a theme and just make a slight modification rather than having to copy changes to the CSS across themes to maintain some minor theming difference like the code you supplied above. It would be nice if the initial fork could stay synced with the parent theme and any minor changes could be auto-merged into any changes in the parent, etc.
Here’s what one of the users posted on my forum:
