diff options
| author | Michael Howell <michael@notriddle.com> | 2024-08-03 12:30:38 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2024-08-03 12:39:36 -0700 |
| commit | eb2de64aa1cb0d3eded99458566e8eee8333a751 (patch) | |
| tree | 4d1d70fcf7abee8e96de177006be27f22c2e579e /src/librustdoc/html/static/css/rustdoc.css | |
| parent | edc4dc337b28a389dbd87b3825d7929381edeb8f (diff) | |
| download | rust-eb2de64aa1cb0d3eded99458566e8eee8333a751.tar.gz rust-eb2de64aa1cb0d3eded99458566e8eee8333a751.zip | |
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
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -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; } |