On Wednesday, February 15, 2023 at 7:11:19 AM UTC-6 Edward K. Ream wrote: I suspect that adding a node @font rest fonts will suffice.
I should have said: add this node to myLeoSettings.leo. Please report your experiences. It will be worthwhile to document this capability. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/293bd6cf-0130-42f3-bfa7-93e6d628655an%40googlegroups.com.