Thanks Andrew. I didn't actually click in the Edit window first (makes sense). I'll give it a try now.
]]>Did you click in the "edit" window? The SVG-editor is only active if it knows where to put the SVG afterwards. So first click where you want the SVG to appear and then the button should become "active". Oh, and you need javascript to be working.
(It's not a web-by-web thing, as it works for the nLab, it should work everywhere)
]]>I went to try the new SVG editor on my personal web and it doesn't seem to activated, i.e. the button is greyed out. Is it disabled by deault? If so, could we enable the SVG editor on my personal web? Thanks!
]]>You can set the line thickness to be whatever you want! I chose quite thick lines here because they were more pictorial than diagramatic. I'll do a diagram for you as well so you can see what they look like.
]]>SVGs are useful, but to find the thick lines in graphs beautiful, sorry I prefer LaTeX style diagrams with thin lines. But of course we should learn to use them.
]]>They look great.
]]>Added a couple of SVGs at Froelicher space using the new svg-editor.
]]>