Workspace preferences

General

Per-browser preferences. These aren't synced to the server — they live in localStorage so each operator picks their own look.

Appearance

Pick a color scheme. System follows your OS and flips live when you change it.