www

commit 24bfd6baf2d3a53a5c0488a2e8aa050fd1037261
parent df92acc9596b07d6ecb8a5a7c2f04b1a3079e336
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Mon, 12 Jan 2015 09:37:34 -0500

Merge branch 'issue997' into develop.  Issue #997.

Diffstat:
M
unpacked/jax/output/HTML-CSS/jax.js
 | 
2
+-
M
unpacked/jax/output/SVG/jax.js
 | 
2
+-

2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/unpacked/jax/output/HTML-CSS/jax.js b/unpacked/jax/output/HTML-CSS/jax.js
@@ -2826,7 +2826,7 @@
 	var alttext = this.Get("alttext");
         if (alttext && !span.getAttribute("aria-label")) span.setAttribute("aria-label",alttext);
         if (!span.getAttribute("role")) span.setAttribute("role","math");
-        span.setAttribute("tabindex",0);
+//      span.setAttribute("tabindex",0);  // causes focus outline, so disable for now
 	var stack = HTMLCSS.createStack(span), box = HTMLCSS.createBox(stack), math;
 	// Move font-size from outer span to stack to avoid line separation 
 	// problem in strict HTML mode
diff --git a/unpacked/jax/output/SVG/jax.js b/unpacked/jax/output/SVG/jax.js
@@ -2083,7 +2083,7 @@
           var alttext = this.Get("alttext");
           if (alttext && !svg.element.getAttribute("aria-label")) span.setAttribute("aria-label",alttext);
           if (!svg.element.getAttribute("role")) span.setAttribute("role","math");
-          span.setAttribute("tabindex",0);
+//        span.setAttribute("tabindex",0);  // causes focus outline, so disable for now
           span.appendChild(svg.element); svg.element = null;
           //
           //  Handle indentalign and indentshift for single-line displays