Leo's website now uses an improved version of sphinx's classic theme. PR #4207 <https://github.com/leo-editor/leo-editor/pull/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, <https://github.com/leo-editor/leo-editor/issues/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 -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/leo-editor/64d55352-e26b-4b8a-9f5c-9efd015b01fen%40googlegroups.com.
