diff options
| author | Jubilee <workingjubilee@gmail.com> | 2024-10-04 14:11:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-04 14:11:38 -0700 |
| commit | 869b8eb7ee151e6509a191a1232d546839e92ab0 (patch) | |
| tree | 4dd558c7a083785e112ea2be8607f24c996f8f5b /compiler/rustc_mir_transform/src/coverage/mod.rs | |
| parent | a17df378e269c1f4aa67e21bbb14011c8d3c1b20 (diff) | |
| parent | 1c63ec9fa002980fb792d8630661e931ebf9ac06 (diff) | |
| download | rust-869b8eb7ee151e6509a191a1232d546839e92ab0.tar.gz rust-869b8eb7ee151e6509a191a1232d546839e92ab0.zip | |
Rollup merge of #131257 - GuillaumeGomez:fix-list-margins, r=notriddle
[rustdoc] Fix list margins Fixes https://github.com/rust-lang/rust/issues/131106. Fixes #131223. Follow-up of #130933. This PR changes the display as follow: the margin between list items is reduced by half to ensure that they visually still seem part of the same list, while also being bigger than previously which improves display for list items with more than one paragragh. Paragraphs also get they bottom margin reduced to a little bit less than the list items bottom margin for two reasons: 1. The list items keep having the biggest bottom margin which makes it better for coherency. 2. The paragraphs are still visually separated but they don't "overcome" the list. | before | after | |-|-| |  |  | Can be tested [here](https://rustdoc.crud.net/imperio/fix-list-margins/doc/test_docs/long_list/index.html). r? ``@notriddle``
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/mod.rs')
0 files changed, 0 insertions, 0 deletions