It would be easy to have a companion script that eliminates the font-changing behavior. If people say they want it, I'll work one up and post it.
On Tuesday, March 28, 2023 at 10:45:14 AM UTC-4 Thomas Passin wrote: Nearly all Leo themes use a monospaced typeface for the body font. This is what you want for programming, but for documentation and other non-code writing, many people would prefer a non-monospaced font. Some might event wish for a serif style typeface. The attached script installs a global script that changes the font for nodes that use an @language directive of rest, md, asciidoc, text, or plain . -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/19748bd1-81f8-4a99-970f-4de75481ad15n%40googlegroups.com.
