Commit graph

1 commit

Author SHA1 Message Date
7d2860f97c Replace toggle buttons with normal check boxes
Normal check boxes have clearer semantics, and play nicer with the
usability provided by default by the web browser.
2025-07-21 12:17:20 +02:00