On Wednesday, December 20, 2017 at 5:17:04 PM UTC+1, Frédéric Chapoton wrote: > > Here is the original svg file, to be looked at in a browser. > > There is a font issue. >
Hello, just two comments: you can render any font in an SVG to no longer depend on it. That's for example an option in inkscape: select the text, then menu: path → object to path. Then you can also edit the individual characters, shape them a bit, etc. That way, it's pretty safe to use such a "plain SVG" on a webpage instead of an png graphic. Another detail is that there is also a repository here: github.com/sagemath/artwork ... I added a link such that both can be discovered. -- harald -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
