/* Theme switcher widget — dev only.  Minimal styling so it doesn't
   clash with any theme's design system. */