An SVG backend for diagrams