5 Commits

Author	SHA1	Message	Date
Guillaume Gomez	1ebf0d9c72	Allow to click on toggle text to update it	2022-05-24 15:40:50 +02:00
Guillaume Gomez	92482cabaa	Remove unused CSS settings rules	2022-05-11 11:27:13 +02:00
Jacob Hoffman-Andrews	c790128c3c	Improve wrapping on settings page ... 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-31 01:46:10 -08:00
Jacob Hoffman-Andrews	11b17c6c04	rustdoc settings: use radio buttons for theme ... 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.	2022-01-23 15:55:50 -08:00
Guillaume Gomez	e5c24ba400	Clean up rustdoc static files	2021-07-07 17:52:18 +02:00