PR #4207 fixes an ancient bug that locked Leo's website into an ancient version of sphinx's classic theme. Fixing this bug:
- Allows Leo's website to use the latest version of sphinx's classic theme.
- Fixes a potential security vulnerability: the updated files include javascript files!
As described in #4179, I had wanted to allow people to switch between light and dark themes on Leo's website. But that no longer seems necessary. For me, the new look perfectly balances the light and dark visual elements.
Please let me know what you think.
Edward