Rollup merge of rust-lang#105789 - notriddle:notriddle/examples-margin, r=GuillaumeGomez

matthiaskrgr · web-flow · commit 2835b668d902 · 2022-12-17T23:44:27.000+01:00
rustdoc: clean up margin CSS for scraped examples

* This stops applying a margin to the additional example links. Because these links are `display: inline`, it doesn't actually do anything.
* This switches from using a margin-bottom with a special exception for the examples themselves, plus an additional margin on the hide button, to instead using just margin-top on the examples, with an exception for the first one.

No user-visible changes should result from this.
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
@@ -2003,7 +2003,6 @@ in storage.js
 
 .more-examples-toggle .hide-more {
 	margin-left: 25px;
-	margin-bottom: 5px;
 	cursor: pointer;
 }
 
@@ -2031,16 +2030,12 @@ in storage.js
 	height: 100%;
 }
 
-.more-scraped-examples .scraped-example {
-	margin-bottom: 20px;
-}
-
-.more-scraped-examples .scraped-example:last-child {
-	margin-bottom: 0;
+.more-scraped-examples .scraped-example, .example-links {
+	margin-top: 20px;
 }
 
-.example-links a {
-	margin-top: 20px;
+.more-scraped-examples .scraped-example:first-child {
+	margin-top: 5px;
 }
 
 .example-links ul {

Original file line number	Diff line number	Diff line change
`@@ -2003,7 +2003,6 @@ in storage.js`
`2003`	`2003`
`2004`	`2004`	`.more-examples-toggle .hide-more {`
`2005`	`2005`	`margin-left: 25px;`
`2006`		`- margin-bottom: 5px;`
`2007`	`2006`	`cursor: pointer;`
`2008`	`2007`	`}`
`2009`	`2008`
`@@ -2031,16 +2030,12 @@ in storage.js`
`2031`	`2030`	`height: 100%;`
`2032`	`2031`	`}`
`2033`	`2032`
`2034`		`-.more-scraped-examples .scraped-example {`
`2035`		`- margin-bottom: 20px;`
`2036`		`-}`
`2037`		`-`
`2038`		`-.more-scraped-examples .scraped-example:last-child {`
`2039`		`- margin-bottom: 0;`
	`2033`	`+.more-scraped-examples .scraped-example, .example-links {`
	`2034`	`+ margin-top: 20px;`
`2040`	`2035`	`}`
`2041`	`2036`
`2042`		`-.example-links a {`
`2043`		`- margin-top: 20px;`
	`2037`	`+.more-scraped-examples .scraped-example:first-child {`
	`2038`	`+ margin-top: 5px;`
`2044`	`2039`	`}`
`2045`	`2040`
`2046`	`2041`	`.example-links ul {`