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 --- tools/coqdoc/coqdoc.css | 5 +++++ 1 file changed, 5 insertions(+) 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 From 4ddf8ca29dea849e1400fdadd5973a65418d75aa Mon Sep 17 00:00:00 2001 From: Hugo Herbelin Date: Thu, 16 Apr 2020 10:25:45 +0200 Subject: Adding change log. --- doc/changelog/08-tools/12091-master+coqdoc-css-target.rst | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 doc/changelog/08-tools/12091-master+coqdoc-css-target.rst diff --git a/doc/changelog/08-tools/12091-master+coqdoc-css-target.rst b/doc/changelog/08-tools/12091-master+coqdoc-css-target.rst new file mode 100644 index 0000000000..f6af5d40e8 --- /dev/null +++ b/doc/changelog/08-tools/12091-master+coqdoc-css-target.rst @@ -0,0 +1,4 @@ +- **Added:** + ``Coqdoc``: Highlighting of the exact position of the target of links + (`#12091 `_, + by Hugo Herbelin). -- cgit v1.2.3