The highlighting color has been fixed.

Yes, the theme selector that appears on every page doesn't always seem to work. It's always been like that and we were never sure quite why...