Beautiful. I noticed the SVG output is however really large and crude. Apparently it embeds HTML into SVG and then embeds the nice monospaced font again as Base-64 into CSS. The result is a 1.6MB SVG file (compare to the 41kB PNG) to display a few hundreds bytes of source code nicely.
