rust/src/librustdoc/html/static/css/noscript.css, branch 1.73.0 https://github.com/rust-lang/rust http://git.dreamy.place/mirrors/rust/atom?h=1.73.0 2023-07-14T23:38:01+00:00 rustdoc: use `src` consistently over `source` in code 2023-07-14T23:38:01+00:00 Michael Howell michael@notriddle.com 2023-07-14T23:38:01+00:00 urn:sha1:34bc8fbea3b72ce1f9254dbed85fddb2d7985f75 The CSS uses an inconsistent mix of both. This commit switches it to always use `src`. rustdoc: use javascript to layout notable traits popups 2022-11-08T05:45:24+00:00 Michael Howell michael@notriddle.com 2022-11-07T22:53:30+00:00 urn:sha1:303653ef65a337b21226a52546615936225fb5af Fixes #102576 rustdoc: remove unused `.sidebar-logo` DOM on source pages 2022-10-24T17:47:24+00:00 Michael Howell michael@notriddle.com 2022-10-24T17:47:24+00:00 urn:sha1:4e1abcda1b195e7636e1e289c8a60e870eeba37a rustdoc: improve appearance of source page navigation bar 2022-10-20T20:31:06+00:00 Michael Howell michael@notriddle.com 2022-10-20T20:22:36+00:00 urn:sha1:f6dd4708cf37689863c867889ab6f9c512825f4d This commit changes things so that the search bar is exactly centered between the top of the page and the top of the source code content area. Remove theme picker button 2022-05-14T15:21:52+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2022-05-11T21:11:18+00:00 urn:sha1:e8762757c3628eed11bd94db07dc0bc94542899a Rename ID "main" into "main-content" 2021-12-02T13:17:20+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2021-11-29T16:14:05+00:00 urn:sha1:d7e998dd14a8eed64df84d3a0ae05a906d7df152 Hide search bar in noscript.css 2021-10-31T19:41:06+00:00 Jacob Hoffman-Andrews github@hoffman-andrews.com 2021-10-27T01:50:07+00:00 urn:sha1:a4fe76ff7cd66d4cad19c0f32a5d3c9efd1d4a60 Also, remove the highlighting of the search bar in disabled state. This reduces flicker when loading a page. Clean up rustdoc static files 2021-07-07T15:52:18+00:00 Guillaume Gomez guillaume.gomez@huawei.com 2021-07-07T12:27:54+00:00 urn:sha1:e5c24ba400b2744455868c2ac4292d8ee3b1b0be