Dynamically switching (preloaded) themes in Antd

See ant-design/ant-design-dark-theme#8 (comment) and following comments

How to build

Run the usual npm install followed by npm run dev commands. The dev server will use the port 3000 by default as defined in the webpack configuration (grepwebpack.config.js for the variable devPort).

How to switch themes

Simply select one of the preconfigured themes in the select, as shown in the screenshots below: