commit 117f29096df30b4195db4d6f8d5dc62965e4aa7b
parent 1968831dd026683c4d282d0dc091da1873b62580
Author: Davide P. Cervone <dpvc@union.edu>
Date: Tue, 10 Mar 2015 19:54:28 -0400
Fix wrong property name
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1579,7 +1579,7 @@
toCommonHTML: function (node) {
node = this.CHTMLdefaultNode(node,{
childNodes:["mjx-numerator","mjx-denominator"],
- forceChild:true, noBBox:true, childCount:2
+ forceChild:true, noBBox:true, minChildren:2
});
var values = this.getValues("linethickness","displaystyle","scriptlevel",
"numalign","denomalign","bevelled");