www

commit c8d09126b5c6059daa89d5dd1605630300366ac0
parent c8ea88e195ee249c2136e23debf5816fac0c5a2c
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Tue, 13 Oct 2015 06:23:17 -0400

Make table frame and lines respect the scaling factor for the table (so they get thicker if the table is scaled).  Issue #1279

Diffstat:
M
unpacked/jax/output/CommonHTML/autoload/mtable.js
 | 
8
+++++---

1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/unpacked/jax/output/CommonHTML/autoload/mtable.js b/unpacked/jax/output/CommonHTML/autoload/mtable.js
@@ -52,6 +52,8 @@ MathJax.Hub.Register.StartupHook("CommonHTML Jax Ready",function () {
                                   "columnwidth","equalcolumns","equalrows",
                                   "columnlines","rowlines","frame","framespacing",
                                   "align","width","side","minlabelspacing","useHeight");
+      var t = CHTML.TEX.min_rule_thickness/CHTML.em;
+      state.t = CHTML.Px(t*this.CHTML.scale,1);
       //
       //  Create the table
       //
@@ -63,7 +65,7 @@ MathJax.Hub.Register.StartupHook("CommonHTML Jax Ready",function () {
         state.DD = Math.max.apply(Math,state.D);
       }
       this.CHTMLadjustCells(values,state);
-      if (values.frame) table.style.border = "1px "+values.frame;
+      if (values.frame) table.style.border = state.t+" "+values.frame;
       this.CHTMLalignV(values,state,node);
       this.CHTMLcolumnWidths(values,state,node);
       this.CHTMLstretchCells(values,state);
@@ -196,7 +198,7 @@ MathJax.Hub.Register.StartupHook("CommonHTML Jax Ready",function () {
         //
         B = RSPACE[i]/2; border = null; L = "0";
         if (RLINES[i] !== MML.LINES.NONE) {
-          border = "1px "+RLINES[i];
+          border = state.t+" "+RLINES[i];
           B -= 1/CHTML.em/2;
         }
         B = CHTML.Em(Math.max(0,B));
@@ -215,7 +217,7 @@ MathJax.Hub.Register.StartupHook("CommonHTML Jax Ready",function () {
           //
           R = CSPACE[j]/2;
           if (CLINES[j] !== MML.LINES.NONE) {
-            cell.borderRight = "1px "+CLINES[j];
+            cell.borderRight = state.t+" "+CLINES[j];
             R -= 1/CHTML.em/2;
           }
           R = CHTML.Em(Math.max(0,R));