{# Theme toggle — shared between report, landing, pricing, dashboard pages. The active option is highlighted via CSS (data-theme on picks which span gets the accent color); the actual toggle behaviour is wired up by /static/theme-toggle.js. #}