diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js index 51b34a772..01f5dc9df 100644 --- a/unpacked/jax/output/SVG/jax.js +++ b/unpacked/jax/output/SVG/jax.js @@ -60,7 +60,7 @@ width: "100%" }, - ".mjx-href": { + ".mjx-svg-href": { fill: "blue", stroke: "blue" }, @@ -1027,10 +1027,10 @@ // for svg element, put inside the main element var g = svg.element.firstChild; while (g.firstChild) {a.appendChild(g.firstChild)} - g.appendChild(a); this.SVGaddClass(g,"mjx-href"); + g.appendChild(a); this.SVGaddClass(g,"mjx-svg-href"); g.removeAttribute("fill"); g.removeAttribute("stroke"); } else { - this.SVGaddClass(svg.element,"mjx-href"); + this.SVGaddClass(svg.element,"mjx-svg-href"); a.appendChild(svg.element); svg.element = a; } svg.removeable = false;