www

commit 27c047afb68612e93cf2a9610ceb3d6db8726fa4
parent 2927bbfc3453a5edd3eeeb94af3d6ad4aee7f5a4
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 17 Feb 2014 11:23:54 -0500

Merge branch 'issue476' into develop.  Issue #476.

Diffstat:
M
unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
 | 
6
+++---

1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js b/unpacked/jax/output/HTML-CSS/fonts/STIX/fontdata.js
@@ -252,7 +252,7 @@
         },
         0x21D1: // \Uparrow
         {
-          dir: V, HW: [[.818,GENERAL]], stretch: {top:[0x21D1,GENERAL], ext:[0x2225,GENERAL,.1]}
+          dir: V, HW: [[.818,GENERAL]], stretch: {top:[0x21D1,GENERAL], ext:[0x2225,GENERAL,.082]}
         },
         0x21D2: // right double arrow
         {
@@ -260,7 +260,7 @@
         },
         0x21D3: // \Downarrow
         {
-          dir: V, HW: [[.818,GENERAL]], stretch: {ext:[0x2225,GENERAL,.1], bot:[0x21D3,GENERAL]}
+          dir: V, HW: [[.818,GENERAL]], stretch: {ext:[0x2225,GENERAL,.082], bot:[0x21D3,GENERAL]}
         },
         0x21D4: // left-right double arrow
         {
@@ -270,7 +270,7 @@
         0x21D5: // \Updownarrow
         {
           dir: V, HW: [[.818,GENERAL]],
-          stretch: {top:[0x21D1,GENERAL], ext:[0x2225,GENERAL,.1], bot:[0x21D3,GENERAL]}
+          stretch: {top:[0x21D1,GENERAL], ext:[0x2225,GENERAL,.082], bot:[0x21D3,GENERAL]}
         },
         0x221A: // \surd
         {