An alternative would be keeping theme state in JS as suggested at the end of the article which improves the cache-ability of the css file as themes change.