| Age | Commit message (Expand) | 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 |
| 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 |
 |
index : rust | |
| https://github.com/rust-lang/rust |
| about summary refs log tree commit diff |