Rollup merge of #56321 - jnqnfe:css_nested_list_margin, r=GuillaumeGomez

GuillaumeGomez · web-flow · commit f20a1d7b5d20 · 2018-11-29T13:10:52.000+01:00
rustdoc: add bottom margin spacing to nested lists the current CSS for nested lists sets margin-bottom to zero, which means that a nested list is squished up against subsequent list items/paragraphs this changes the bottom margin to .6em, same as for paragraphs before: ![before](https://user-images.githubusercontent.com/33935229/49176291-699ba800-f342-11e8-9d33-c4acd4df2beb.png) after: ![after](https://user-images.githubusercontent.com/33935229/49176299-6f918900-f342-11e8-90c3-aa14db195b45.png)
diff --git a/src/librustdoc/html/static/rustdoc.css b/src/librustdoc/html/static/rustdoc.css
@@ -121,7 +121,7 @@ ol, ul {
 	padding-left: 25px;
 }
 ul ul, ol ul, ul ol, ol ol {
-	margin-bottom: 0;
+	margin-bottom: .6em;
 }
 
 p {

Original file line number	Diff line number	Diff line change
`@@ -121,7 +121,7 @@ ol, ul {`
`121`	`121`	`padding-left: 25px;`
`122`	`122`	`}`
`123`	`123`	`ul ul, ol ul, ul ol, ol ol {`
`124`		`- margin-bottom: 0;`
	`124`	`+ margin-bottom: .6em;`
`125`	`125`	`}`
`126`	`126`
`127`	`127`	`p {`