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

Age	Commit message (Expand)	Author	Lines
2023-05-22	rustdoc: remove unneeded `position: relative` setting CSS	Michael Howell	-1/+0
2023-05-22	rustdoc: merge identical CSS rules	Michael Howell	-5/+3
2023-04-21	rustdoc: remove unused CSS `color: inherit`	Michael Howell	-1/+0
2023-04-12	rustdoc: make settings radio and checks thicker, less contrast	Michael Howell	-1/+2
2023-01-30	rustdoc: remove unused CSS from `.setting-check`	Michael Howell	-2/+0
2023-01-23	rustdoc: simplify settings popover DOM	Michael Howell	-16/+12
2023-01-20	rustdoc: use CSS inline layout for radio line instead of flexbox	Michael Howell	-6/+1
2023-01-18	rustdoc: remove redundant rule `#settings .setting-line`	Michael Howell	-5/+1
2023-01-17	rustdoc: instead of `.setting-name { width: 100% }`, use default div CSS	Michael Howell	-4/+0
2023-01-13	rustdoc: rename CSS rustdoc-toggle -> toggle and toggle -> settings-toggle	Michael Howell	-7/+7
2022-12-15	rustdoc: remove unused CSS `.sub-settings`	Michael Howell	-6/+0
2022-11-10	rustdoc: use checkbox instead of switch for settings toggles	Michael Howell	-38/+19
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
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
2022-01-23	rustdoc settings: use radio buttons for theme	Jacob Hoffman-Andrews	-0/+24
2021-07-07	Clean up rustdoc static files	Guillaume Gomez	-0/+107