www

commit 3100f10c4a5ebf25af5cee51685285d9e4312e39
parent d400e00812b90b969015d090b569298f29c3b2a5
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 24 Aug 2015 10:45:47 -0400

Don't count spacing (in paddingLeft and Right) as part of the width of an <mo> element

Diffstat:
M
unpacked/jax/output/CommonHTML/jax.js
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -1738,8 +1738,8 @@
         }
 
         this.CHTML.clean();
-        this.CHTMLhandleSpace(node);
         this.CHTMLhandleBBox(node);
+        this.CHTMLhandleSpace(node);
         this.CHTMLhandleColor(node);
 
         return node;