From c013de4f9b0e9197dc09f8e48ad970fcdf0dbea4 Mon Sep 17 00:00:00 2001 From: Lyndon Brown Date: Sat, 24 Nov 2018 23:56:27 +0000 Subject: [PATCH] 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 --- src/librustdoc/html/static/rustdoc.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- 2.44.0