031.svg in rsyntaxtree-1.2.7

- old
+ new

@@ -1,8 +1,8 @@
 <?xml version="1.0" standalone="no"?>
 <!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
-  <svg width="1265.2" height="709.2" viewBox="-20, -20, 1305.2, 749.2" version="1.1" xmlns="http://www.w3.org/2000/svg">
+  <svg width="1239.6000000000001" height="691.2" viewBox="0, 0, 1254.0000000000002, 713.2" version="1.1" xmlns="http://www.w3.org/2000/svg">
   <defs>
     <marker id="arrow" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="10" refY="5" markerWidth="28.8" markerHeight="28.8" orient="auto">
       <path d="M 0 0 L 10 5 L 0 10" fill="black"/>
     </marker>
     <marker id="arrowBackward" markerUnits="userSpaceOnUse" viewBox="0 0 10 10" refX="5" refY="5" markerWidth="28.8" markerHeight="28.8" orient="auto">
@@ -22,10 +22,10 @@
     </pattern>
     <pattern id="hatchForLeaf" x="10" y="10" width="10" height="10" patternUnits="userSpaceOnUse" patternTransform="rotate(45)">
       <line x1="0" y="0" x2="0" y2="10" stroke="black" stroke-width="4"></line>
     </pattern>
   </defs>
-<rect x="-20" y="-20" width="1305.2" height="749.2" stroke="none" fill="white" />"
+<rect x="0" y="0" width="1254.0000000000002" height="713.2" stroke="none" fill="white" />"
 <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='575.425' y='132.0'><tspan x='575.425' y='132.0' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif">chase(mouse)(cat)</tspan>
 </text>
 <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='194.64999999999986' y='384.4'><tspan x='194.64999999999986' y='384.4' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>λx.λy.chase(mouse)(y)<tspan style='fill:none;'>￭</tspan></tspan>
 </text>
 <text white-space='pre' alignment-baseline='text-top' style='fill: black; font-size: 64px;' x='28.799999999999955' y='636.8'><tspan x='28.799999999999955' y='636.8' style="" text-decoration="" font-family="'Noto Sans Mono SemiCondensed', 'Noto Sans JP', OpenMoji, 'OpenMoji Color', 'OpenMoji Black', sans-serif"><tspan style='fill:none;'>￭</tspan>λxλy.chase(x)(y)<tspan style='fill:none;'>￭</tspan></tspan>
\ No newline at end of file