The server-side (PHP) and client-side (JS) approaches to switching between stylesheets.
Clone the repo and run php -S localhost:8000 inside it. Then visit localhost:8000/index.php and localhost:8000/index.html to see the server and client side solutions, respectively.