From 1cd23252c197a91f3144bdf2743b5511836cd89d Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 20 Aug 2014 09:30:04 -0400
Subject: [PATCH] Fix problem with percentage width being used too many times
 in HTML-CSS output.  Resolves issue #832.

---
 unpacked/jax/output/HTML-CSS/jax.js | 4 ++--
 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
index c9f67f688..ef6624412 100644
--- 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)