From: Lyndon Brown <jnqnfe@gmail.com>
Date: Sat, 24 Nov 2018 23:56:27 +0000 (+0000)
Subject: rustdoc: add margin-bottom spacing to nested lists
X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=c013de4f9b0e9197dc09f8e48ad970fcdf0dbea4;p=rust.git

rustdoc: add margin-bottom spacing to nested lists

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
index b2473dd9b23..a5b4a86ad8d 100644
--- 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 {