From 1fe80b441ab60eadaeb292fb3b797731716daa7a Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Sat, 6 Dec 2014 09:54:45 -0500
Subject: [PATCH] Handle <mlabeledtr> by dropping the label for now.  Resolves
 issue #968.

---
 unpacked/jax/output/CommonHTML/jax.js | 20 ++++++++++++++++++--
 1 file changed, 18 insertions(+), 2 deletions(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index b76d29589..2c8b2a5ec 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -108,6 +108,9 @@
     ".MJXc-mtd": {"display":"table-cell!important","text-align":"center","padding":".5em 0 0 .5em"},
     ".MJXc-mtr > .MJXc-mtd:first-child": {"padding-left":0},
     ".MJXc-mtr:first-child > .MJXc-mtd": {"padding-top":0},
+    ".MJXc-mlabeledtr": {"display":"table-row!important"},
+    ".MJXc-mlabeledtr > .MJXc-mtd:first-child": {"padding-left":0},
+    ".MJXc-mlabeledtr:first-child > .MJXc-mtd": {"padding-top":0},
     
     ".MJXc-merror": {
       "background-color": "#FFFF88",
@@ -1073,8 +1076,9 @@
             var rspace = CHTML.arrayEntry(RSPACE,i-1), ralign = CHTML.arrayEntry(RALIGN,i);
             var rbox = row.CHTML, rspan = row.CHTMLspanElement();
             rspan.style.verticalAlign = ralign;
-            for (j = 0, n = row.data.length; j < n; j++) {
-              var cell = row.data[j];
+            var k = (row.type === "mlabeledtr" ? 1 : 0);
+            for (j = 0, n = row.data.length; j < n-k; j++) {
+              var cell = row.data[j+k];
               if (cell) {
                 var cspace = CHTML.arrayEntry(CSPACE,j-1), calign = CHTML.arrayEntry(CALIGN,j);
                 var cbox = cell.CHTML, cspan = cell.CHTMLspanElement();
@@ -1093,6 +1097,18 @@
         return span;
       }
     });
+    MML.mlabeledtr.Augment({
+      CHTMLdefaultSpan: function (span,options) {
+        if (!options) options = {};
+        span = this.CHTMLcreateSpan(span);
+        this.CHTMLhandleStyle(span);
+        this.CHTMLhandleColor(span);
+        if (this.isToken) this.CHTMLhandleToken(span);
+        // skip label for now
+        for (var i = 1, m = this.data.length; i < m; i++) this.CHTMLaddChild(span,i,options);
+        return span;
+      }
+    });
 
     MML.semantics.Augment({
       toCommonHTML: function (span) {