| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2022-10-24 | rustdoc: remove unused `.sidebar-logo` DOM on source pages | Michael Howell | -0/+4 | |
| 2022-10-20 | rustdoc: improve appearance of source page navigation bar | Michael Howell | -1/+1 | |
| 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. | ||||
| 2022-05-14 | Remove theme picker button | Guillaume Gomez | -4/+0 | |
| 2021-12-02 | Rename ID "main" into "main-content" | Guillaume Gomez | -1/+1 | |
| 2021-10-31 | Hide search bar in noscript.css | Jacob Hoffman-Andrews | -0/+9 | |
| Also, remove the highlighting of the search bar in disabled state. This reduces flicker when loading a page. | ||||
| 2021-07-07 | Clean up rustdoc static files | Guillaume Gomez | -0/+15 | |
