diff options
| author | bors <bors@rust-lang.org> | 2022-10-08 21:43:25 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-10-08 21:43:25 +0000 |
| commit | f382c2748aec2ada91eff88840c996644ff0f70d (patch) | |
| tree | 85ae870f8b8a10329cece97bf46f5a6e2a4407f9 /src/librustdoc/html/static/css | |
| parent | 8796e7a9cfd4c5c4f1de15ec1c53994ddf288665 (diff) | |
| parent | 92628633ee821eba88b243dea46c0019c407c24a (diff) | |
| download | rust-f382c2748aec2ada91eff88840c996644ff0f70d.tar.gz rust-f382c2748aec2ada91eff88840c996644ff0f70d.zip | |
Auto merge of #102819 - matthiaskrgr:rollup-xwnvofc, r=matthiaskrgr
Rollup of 7 pull requests Successful merges: - #99194 (Fix gdb-cmd for rust-gdbgui) - #99880 (`EscapeAscii` is not an `ExactSizeIterator`) - #102524 (rustdoc: remove weird `<a href="#">` wrapper around unsafe triangle) - #102581 (Make the `config.src` handling for downloadable bootstrap more conservative) - #102604 (Improve readability of bootstrap's README) - #102723 (test: run-make: skip when cross-compiling) - #102815 (rustdoc: remove mobile topbar from source pages instead of hiding it) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'src/librustdoc/html/static/css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 480b893596c..4678c4856f7 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1801,10 +1801,6 @@ in storage.js plus the media query with (min-width: 701px) top: 0; } - .source .mobile-topbar { - display: none; - } - .sidebar-menu-toggle { width: 45px; /* Rare exception to specifying font sizes in rem. Since this is acting |