From e59f6d648401bf1441d9a75751914b6622b3c5c0 Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Mon, 24 Aug 2015 13:11:47 -0400
Subject: [PATCH] Make sure parents of percentage-width elements have
 percentage widths.

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

diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
index db89cd099..09dd254d2 100644
--- a/unpacked/jax/output/CommonHTML/jax.js
+++ b/unpacked/jax/output/CommonHTML/jax.js
@@ -1333,6 +1333,7 @@
             bbox.append(cbox);
             if (cbox.ic) {bbox.ic = cbox.ic} else {delete bbox.ic}
             if (cbox.skew) bbox.skew = cbox.skew;
+            if (cbox.pwidth) bbox.pwidth = cbox.pwidth;
           }
         } else if (options.forceChild) {cnode = HTML.addElement(node,"mjx-box")}
         return cnode;
@@ -1476,6 +1477,9 @@
           BBOX.pwidth = this.data[0].CHTML.pwidth;
           BBOX.mwidth = this.data[0].CHTML.mwidth;
           style.width = "100%";
+        } else if (BBOX.pwidth) {
+          BBOX.mwidth = BBOX.w;
+          style.width = "100%";
         }
         if (!this.style) return;
         // ### FIXME:  adjust for width, height, vertical-align?