From 19b813a4a7cc8d93b3837f7e8de934a62988c890 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 11 May 2016 20:48:29 -0400
Subject: [PATCH] Make Volker's suggested change.  Issue #1452.

---
 unpacked/jax/output/HTML-CSS/jax.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index 45f1ad8ef..10f38fb54 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2938,7 +2938,7 @@
           //    which makes it work even when minimum font size is in effect).
           //
           var W = math.bbox.w;
-          if (Math.abs(W) < .006) W = 0; else W = Math.max(0,Math.round(W*this.em)+.25);
+          W = Math.abs(W) < .006 ? 0 : Math.max(0,Math.round(W*this.em)+.25);
           span.style.width = HTMLCSS.EmRounded(W/HTMLCSS.outerEm);
           span.style.display = "inline-block";
           //