Real switches, checkboxes, and alert banners

Settings' on/off toggles are now real switches instead of buttons labeled "On"/"Off". Checkboxes on the Filter panel and admin pages, and warning/error banners across the app, now share one consistent look too.