<div dir="ltr">Hi,<div><br></div><div>I'm trying to set the scale of an image-element for a SVG file but the generated html does not seem to reflect my settings. </div><div><br></div><div>While looking at the code in shared/pkgs/scribble-pkgs/scribble-lib/scribble/html-render.rkt I noticed that the scale of an image-element affects the size of PNGs and GIFs but not SVGs. Is this the intended behavior? Is there another way to affect the scale of a SVG image?</div>

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