/**
 * Homepage theme toggle — three states: auto (default) → light → dark.
 * Auto follows the OS LIVE: no stored choice, and a prefers-color-scheme
 * change flips the page while it's open. An explicit choice persists in
 * localStorage; picking auto clears it.
 * One switch drives both halves of the page: the CSS variables
 * (html[data-theme]) for DOM chrome, and viewer.setTheme() for everything
 * painted on the rgui canvas. First paint is handled by the inline script
 * in index.html (same rules, before CSS applies — no flash).
 */
export {};
//# sourceMappingURL=theme-toggle.d.ts.map