diff options
| author | bors <bors@rust-lang.org> | 2023-03-25 14:34:13 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-03-25 14:34:13 +0000 |
| commit | 96bd50dd47b645efa52d1312b9cc32e507d9cd76 (patch) | |
| tree | a591c692bbd22b9139fe3fa615a6ab7912d76013 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | b72e896268bd741a2a2bb10028dca9e6f8d0ae63 (diff) | |
| parent | beac95a4ab97c119d944f7fb33884d736f18c0be (diff) | |
| download | rust-96bd50dd47b645efa52d1312b9cc32e507d9cd76.tar.gz rust-96bd50dd47b645efa52d1312b9cc32e507d9cd76.zip | |
Auto merge of #109581 - matthiaskrgr:rollup-e8fi2vi, r=matthiaskrgr
Rollup of 7 pull requests Successful merges: - #109355 (Fix bad suggestion for clone/is_some in field init shorthand) - #109484 (Bugfix: avoid panic on invalid json output from libtest) - #109539 (Refactor `find_*_stability` functions) - #109542 (rustdoc: clean up `storage.js`) - #109545 (Deeply check well-formedness of return-position `impl Trait` in trait) - #109568 (miri: fix raw pointer dyn receivers) - #109570 (Add GUI test for "Auto-hide item methods' documentation" setting) 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 | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 7d578b5c775..933a44c5aa7 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -87,21 +87,6 @@ box-sizing: border-box; } -/* This part handles the "default" theme being used depending on the system one. */ -html { - content: ""; -} -@media (prefers-color-scheme: light) { - html { - content: "light"; - } -} -@media (prefers-color-scheme: dark) { - html { - content: "dark"; - } -} - /* General structure and fonts */ body { @@ -1538,7 +1523,7 @@ However, it's not needed with smaller screen width because the doc/code block is /* WARNING: RUSTDOC_MOBILE_BREAKPOINT MEDIA QUERY If you update this line, then you also need to update the line with the same warning -in storage.js +in main.js */ @media (max-width: 700px) { /* When linking to an item with an `id` (for instance, by clicking a link in the sidebar, |