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

Age	Commit message (Collapse)	Author	Lines
2022-10-19	rustdoc: move `setting-line` color CSS to settings.css	Michael Howell	-0/+19

2022-09-28	rustdoc: clean up "normalize.css 8" input override CSS	Michael Howell	-1/+2
	These rules were copied from normalize.css 3, and are mostly redundant. * `optgroup` isn't used in rustdoc at all * `textarea` is only used for the "copy" button, so it's not visible * The remaining buttons and inputs mostly have styles set anyway. * We should never be setting `color` without also setting the background to something. Otherwise, you get white-on-gray text. That seems to be [the reason] why `normalize.css` changed this. [the reason]: https://github.com/necolas/normalize.css/pull/502
2022-07-27	Fix settings display on small screen size	Guillaume Gomez	-2/+1

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