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

Age	Commit message (Collapse)	Author	Lines
2022-01-23	rustdoc settings: use radio buttons for theme	Jacob Hoffman-Andrews	-0/+24
	This reduces the number of clicks required to change theme. Also, simplify the UI a bit (remove setting grouping), and add a "Back" link close to the settings icon.
2021-07-07	Clean up rustdoc static files	Guillaume Gomez	-0/+107