rust - https://github.com/rust-lang/rust

Age	Commit message (Collapse)	Author	Lines
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