From 0412d8ec7e3d388be6dc726eec3f474bd77070f8 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 12 Sep 2015 14:23:35 -0400
Subject: [PATCH] Fixed CHTML.addElement to be able to create non-span elements
 (e.g., the <a> needed for href attributes)

---
 unpacked/jax/output/CommonHTML/jax.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index eba9c5d22..54863d260 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -324,8 +324,9 @@
       if (type.substr(0,4) === "mjx-") {
         if (!def) def = {};
         if (def.className) def.className = type+" "+def.className; else def.className = type;
+        type = "span";
       }
-      return this.HTMLElement("span",def,content);
+      return this.HTMLElement(type,def,content);
     },
     addElement: function (node,type,def,content) {
       return node.appendChild(this.Element(type,def,content));