www

commit 47163b5c709d86a74ebc988356d4585dbb0099f0
parent e3f65aa912554b1bb2864e8ca8ba95e69425e484
Author: Davide P. Cervone <dpvc@union.edu>
Date:   Thu,  8 Oct 2015 08:07:30 -0400

Add missing ':focus' in CSS for handling outline better

Diffstat:
M
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
@@ -67,7 +67,7 @@
       "margin":     "1em 0",
       padding:      0
     },
-    ".mjx-chtml[tabindex], *:focus .mjx-chtml[tabindex]": {
+    ".mjx-chtml[tabindex]:focus, *:focus .mjx-chtml[tabindex]": {
       display: "inline-table"  // see issue #1282
     },