On Monday, July 20, 2020 at 9:36:00 AM UTC-7, David A. Wheeler wrote: > > On Mon, 20 Jul 2020 06:36:45 -0700 (PDT), Richard Penner < > [email protected] <javascript:>> wrote: > > I realize that linking to a file with an IMG element would at a minimum > > require changes to how the metamath,org site is built, but is inline SVG > > supported inside an <HTML> comment? > > Is there some reason it must be inline? It's quite possible to use img or > iframe > to bring in an external image in SVG. >
Inline would be nice because: - no separate file to manage and account for in the site build. - image is in set.mm comment which is the only existing organizational scheme for keeping it "close" to the subject matter. But that would likely corrupt the LaTeX presentation, so probably not in scope. -- You received this message because you are subscribed to the Google Groups "Metamath" 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/metamath/e6d98d21-7fc5-44f8-bea2-d63173832c47o%40googlegroups.com.
