diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js index 777497de6..97eb3f343 100644 --- a/unpacked/jax/output/SVG/jax.js +++ b/unpacked/jax/output/SVG/jax.js @@ -37,8 +37,8 @@ // Get the URL of the page (for use with xlink:href) when there // is a element on the page. // - var SVGURL = String(document.location).replace(/#.*$/,""); - if (document.getElementsByTagName("base").length === 0) SVGURL = ""; + var SVGURL = (document.getElementsByTagName("base").length === 0) ? "" : + String(document.location).replace(/#.*$/,""); SVG.Augment({ HFUZZ: 2, // adjustments for height and depth of final svg element