www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit aa21c9fedd6330e729f1371bf368de2e8e08a540
parent 4246f20ed4d017456048d67569fe5c4350b5bb39
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Wed,  2 Dec 2015 11:19:08 -0500

Merge branch 'issue1287' into develop.  Issue #1287.

Diffstat:
Munpacked/jax/output/CommonHTML/jax.js | 1+
1 file changed, 1 insertion(+), 0 deletions(-)

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js @@ -2264,6 +2264,7 @@ base = CHTML.getNode(node,"mjx-base"); sub = CHTML.getNode(node,"mjx-sub"); sup = CHTML.getNode(node,"mjx-sup"); + stack = CHTML.getNode(node,"mjx-stack"); } else { var types = ["mjx-base","mjx-sub","mjx-sup"]; if (this.sup === 1) types[1] = types[2];