rustdoc: add margin-bottom spacing to nested lists

jnqnfe · jnqnfe · commit c013de4f9b0e · 2018-11-28T16:05:43.000Z
set to zero meant that the nested list was squished up against
subsequent list items/paragraphs

this changes the bottom margin to .6em, same as for paragraphs

an example demonstrating the difference with screenshots is given in the
pull request
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 {`