Skip to content

Conversation

@ehuss
Copy link
Contributor

@ehuss ehuss commented Jan 9, 2026

Ordered lists were having some strange spacing with rule names and in general had too much spacing around them. This adjusts the CSS rules so that it has the same behavior as unordered lists.

Ordered lists were having some strange spacing with rule names and in
general had too much spacing around them. This adjusts the CSS rules so
that it has the same behavior as unordered lists.
@rustbot rustbot added the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Jan 9, 2026
@traviscross traviscross added this pull request to the merge queue Jan 14, 2026
Merged via the queue into rust-lang:master with commit c43366c Jan 14, 2026
5 checks passed
@rustbot rustbot removed the S-waiting-on-review Status: The marked PR is awaiting review from a maintainer label Jan 14, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants