From 3b5937c66704c2ab4643442dc3296198b33006e5 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Mon, 13 Apr 2020 16:50:41 +0200
Subject: Adding highlighting of the target of a internal link in coqdoc CSS.

Co-Authored-By: Xia Li-yao <Lysxia@users.noreply.github.com>
---
 tools/coqdoc/coqdoc.css | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'tools')

diff --git a/tools/coqdoc/coqdoc.css b/tools/coqdoc/coqdoc.css
index 2c2bd98541..48096e555a 100644
--- a/tools/coqdoc/coqdoc.css
+++ b/tools/coqdoc/coqdoc.css
@@ -331,3 +331,8 @@ ul.doclist {
     margin-top: 0em;
     margin-bottom: 0em;
 }
+
+.code :target {
+    border: 2px solid #D4D4D4;
+    background-color: #e5eecc;
+}
-- 
cgit v1.2.3