Merge pull request #1550 from dpvc/issue1543
Fix vector arrow positioning in CHTML. #1543
This commit is contained in:
commit
71369c3d73
|
@ -1892,7 +1892,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