www

commit e59f6d648401bf1441d9a75751914b6622b3c5c0
parent 5296f1111f448736596f6a05b26caa0e77674e2f
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 24 Aug 2015 13:11:47 -0400

Make sure parents of percentage-width elements have percentage widths.

Diffstat:
M
unpacked/jax/output/CommonHTML/jax.js
 | 
4
++++

1 file changed, 4 insertions(+), 0 deletions(-)
diff --git 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?