From e5a09146dd26673b5e6f323f48033bc95953a1f6 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Mon, 9 Mar 2015 15:59:16 -0400 Subject: [PATCH] Use proper thickness for separation of root from base. --- unpacked/jax/output/CommonHTML/jax.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/unpacked/jax/output/CommonHTML/jax.js b/unpacked/jax/output/CommonHTML/jax.js index 77ce12f08..736152045 100644 --- a/unpacked/jax/output/CommonHTML/jax.js +++ b/unpacked/jax/output/CommonHTML/jax.js @@ -1681,7 +1681,7 @@ var base = node.firstChild; var sqrt = HTML.addElement(node,"mjx-box"); sqrt.appendChild(base); var bbox = this.CHTMLbboxFor(0), BBOX = this.CHTML = CHTML.emptyBBox(); - var t = CHTML.TEX.surd_height, p = t, q, H; + var t = CHTML.TEX.surd_height, p = CHTML.TEX.rule_thickness, q, H; if (this.Get("displaystyle")) p = CHTML.TEX.x_height; q = t + p/4; H = bbox.h + bbox.d + q + t;