<div dir="ltr"><div class="gmail_extra"><div class="gmail_quote">On Mon, Aug 4, 2014 at 10:35 AM, Jens Axel Søgaard <span dir="ltr"><<a href="mailto:jensaxel@soegaard.net" target="_blank">jensaxel@soegaard.net</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">It is not intended. I am not sure whether it simply doesn't work, or whether<br>


it is browser related.<br>
<br>
SVG images are currently inserted with an html <object> tag where as the other<br>
images are inserted as <img>. The width and height attributes are set in both<br>
cases.<br></blockquote><div><br></div><div>Indeed. But in the case of PNGs and GIFs they have their width and height adjusted by the scale, while SVGs do not.</div><div>I did not test other browsers, but recent versions of Chrome and IE seem to honor the scaled size.</div>

<div><br></div><div>In fact, I'm currently using a patched html-render.rkt to generate documentation containing tons of tikz pictures, and it looks great.</div><div>Each picture is converted to svg by pdflatex+standalone+pdf2svg and then included in an image-element with an appropriate scaling factor. </div>

<div>Before, I was converting everything to PNGs but the documentation was taking inordinate amounts of disk space.</div><div><br></div><div>Obviously, I would prefer to use an officially maintained version of Scribble that supports scaled SVGs.</div>

<div><br></div><div>Best,</div><div>Antonio.</div></div></div></div>