that's the "auto" option, but the comment is taking about adding buttons to switch between the themes too

That would be the media query; sort of a long-hand way. I learned about the color function for settings the vars from the article, never saw those in use before.