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

Age	Commit message (Collapse)	Author	Lines
2022-01-31	Improve wrapping on settings page	Jacob Hoffman-Andrews	-7/+9
	Previously, the radio button choices for themes would wrap awkwardly on narrow screens. With this change, the group of choices will prefer bumping down to the next line together, leaving the setting name on its own line. Also fix some minor spacing issues: - Align the setting name vertically with the radio button choices. - Use margin instead of padding for most spacing choices. - Use no margin/padding on the right-hand side.
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