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?
Since we appear to be standardized on HTML4, I don't know if the page checking software would play nice with inline svg, which use to be complicated to add to a page "correctly" but is now a pretty standard part of HTML5. If graphics are useful for a subject, I guess an alternative is to make a metamath-aware template HTML file and after it looks good commit it for eventual appearance on the metamath.org site. -- 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/9f4d5f34-d182-4817-9ec6-41efcf8b2fcao%40googlegroups.com.
