From 235c5dc40bbccfa879d5963717789df589c1497b Mon Sep 17 00:00:00 2001
From: "Davide P. Cervone" <dpvc@union.edu>
Date: Wed, 3 Oct 2012 06:20:57 -0400
Subject: [PATCH] Fix problem with table frames in IE with zero-height tables. 
 Also fix problem with HTMLboxChild when child is is empty and the container
 doesn't have a bbox.  Resolves issues found by Fred's test framework.

---
 unpacked/jax/output/HTML-CSS/jax.js | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
index 47354a838..4517dc3f2 100644
--- a/unpacked/jax/output/HTML-CSS/jax.js
+++ b/unpacked/jax/output/HTML-CSS/jax.js
@@ -954,7 +954,9 @@
     },
     createFrame: function (span,h,d,w,t,style) {
       if (h < -d) {d = -h} // make sure h is above d
-      var T = (this.msieBorderWidthBug ? 0 : 2*t);
+      var T = 2*t;
+      if (this.msieFrameSizeBug) {if (w < T) {w = T}; if (h+d < T) {h = T-d}}
+      if (this.msieBorderWidthBug) {T = 0}
       var H = this.Em(h+d-T), D = this.Em(-d-t), W = this.Em(w-T);
       var B = this.Em(t)+" "+style;
       var frame = this.addElement(span,"span",{
@@ -1625,6 +1627,7 @@
       },
       HTMLboxChild: function (n,box) {
 	if (this.data[n]) {return this.data[n].toHTML(box)}
+        if (!box.bbox) {box.bbox = this.HTMLzeroBBox()}
         return null;
       },
 
@@ -2703,6 +2706,7 @@
           msieMarginScaleBug: (mode < 8),   // relative margins are not scaled properly by font-size
           msiePaddingWidthBug: true,
           msieBorderWidthBug: quirks,
+          msieFrameSizeBug: (mode <= 8),    // crashes if size of box isn't big enough for border
           msieInlineBlockAlignBug: (!isIE8 || quirks),
           msiePlaceBoxBug: (isIE8 && !quirks),
           msieClipRectBug: !isIE8,