From 63ed23643490a97ec9a8ef4fa0e9ec47897b2e2f Mon Sep 17 00:00:00 2001 From: Marius Hein Date: Thu, 12 Feb 2015 11:34:12 +0100 Subject: [PATCH] Add tabindex to skip links Opera needs a tabindex also for anchor elements refs #7933 --- doc/accessibility/skip-content.html | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/doc/accessibility/skip-content.html b/doc/accessibility/skip-content.html index c785f6c12..3c1b2b492 100644 --- a/doc/accessibility/skip-content.html +++ b/doc/accessibility/skip-content.html @@ -85,14 +85,16 @@
@@ -122,7 +124,7 @@