From 47163b5c709d86a74ebc988356d4585dbb0099f0 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Thu, 8 Oct 2015 08:07:30 -0400 Subject: [PATCH] Add missing ':focus' in CSS for handling outline better --- 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 index 1716ade73..126cd365f 100644 --- 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 },