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

Age	Commit message (Collapse)	Author	Lines
2022-06-23	Move help popup into a pocket menu as well	Guillaume Gomez	-21/+0

2022-05-30	Move theme rules out of settings.css	Guillaume Gomez	-9/+0

2022-05-30	Improve display of settings radio buttons	Guillaume Gomez	-24/+20

2022-05-24	Allow to click on toggle text to update it	Guillaume Gomez	-6/+34

2022-05-11	Remove unused CSS settings rules	Guillaume Gomez	-36/+0

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