Git hub seems to have added them to the current outstanding PR. I couldn't see a way to create a new one just for these new themes.
On Wednesday, March 30, 2022 at 10:30:29 AM UTC-4 Edward K. Ream wrote: > On Tue, Mar 29, 2022 at 11:03 AM [email protected] <[email protected]> > wrote: > >> >> I came to realize that there should be an overall css selector that >> applied the basics to all elements. >> > > Excellent. Please create a PR. > > 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 on the web visit https://groups.google.com/d/msgid/leo-editor/41a0de6f-4dd3-4340-8646-0be4572f716dn%40googlegroups.com.
