path: root/doc/changelog/08-tools/12091-master+coqdoc-css-target.rst

- **Added:**
  ``Coqdoc``: Highlighting of the exact position of the target of links
  (`#12091 <https://github.com/coq/coq/pull/12091>`_,
  by Hugo Herbelin).