| Age | Commit message (Expand) | 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 |
| 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 |
| 2021-07-07 | Clean up rustdoc static files | Guillaume Gomez | -0/+15 |
