@ekr:  "I suspect that adding a node @font rest fonts will suffice."

I must be missing the magic way to do this, because none of these changed 
the font for *@language rest* nodes.  I've tried:

headline: @font rest
body: font-family = Georgia

headline: @font rest
body: font-family: Georgia

headline: @font rest
body: rest_font_family = Georgia

headline: @font rest font-family: Georgia

headline: @font rest Georgia

headline: @font rest = font-family: Georgia

headline: @font rest = Georgia


-- 
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 on the web visit 
https://groups.google.com/d/msgid/leo-editor/2c9a10d9-57f4-4bce-adf0-8154111d3fb1n%40googlegroups.com.

Reply via email to