diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js index 01f5dc9df..1e8cf94f7 100644 --- a/unpacked/jax/output/SVG/jax.js +++ b/unpacked/jax/output/SVG/jax.js @@ -1018,7 +1018,7 @@ // FIXME: if an element has an id, its zoomed copy will have the same ID if (this.id) {svg.removeable = false; SVG.Element(svg.element,{"id":this.id})} if (this.href) { - var a = SVG.Element("a"); + var a = SVG.Element("a",{"class":"mjx-svg-href"}); a.setAttributeNS(XLINKNS,"href",this.href); a.onclick = this.SVGlink; SVG.addElement(a,"rect",{width:svg.w, height:svg.h+svg.d, y:-svg.d, @@ -1027,10 +1027,8 @@ // 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-svg-href"); - g.removeAttribute("fill"); g.removeAttribute("stroke"); + g.appendChild(a); } else { - this.SVGaddClass(svg.element,"mjx-svg-href"); a.appendChild(svg.element); svg.element = a; } svg.removeable = false;