diff options
| author | bors <bors@rust-lang.org> | 2022-10-11 11:03:12 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-11 11:03:12 +0000 |
| commit | bb93450ec4af83c20e9ba6c8e575aca55423001a (patch) | |
| tree | 1f8ec522088447d95945bf12ac8b5fcadc34f95c /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 1e926f06528ecb2503f026e2fd53cb735d487b10 (diff) | |
| parent | 3011538b80a52aedb2d7374798ffa35ea742d475 (diff) | |
| download | rust-bb93450ec4af83c20e9ba6c8e575aca55423001a.tar.gz rust-bb93450ec4af83c20e9ba6c8e575aca55423001a.zip | |
Auto merge of #102915 - JohnTitor:rollup-5ht99y1, r=JohnTitor
Rollup of 7 pull requests Successful merges: - #102258 (Remove unused variable in float formatting.) - #102277 (Consistently write `RwLock`) - #102412 (Never panic in `thread::park` and `thread::park_timeout`) - #102589 (scoped threads: pass closure through MaybeUninit to avoid invalid dangling references) - #102625 (fix backtrace small typo) - #102859 (Move lifetime resolution module to rustc_hir_analysis.) - #102898 (rustdoc: remove unneeded `<div>` wrapper from sidebar DOM) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index d4228a2ebc6..661aed71298 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -501,13 +501,14 @@ img { width: 100px; } -.block ul, .block li { +ul.block, .block li { padding: 0; margin: 0; list-style: none; } .block a, +.sidebar h3 a, h2.location a { display: block; padding: 0.25rem; @@ -767,7 +768,7 @@ h2.small-section-header > .anchor { text-decoration: underline; } -.block a.current.crate { font-weight: 500; } +.crate.block a.current { font-weight: 500; } /* In most contexts we use `overflow-wrap: anywhere` to ensure that we can wrap as much as needed on mobile (see |