<div dir="auto"><br><br><div class="gmail_quote" dir="auto"><div dir="ltr" class="gmail_attr">Il Ven 10 Mag 2019, 21:16 Daniel H. Luecking <<a href="mailto:luecking@uark.edu">luecking@uark.edu</a>> ha scritto:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_3286253957275672771divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:'Courier New',monospace" dir="ltr">
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">This is not true in MetaPost's postscript output, and the
<br>
</p>
<p style="margin-top:0;margin-bottom:0">BoundingBox in EPS and SVG are the same to 5 decimals.</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">It seems to me that the path definition in SVG draws the path</p>
<p style="margin-top:0;margin-bottom:0">almost a point higher than it ought to be. This is assuming
<br>
</p>
<p style="margin-top:0;margin-bottom:0">that in <br>
</p>
<p style="margin-top:0;margin-bottom:0"><span>   viewBox="0 0 63.410065 91.206802"</span><span></span>
<br>
</p>
<p style="margin-top:0;margin-bottom:0">the coordinates are supposed to represent the ulcorner
<br>
</p>
<p style="margin-top:0;margin-bottom:0">and lrcorner of the picture. If that is the case, the initial
<br>
</p>
<p style="margin-top:0;margin-bottom:0">moveto should be 0.25 90.87 (approx.) instead of 0.0 90.0</p>
<p style="margin-top:0;margin-bottom:0">(with corresponding adjustments to other points in the path)<br>
</p>
<p style="margin-top:0;margin-bottom:0">so that the strokes (thickness and all) exactly fit in the</p>
<p style="margin-top:0;margin-bottom:0">viewBox.<br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">Seems like a bug to me, but I have only a vague idea of the
<br>
</p>
<p style="margin-top:0;margin-bottom:0">SVG format and how it is supposed to be dislayed.
<br>
</p>
<p style="margin-top:0;margin-bottom:0"><br>
</p>
<p style="margin-top:0;margin-bottom:0">  </p></div></div></blockquote></div><div dir="auto"><br></div><div dir="auto">Ok I will give it a look.</div><div dir="auto">--</div><div dir="auto">luigi  </div></div>