From 2f8f3fdd90a34c8578b6b2512569f1fda90995ca Mon Sep 17 00:00:00 2001
From: Thomas Gelf <thomas@gelf.net>
Date: Fri, 13 Nov 2015 09:41:28 +0100
Subject: [PATCH] doc/css: no outline for a[name]

I'd however prefer to have them in the h1 tag. Or even around the h1,
that's legal since HTML5. Or, best variant: an id on the element. A
common prefix, and no worries about duplicates: we never show content
in multiple columns.
---
 modules/doc/public/css/module.less | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/modules/doc/public/css/module.less b/modules/doc/public/css/module.less
index 1ab230c2e..65b8d61c0 100644
--- a/modules/doc/public/css/module.less
+++ b/modules/doc/public/css/module.less
@@ -25,6 +25,10 @@ table {
   width: 100%;
 }
 
+a[name]:focus {
+  outline: 0;
+}
+
 th, td {
   padding: 0.25rem;
   text-align: left;