| Age | Commit message (Collapse) | Author | Lines | |
|---|---|---|---|---|
| 2024-04-03 | Default to light theme is JS is enabled but not working | Guillaume Gomez | -2/+2 | |
| 2023-12-18 | Stop using the trigram of heaven as a hamburger button | Michael Howell | -0/+2 | |
| It doesn't look quite right, because the lines are too far apart, and it's not going to be announced by screenreaders as a menu button, since that's not what the symbol means. This adds a real tooltip and uses a better drawing of the icon. | ||||
| 2023-12-18 | Add back the column | Michael Howell | -1/+1 | |
| 2023-10-11 | rustdoc: allow resizing the sidebar | Michael Howell | -1/+5 | |
| 2023-09-15 | rustdoc: merge theme css into rustdoc.css | Michael Howell | -0/+213 | |
| Based on https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119 Having them in separate files used to make more sense, before the migration to CSS variables made the theme files as small as they are nowadays. This is already how docs.rs and mdBook do it. | ||||
| 2023-07-14 | rustdoc: use `src` consistently over `source` in code | Michael Howell | -1/+1 | |
| The CSS uses an inconsistent mix of both. This commit switches it to always use `src`. | ||||
| 2022-11-07 | rustdoc: use javascript to layout notable traits popups | Michael Howell | -0/+6 | |
| Fixes #102576 | ||||
| 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 | |
