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 b2473dd9b236d311cbf2754b1cc4dd547deb0e87..a5b4a86ad8d184b0a2c5dc6d4c2ffb59502f43d4 100644 (file)
--- 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 {