Well the image already is a SVG element. But it's dynamically generated so you need a slight bit of trickery to grab it, enter this in your JS console: (tested

Well the image already is a SVG element. But it's dynamically generated so you need a slight bit of trickery to grab it, enter this in your JS console: (tested with Opera and Chrome) document.location.href = 'data:image/svg+xml,'+encodeURIComponent(document.getElementById('paper-container').innerHTML) it'll open just that element as a SVG document, where you can save it with ctrl-S. I'd like to have used window.open instead of document.location so it wouldn't replace the RegExper tab, but that gets caught in my browsers' pop-up blockers :) Inserting it as a regular link in the original document would've been the best solution, in a pinch, I am offering this quick hack :) Also, poking at this puzzle, I just noticed the badass colour green he's using for the diagrams and header.