Graphics in set.mm comments

64 views
Skip to first unread message

Richard Penner

unread,
Jul 20, 2020, 9:36:45 AM7/20/20
to Metamath
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.

David A. Wheeler

unread,
Jul 20, 2020, 12:36:00 PM7/20/20
to metamath
On Mon, 20 Jul 2020 06:36:45 -0700 (PDT), Richard Penner <richar...@gmail.com> 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.

--- David A. Wheeler

Thierry Arnoux

unread,
Jul 20, 2020, 1:30:46 PM7/20/20
to meta...@googlegroups.com
FYI, the page showing the hierarchy of topological structures uses SVG images (linked, not inlined)



Le 21 juil. 2020 à 00:36, David A. Wheeler <dwhe...@dwheeler.com> a écrit :

--
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 metamath+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1jxYlj-0004Is-5F%40rmmprod06.runbox.

Richard Penner

unread,
Jul 21, 2020, 6:38:11 AM7/21/20
to Metamath
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.
 
Reply all
Reply to author
Forward
0 new messages