www

commit 4765effa5fe905d7ca9e4d0442ef65091f25e537
parent 47163b5c709d86a74ebc988356d4585dbb0099f0
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu,  8 Oct 2015 08:19:05 -0400

Make sure horizontal lines have units in pixels rather than ems so they are less likely to disappear

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

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js
@@ -2404,7 +2404,7 @@
             q = (u - nbox.d*nscale) - (a + t/2); if (q < p) u += (p - q);
             q = (a - t/2) - (dbox.h*dscale - v); if (q < p) v += (p - q);
             frac.style.verticalAlign = CHTML.Em(t/2-v);
-            num.style.borderBottom = CHTML.Em(t/nscale)+" solid";
+            num.style.borderBottom = CHTML.Px(t/nscale)+" solid";
             num.className += " MJXc-fpad";   nbox.L = nbox.R = .1;
             denom.className += " MJXc-fpad"; dbox.L = dbox.R = .1;
           }
@@ -2455,7 +2455,7 @@
         H = bbox.h + q + t;
         var x = this.CHTMLaddRoot(node,sbox,sbox.h+sbox.d-H);
         base.style.paddingTop = CHTML.Em(q); 
-        base.style.borderTop = CHTML.Em(T)+" solid";
+        base.style.borderTop = CHTML.Px(T)+" solid";
         sqrt.style.paddingTop = CHTML.Em(2*t-T);  // use wider line, but don't affect height
         bbox.h += q + 2*t;
         BBOX.combine(sbox,x,H-sbox.h);