www

commit 856d839ce9ef71da6b08c328c9922aaea46e4f56
parent ae48c34e6477425e3693d929c30dfe55dd354f84
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Sun, 11 Jan 2015 09:25:41 -0500

Don't set tabindex, as it causes unwanted focus outlines.  Revisit this later when we do accessibility update.  Resolves 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
@@ -2081,7 +2081,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