Exported SVGs include property inline-size:0px which seems like an error

[Eddykasp]

In Sprotty 1.3.0 the SVG exporter has been updated, see here. Not sure what the best way to resolve this is, but the property inline-size should probably not be in the final exported SVG.

Example diagram

Github seems to strip this, here is the beginning of the raw SVG:

<svg xmlns="http://www.w3.org/2000/svg" id="stpa_0_root" class="sprotty-graph" style="border-block-end-color:rgb(211, 198, 170);border-block-start-color:rgb(211, 198, 170);border-bottom-color:rgb(211, 198, 170);border-inline-end-color:rgb(211, 198, 170);border-inline-start-color:rgb(211, 198, 170);border-left-color:rgb(211, 198, 170);border-right-color:rgb(211, 198, 170);border-top-color:rgb(211, 198, 170);caret-color:rgb(211, 198, 170);color:rgb(211, 198, 170);column-rule-color:rgb(211, 198, 170);flex-basis:0%;flex-grow:1;font-family:&quot;Helvetica Neue&quot;, Helvetica, Arial, sans-serif;font-size:13px;inline-size:0px;outline-color:rgb(211, 198, 170);