Rollup merge of rust-lang#128615 - notriddle:notriddle/anchor-a11y, r=GuillaumeGomez

matthiaskrgr · web-flow · commit badf983c96e9 · 2024-08-04T11:32:36.000+02:00
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 | |--|--| | ![image](https://github.com/user-attachments/assets/5070eebe-84ac-4f5d-8950-58664370191c) | ![image](https://github.com/user-attachments/assets/55340161-ad8a-41bd-a120-8cdab11f4af0)
diff --git 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;
 }

Original file line number	Diff line number	Diff line change
`@@ -930,7 +930,7 @@ a.doc-anchor {`
`930`	`930`	`left: -17px;`
`931`	`931`	`/* We add this padding so that when the cursor moves from the heading's text to the anchor,`
`932`	`932`	`the anchor doesn't disappear. */`
`933`		`- padding-right: 5px;`
	`933`	`+ padding-right: 10px;`
`934`	`934`	`/* And this padding is used to make the anchor larger and easier to click on. */`
`935`	`935`	`padding-left: 3px;`
`936`	`936`	`}`