diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-08-04 11:32:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-08-04 11:32:36 +0200 |
| commit | badf983c96e9ec7951eccc3915c18c27a2a39142 (patch) | |
| tree | e132c3b630bed8e6d78212b351b2513e4f7b6e0a | |
| parent | ad5b9c24c0103671f434f4fac654cecc0197656e (diff) | |
| parent | eb2de64aa1cb0d3eded99458566e8eee8333a751 (diff) | |
Rollup merge of #128615 - notriddle:notriddle/anchor-a11y, r=GuillaumeGomez
rustdoc: make the hover trail for doc anchors a bit bigger https://rust-lang.zulipchat.com/#narrow/stream/266220-t-rustdoc/topic/Weird.20markdown.20heading.20rendering.3F r? ```@GuillaumeGomez``` ### Screenshots (the purple part is the padding, which the mouse can pass through to hover over it) | Before | After | |--|--| |  | 
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index f4e231327a8..02a6bb8f548 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -930,7 +930,7 @@ a.doc-anchor { left: -17px; /* We add this padding so that when the cursor moves from the heading's text to the anchor, the anchor doesn't disappear. */ - padding-right: 5px; + padding-right: 10px; /* And this padding is used to make the anchor larger and easier to click on. */ padding-left: 3px; } |