diff options
| author | Michael Howell <michael@notriddle.com> | 2022-10-12 11:24:23 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-10-12 11:24:23 -0700 |
| commit | f8da2295ded3b402a16685848199e50b2fabacbb (patch) | |
| tree | 400a5c0bac5ffc9ed2a89ef9a5e55849666424da | |
| parent | 538f118da1409759ba198acc0ff62070bc6d2dce (diff) | |
| download | rust-f8da2295ded3b402a16685848199e50b2fabacbb.tar.gz rust-f8da2295ded3b402a16685848199e50b2fabacbb.zip | |
rustdoc: merge separate `.item-info` CSS
Rough timeline: * The longer `.content .item-info` selector originated in 110e7270ab7b0700ce714b8b1c7e509195dea2c4. No reason seems to be given in the PR why it needed the `.content` part, but it was probably added because of <https://github.com/rust-lang/rust/blob/110e7270ab7b0700ce714b8b1c7e509195dea2c4/src/librustdoc/html/static/rustdoc.css#L476-L478>. That selector with the margin-bottom was removed when CSS containment was added in 8846c0853d8687fda0e5f23f6687b03b243980ee. * `.stability` was renamed `.item-info` in caf6c5790a858893c1d32ed2054c9577d12e7493. * The selector without the `.content` was added in d48a39a5e24ab08f727d1c919dc2af98c333ad14.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index f5b0d15d733..577cc3ed694 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -694,16 +694,13 @@ pre, .rustdoc.source .example-wrap { .item-info { display: block; + margin-left: 24px; } -.content .item-info code { +.item-info code { font-size: 0.875rem; } -.content .item-info { - margin-left: 24px; -} - #main-content > .item-info { margin-top: 0; margin-left: 0; @@ -1948,7 +1945,7 @@ in storage.js plus the media query with (min-width: 701px) } /* Align summary-nested and unnested item-info gizmos. */ - .content .impl-items > .item-info { + .impl-items > .item-info { margin-left: 34px; } } |
