*> Terry wrote:* *> The `@settings` node is the parent, or container, of all the other * *> "settings" nodes, so the structure needs to be, with headline text * *> only, body text is irrelevant here: * *>* *> @settings *
*> @font-family = DejaVu Sans Mono * *> i.e. the @font-family node is a child node of the @settings node. * Terry, I changed my leo file exactly as you described but still no change. Thanks for pointing out that leo supports one body text font throughout the entire outline. Now I understand why Edward referred to the richtext plugin. I'll leave the richtext plugin alone until I manage to get this font control working. Just to confirm from the Basics of Leo>Configuring Leo *Leo has a flexible (perhaps too flexible) configuration system. It’s best to use this flexibility in a restricted way as follows:...2. The file ~/myLeoSettings.leo contains your personal settings. Leo will not create this file automatically: you should create it yourself. Settings in myLeoSettings.leo override (or add to) the default settings in leoSettings.leo.3. Any other .leo file may also contain local settings. Local settings apply only to that file and override all other settings. It’s best to use local settings sparingly.* Therefore the @settings node in my local leo file should drive the font displayed? I'll persevere... Thanks Lewis -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
