www

commit 486cd40424abbb97e1a942b3fc2ae9c4e99dc64c
parent 557e93e505a6bfe86eea9cb0059473cb88b1a8ec
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed, 17 Apr 2013 09:05:24 -0400

Make href class specific to SVG (in case we need to have one for other output jax)

Diffstat:
M
unpacked/jax/output/SVG/jax.js
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git 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 <a> inside the main <g> 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;