commit 1cd23252c197a91f3144bdf2743b5511836cd89d
parent 354e18df87fa2053e45a426951cdcc70f2fe1a1e
Author: Davide P. Cervone <dpvc@union.edu>
Date: Wed, 20 Aug 2014 09:30:04 -0400
Fix problem with percentage width being used too many times in HTML-CSS output. Resolves issue #832.
Diffstat:
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2788,8 +2788,8 @@
span.bbox.lw *= f; span.bbox.rw *= f;
if (math && math.bbox.width != null) {
span.style.minWidth = (math.bbox.minWidth || span.style.width);
- span.style.width = stack.style.width = math.bbox.width;
- box.style.width = "100%";
+ span.style.width = math.bbox.width;
+ box.style.width = stack.style.width = "100%";
}
//
// Add color (if any)