dualfroz 20c0f26b00 rustdoc: don't highlight empty elements when they are the URL target ...

An empty anchor like `<a id="foo"></a>` used as a jump target in docs got
the target border, which shows up as a stray orange bar.

2026-09-29 12:01:33 +02:00

..

rustdoc-gui

rustdoc: don't highlight empty elements when they are the URL target

2026-09-29 12:01:33 +02:00