bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

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

Browse source 
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)
This commit is contained in:
Guillaume Gomez 2018-11-29 13:10:52 +01:00 • committed by GitHub
commit f20a1d7b5d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/librustdoc/html/static/rustdoc.css
View file

@ -121,7 +121,7 @@ ol, ul {
padding-left: 25px; padding-left: 25px;
} }
ul ul, ol ul, ul ol, ol ol { ul ul, ol ul, ul ol, ol ol {
margin-bottom: 0; margin-bottom: .6em;
} }
p { p {