:root{--font-sans: "Plus Jakarta Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, sans-serif;--font-display: "Space Grotesk", var(--font-sans);--font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;color-scheme:dark;--bg-viewport: #070913;--bg-viewport-grad: radial-gradient(circle at 50% 0%, #101735 0%, #070913 70%);--bg-card: rgba(15, 23, 42, .7);--bg-card-subtle: #090d16;--bg-card-focus: rgba(10, 15, 29, .8);--bg-nav: rgba(10, 14, 26, .85);--border-card: rgba(255, 255, 255, .08);--border-subtle: rgba(255, 255, 255, .06);--text-primary: #f1f5f9;--text-secondary: #cbd5e1;--text-muted: #94a3b8;--text-code: #38bdf8;--code-bg: #030712;--code-header: #0f172a;--glass-badge-bg: rgba(15, 23, 42, .75);--glass-badge-border: rgba(255, 255, 255, .12);--proof-card-bg: rgba(15, 23, 42, .6);--process-card-bg: rgba(15, 23, 42, .5);--input-bg: rgba(255, 255, 255, .06);--glow-opacity: .3;--grid-opacity: .035;--shadow-card: 0 4px 20px rgba(0, 0, 0, .3);--footer-bg: rgba(10, 14, 26, .95);--footer-border: rgba(255, 255, 255, .08)}[data-theme=light],html.theme-light{color-scheme:light;--bg-viewport: #f8fafc;--bg-viewport-grad: radial-gradient(circle at 50% 0%, #e2e8f0 0%, #f8fafc 65%);--bg-card: #ffffff;--bg-card-subtle: #f1f5f9;--bg-card-focus: #ffffff;--bg-nav: rgba(255, 255, 255, .88);--border-card: rgba(15, 23, 42, .1);--border-subtle: rgba(15, 23, 42, .06);--text-primary: #0f172a;--text-secondary: #334155;--text-muted: #64748b;--text-code: #0284c7;--code-bg: #0f172a;--code-header: #1e293b;--glass-badge-bg: rgba(255, 255, 255, .85);--glass-badge-border: rgba(15, 23, 42, .12);--proof-card-bg: #ffffff;--process-card-bg: #ffffff;--input-bg: rgba(15, 23, 42, .05);--glow-opacity: .1;--grid-opacity: .025;--shadow-card: 0 4px 20px rgba(15, 23, 42, .06);--footer-bg: #f1f5f9;--footer-border: rgba(15, 23, 42, .08)}*{box-sizing:border-box}html{scroll-behavior:smooth}html,body{margin:0;padding:0;height:100%;background-color:var(--bg-viewport);color:var(--text-primary);transition:background-color .25s ease,color .25s ease}body{font-family:var(--font-sans);background:var(--bg-viewport);color:var(--text-primary);-webkit-font-smoothing:antialiased;-moz-osx-font-smoothing:grayscale}a{color:#ff5b04;text-decoration:none}code,pre{font-family:var(--font-mono)}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:var(--bg-card-subtle)}::-webkit-scrollbar-thumb{background:var(--border-card);border-radius:4px}::-webkit-scrollbar-thumb:hover{background:var(--text-muted)}