From 7968896c8b52ff3c5b56fd94e648708d8d1ba3c0 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Tue, 30 Apr 2013 16:12:10 -0400
Subject: [PATCH] Fix width problem with zoom box in Firefox.

---
 unpacked/jax/output/NativeMML/jax.js | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/unpacked/jax/output/NativeMML/jax.js b/unpacked/jax/output/NativeMML/jax.js
index 369bc7a30..282fb9259 100644
--- a/unpacked/jax/output/NativeMML/jax.js
+++ b/unpacked/jax/output/NativeMML/jax.js
@@ -426,6 +426,13 @@
       var mW = math.offsetWidth  || math.scrollWidth,
           mH = math.offsetHeight || math.scrollHeight;
       var zW = span.offsetWidth, zH = span.offsetHeight;
+      if (nMML.widthBug) {
+        //
+        //  FF doesn't get width of <math> right, so get it from <mrow>
+        //
+        var W = span.firstChild.firstChild.scrollWidth;
+        if (W > zW) {zW = W; span.style.width = zW + "px"}
+      }
       if (this.msieIE8HeightBug) {span.style.position = ""}
       return {Y:-EVENT.getBBox(span.parentNode).h, mW:mW, mH:mH, zW:zW, zH:zH}
     },