Merge pull request #1550 from dpvc/issue1543

Fix vector arrow positioning in CHTML.  #1543

Author: dpvc

unpacked/jax/output/CommonHTML/jax.js

@@ -1892,7 +1892,7 @@
         //  something, so put them over a space and remove the space's width
         //
         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);
       },
       CHTMLcenterOp: function (node) {