Change class to mjx-box so that width will have the proper effect (due to fix in CSS in PR #1448). Resolves issue #1543.
This commit is contained in:
parent
7523687f4c
commit
595d38e8af
|
@ -1882,7 +1882,7 @@
|
||||||
// something, so put them over a space and remove the space's width
|
// something, so put them over a space and remove the space's width
|
||||||
//
|
//
|
||||||
node = node.firstChild;
|
node = node.firstChild;
|
||||||
var space = CHTML.Element("mjx-span",{style:{width:".25em","margin-left":"-.25em"}});
|
var space = CHTML.Element("mjx-box",{style:{width:".25em","margin-left":"-.25em"}});
|
||||||
node.insertBefore(space,node.firstChild);
|
node.insertBefore(space,node.firstChild);
|
||||||
},
|
},
|
||||||
CHTMLcenterOp: function (node) {
|
CHTMLcenterOp: function (node) {
|
||||||
|
|
Loading…
Reference in New Issue
Block a user