www

commit 99782aee541cf036d1f6ddc0904aa7752fce3b95
parent 3ba60663dfc6efd0269b1aab5250549e6fe5f5e8
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 25 Jan 2016 08:43:47 -0500

Remove padding from elements where CSS overrides it.  Resolves issue #1359.

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

1 file changed, 1 insertion(+), 0 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -2111,6 +2111,7 @@
           bbox[i] = this.CHTMLbboxFor(i); bbox[i].x = bbox[i].y = 0;
           if (this.data[i]) bbox[i].stretch = this.data[i].CHTMLcanStretch("Horizontal");
           scale = (i === this.base ? 1 : bbox[i].rscale);
+          if (i !== this.base) {delete bbox[i].L; delete bbox[i].R} // these are overriden by CSS
           W = Math.max(W,scale*(bbox[i].w + (bbox[i].L||0) + (bbox[i].R||0)));
           if (!bbox[i].stretch && W > w) w = W;
         }