diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index e81c140a1..e872a03b8 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) {