/* ════════════════════════════════════════════════════════════════
— Jour / Nuit / Auto switcher
────────────────────────────────────────────────────────────────
Drives window.THWTheme (defined by the inline boot script in each
page , so the theme is applied before first paint — no flash).
• Jour → forces the light theme (adds `light` class to )
• Nuit → forces the dark theme (adds `dark` class to )
• Auto → follows the time of day (day = light, night = dark),
re-evaluated every minute.
The active mode is persisted in localStorage. and every
`var(--…)` token react automatically when the class changes.
════════════════════════════════════════════════════════════════ */
function ThwSunIcon() {
return (
);
}
function ThwMoonIcon() {
return (
);
}
// Circle split light/dark — reads as "automatic".
function ThwAutoIcon() {
return (
);
}
function ThemeToggle(props) {
const compact = !!(props && props.compact);
const getMode = function () {
return (window.THWTheme && window.THWTheme.getMode()) || 'dark';
};
const [mode, setMode] = React.useState(getMode);
React.useEffect(function () {
setMode(getMode());
if (!window.THWTheme) return undefined;
return window.THWTheme.onChange(function (m) { setMode(m); });
}, []);
const choose = function (m) {
if (window.THWTheme) window.THWTheme.setMode(m);
else setMode(m);
};
const opts = [
{ id: 'light', label: 'Jour', Icon: ThwSunIcon },
{ id: 'dark', label: 'Nuit', Icon: ThwMoonIcon },
{ id: 'auto', label: 'Auto', Icon: ThwAutoIcon },
];
return (