From 486cd40424abbb97e1a942b3fc2ae9c4e99dc64c Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 17 Apr 2013 09:05:24 -0400
Subject: [PATCH] Make href class specific to SVG (in case we need to have one
 for other output jax)

---
 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
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 <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;