Fixed image size by hacking the svg file.

reid-a · reid-a · commit b490ce78d076 · 2022-02-14T14:50:25.000-05:00
diff --git a/fig/jargon_standalone.svg b/fig/jargon_standalone.svg
@@ -7,8 +7,8 @@
    xmlns="http://www.w3.org/2000/svg"
    xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd"
    xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
-   width="140mm"
-   height="140mm"
+   width="100mm"
+   height="100mm"
    viewBox="0 0 140 140"
    version="1.1"
    id="svg8"
