:root{--primary:#cc785c;--primary-active:#a9583e;--primary-disabled:#e6dfd8;--ink:#141413;--body:#3d3d3a;--body-strong:#252523;--muted:#6c6a64;--muted-soft:#8e8b82;--hairline:#e6dfd8;--hairline-soft:#ebe6df;--canvas:#faf9f5;--surface-soft:#f5f0e8;--surface-card:#efe9de;--surface-cream-strong:#e8e0d2;--surface-dark:#181715;--surface-dark-elevated:#252320;--surface-dark-soft:#1f1e1b;--on-primary:#fff;--on-dark:#faf9f5;--on-dark-soft:#a09d96;--accent-teal:#5db8a6;--accent-amber:#e8a55a;--success:#5db872;--warning:#d4a017;--error:#c64545}*{box-sizing:border-box}html{scroll-behavior:smooth;overflow-x:hidden}body{background:var(--canvas);color:var(--body);margin:0;font-family:Inter,-apple-system,BlinkMacSystemFont,Segoe UI,Roboto,sans-serif;overflow-x:hidden}main{max-width:100vw;overflow-x:hidden}a{color:inherit;text-decoration:none}button,input{font:inherit}button{cursor:pointer}button:disabled{cursor:not-allowed;opacity:.62}button:focus-visible,a:focus-visible,input:focus-visible,summary:focus-visible{outline-offset:3px;outline:3px solid #cc785c6b}h1,h2,h3{color:var(--ink);margin:0;font-family:Tiempos Headline,Cormorant Garamond,EB Garamond,Georgia,serif;font-weight:400}h1{letter-spacing:-1.5px;max-width:820px;font-size:clamp(40px,7vw,64px);line-height:1.05}h2{letter-spacing:-1px;font-size:clamp(32px,5vw,48px);line-height:1.1}h3{letter-spacing:-.3px;font-size:28px;line-height:1.2}p{margin:0;line-height:1.55}.top-nav{z-index:50;border-bottom:1px solid var(--hairline-soft);-webkit-backdrop-filter:saturate(180%)blur(18px);backdrop-filter:saturate(180%)blur(18px);background:#faf9f5eb;grid-template-columns:auto 1fr auto;align-items:center;gap:24px;height:64px;padding:0 clamp(20px,4vw,48px);display:grid;position:sticky;top:0}.brand-mark{color:var(--ink);align-items:center;gap:10px;font-size:18px;font-weight:500;display:inline-flex}.spike-mark{color:var(--ink);font-size:24px;line-height:1}.nav-links{color:var(--body);justify-content:center;gap:24px;font-size:14px;font-weight:500;display:flex}.experience-dock{z-index:40;border-bottom:1px solid var(--hairline-soft);-webkit-backdrop-filter:saturate(180%)blur(16px);backdrop-filter:saturate(180%)blur(16px);background:#f5f0e8f0;grid-template-columns:minmax(220px,.9fr) minmax(0,2fr) auto;align-items:center;gap:14px;padding:14px clamp(20px,5vw,64px);display:grid;position:sticky;top:64px}.experience-dock__intro{gap:4px;min-width:0;display:grid}.experience-dock__intro .caption-uppercase{margin:0}.experience-dock__intro strong{color:var(--ink);font-size:16px;font-weight:500}.experience-dock__intro p{color:var(--muted);font-size:13px;line-height:1.35}.experience-track{grid-template-columns:repeat(4,minmax(0,1fr));gap:8px;min-width:0;display:grid;position:relative}.experience-track:before{content:"";background-image:linear-gradient(90deg,#cc785c75 0 10px,#0000 10px 18px);background-size:18px 2px;height:2px;animation:2s linear infinite frontierMarch;position:absolute;top:21px;left:20px;right:20px}.experience-card{z-index:1;border:1px solid var(--hairline);min-width:0;color:var(--body);text-align:left;background:#faf9f5e0;border-radius:12px;grid-template-columns:34px minmax(0,1fr);align-items:center;gap:4px 10px;padding:9px;transition:transform .16s,border-color .16s,background .16s;display:grid;position:relative}.experience-card:hover,.experience-card--active{border-color:var(--primary);background:#cc785c1a}.experience-card:hover{transform:translateY(-1px)}.experience-card span{background:var(--surface-card);width:34px;height:34px;color:var(--muted);border-radius:9999px;grid-row:span 2;place-items:center;font-size:12px;font-weight:500;display:grid}.experience-card--active span{background:var(--primary);color:var(--on-primary);box-shadow:0 0 0 5px #cc785c21}.experience-card strong{color:var(--ink);text-overflow:ellipsis;white-space:nowrap;font-size:14px;font-weight:500;overflow:hidden}.experience-card small{color:var(--muted);text-overflow:ellipsis;white-space:nowrap;font-size:12px;overflow:hidden}.hero-band,.concept-lab-band,.surface-soft-band,.dark-band,.footer-band{padding:96px clamp(20px,5vw,64px)}.hero-grid,.concept-lab,.section-heading,.mode-tabs,.proof-layout,.dag-layout,.basis-layout,.atlas-layout,.blueprint-layout,.research-grid{width:min(1200px,100%);margin:0 auto}.hero-grid{grid-template-columns:minmax(0,1fr) minmax(360px,.78fr);align-items:center;gap:48px;display:grid}.hero-copy{gap:22px;display:grid}.hero-copy p{max-width:760px;color:var(--body);font-size:18px}.badge-coral,.badge-pill,.caption-uppercase{letter-spacing:1.5px;text-transform:uppercase;width:fit-content;font-size:12px;font-weight:500;line-height:1.4}.badge-coral{background:var(--primary);color:var(--on-primary);border-radius:9999px;padding:4px 12px}.badge-pill{background:var(--surface-card);color:var(--ink);border-radius:9999px;padding:4px 12px}.caption-uppercase{color:var(--muted);margin-bottom:8px;display:block}.topic-equation{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:12px;min-width:0;max-width:760px;padding:20px 24px;overflow-x:auto}.topic-equation .katex-display{max-width:100%;margin:0;overflow:auto hidden}.math-formula{max-width:100%;font-size:16px}.math-formula--display{-webkit-overflow-scrolling:touch;max-width:100%;margin:0;display:block;overflow:auto hidden}.math-formula .katex-display{max-width:100%;overflow:auto hidden}.math-formula .katex{max-width:100%}.command-bar{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;grid-template-columns:minmax(0,1fr) auto;gap:12px;max-width:760px;padding:8px;display:grid}.command-bar input{min-width:0;height:40px;color:var(--ink);background:0 0;border:0;border-radius:8px;outline:none;padding:10px 14px;font-size:16px}.command-bar:focus-within{border-color:var(--primary);box-shadow:0 0 0 3px #cc785c26}.notation-preview{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:12px;gap:8px;min-width:0;max-width:760px;padding:16px 18px;display:grid}.notation-preview .math-formula--display{min-height:32px}.button-primary,.button-secondary,.button-secondary-on-dark,.category-tab,.icon-button{border:0;border-radius:8px;font-size:14px;font-weight:500;line-height:1;transition:transform .16s,background .16s,border-color .16s}.button-primary{background:var(--primary);min-height:40px;color:var(--on-primary);justify-content:center;align-items:center;padding:12px 20px;text-decoration:none;display:inline-flex}.button-primary:active,.button-secondary:active,.button-secondary-on-dark:active,.category-tab:active,.icon-button:active{transform:translateY(1px)}.button-primary:hover{background:var(--primary-active)}.button-secondary{border:1px solid var(--hairline);background:var(--canvas);min-height:40px;color:var(--ink);padding:12px 20px}.button-secondary-on-dark{background:var(--surface-dark-elevated);min-height:40px;color:var(--on-dark);padding:12px 20px}.icon-button{border:1px solid var(--hairline);background:var(--canvas);min-width:36px;height:36px;color:var(--ink);border-radius:9999px;padding:0 10px}.example-row,.tool-row,.mockup-actions,.footer-actions{flex-wrap:wrap;align-items:center;gap:10px;display:flex}.example-picker{overscroll-behavior:contain;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;max-width:760px;max-height:448px;margin-top:2px;padding-right:6px;display:grid;overflow:auto}.example-picker__head{grid-column:1/-1;justify-content:space-between;align-items:baseline;gap:16px;margin-top:4px;display:flex}.example-picker__head strong{color:var(--ink);font-size:14px;font-weight:500}.example-card{border:1px solid var(--hairline);background:var(--canvas);min-height:128px;color:var(--body);text-align:left;border-radius:12px;gap:7px;padding:14px;transition:transform .16s,border-color .16s,background .16s;display:grid}.example-card:hover,.example-card--active{border-color:var(--primary);background:#cc785c14}.example-card:hover{transform:translateY(-2px)}.example-card>span{background:var(--surface-card);width:fit-content;color:var(--muted);letter-spacing:1px;text-transform:uppercase;border-radius:9999px;padding:3px 8px;font-size:11px;font-weight:500}.example-card strong{color:var(--ink);font-size:15px;font-weight:500}.example-card .math-formula{color:var(--ink);font-size:15px}.example-card small{color:var(--muted);font-size:13px;line-height:1.35}.category-tab{color:var(--muted);background:0 0;border:1px solid #0000;padding:8px 14px}.category-tab--active,.category-tab:hover{background:var(--surface-card);color:var(--ink)}.product-mockup-card-dark,.code-window-card{background:var(--surface-dark);color:var(--on-dark);border-radius:12px}.concept-lab-band{background:var(--canvas);border-top:1px solid var(--hairline-soft)}.concept-lab>.section-heading{margin-bottom:24px}.concept-lab>.section-heading p{max-width:820px}.concept-machine{gap:18px;display:grid}.machine-rail{grid-template-columns:repeat(6,minmax(0,1fr));gap:10px;display:grid;position:relative}.machine-rail:before{content:"";border-top:2px dashed #cc785c52;animation:2.8s linear infinite graphFlow;position:absolute;top:38px;left:24px;right:24px}.machine-node{z-index:1;border:1px solid var(--hairline);background:var(--surface-soft);text-align:left;border-radius:12px;gap:8px;min-height:124px;padding:14px;transition:transform .16s,border-color .16s,background .16s;display:grid;position:relative}.machine-node:hover,.machine-node--active{border-color:var(--primary);background:#cc785c1a}.machine-node:hover{transform:translateY(-2px)}.machine-node span{background:var(--canvas);width:34px;height:34px;color:var(--ink);border-radius:9999px;place-items:center;font-size:13px;font-weight:500;display:grid}.machine-node--active span{background:var(--primary);color:var(--on-primary);box-shadow:0 0 0 6px #cc785c26}.machine-node strong{color:var(--ink);font-size:15px;font-weight:500;line-height:1.25}.machine-node small{color:var(--muted);line-height:1.35}.concept-stage{border:1px solid var(--hairline);background:var(--surface-card);border-radius:16px;grid-template-columns:minmax(0,.75fr) minmax(420px,1fr);gap:24px;padding:28px;display:grid}.concept-stage__copy{align-content:start;gap:14px;display:grid}.concept-stage__copy p{color:var(--body)}.concept-stage__copy blockquote{border-left:4px solid var(--primary);background:var(--canvas);color:var(--body-strong);border-radius:0 12px 12px 0;margin:0;padding:18px;font-family:Tiempos Headline,Georgia,serif;font-size:24px;line-height:1.25}.concept-visual{background:var(--surface-dark);min-width:0;max-width:100%;color:var(--on-dark);overscroll-behavior-x:contain;border-radius:12px;gap:18px;padding:24px;display:grid;overflow-x:auto}.conveyor{grid-template-columns:repeat(5,minmax(110px,1fr));align-items:center;gap:12px;min-width:680px;min-height:220px;display:grid;position:relative}.conveyor:before{content:"";border-top:3px dashed var(--primary);opacity:.78;animation:1.8s linear infinite graphFlow;position:absolute;top:50%;left:7%;right:7%}.conveyor-token{z-index:1;background:var(--surface-dark-elevated);min-height:88px;color:var(--on-dark);text-align:center;border:1px solid #faf9f529;border-radius:12px;place-items:center;padding:14px;font-size:13px;font-weight:500;line-height:1.35;animation:3s ease-in-out infinite floatToken;display:grid;position:relative}.conveyor-token--pair{border-color:var(--accent-amber);animation-delay:.18s}.conveyor-token--adem{border-color:var(--primary);animation-delay:.36s}.conveyor-token--parity{border-color:var(--accent-teal);animation-delay:.54s}.conveyor-token--basis{border-color:var(--success);animation-delay:.72s}.concept-output-card{background:var(--surface-dark-soft);border-radius:12px;gap:8px;min-width:0;padding:18px;display:grid}.concept-output-card span{color:var(--on-dark-soft);letter-spacing:1.4px;text-transform:uppercase;font-size:12px;font-weight:500}.concept-output-card strong{color:var(--on-dark);overflow-wrap:anywhere;font-size:18px;font-weight:500;line-height:1.35}.toolchain-band{background:var(--surface-soft);border-top:1px solid var(--hairline-soft);padding:96px clamp(20px,5vw,64px)}.toolchain-lab{width:min(1200px,100%);margin:0 auto}.toolchain-layout{grid-template-columns:260px minmax(0,1fr);align-items:start;gap:18px;min-width:0;max-width:100%;margin-top:28px;display:grid}.toolchain-picker,.toolchain-stage,.usecase-panel,.toolchain-matrix{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;min-width:0;max-width:100%}.toolchain-picker{gap:8px;max-height:calc(100vh - 112px);padding:12px;display:grid;position:sticky;top:88px;overflow:auto}.toolchain-button{width:100%;color:var(--body);text-align:left;background:0 0;border:1px solid #0000;border-radius:10px;grid-template-columns:42px minmax(0,1fr);align-items:center;gap:8px 12px;padding:12px;transition:transform .16s,border-color .16s,background .16s;display:grid}.toolchain-button:hover,.toolchain-button--active{border-color:var(--primary);background:#cc785c1a}.toolchain-button:hover{transform:translateY(-1px)}.toolchain-button span{background:var(--surface-card);width:38px;height:38px;color:var(--muted);border-radius:9999px;grid-row:span 2;place-items:center;font-size:12px;font-weight:500;display:grid}.toolchain-button--active span{background:var(--primary);color:var(--on-primary)}.toolchain-button strong{min-width:0;color:var(--ink);text-overflow:ellipsis;white-space:nowrap;font-size:15px;font-weight:500;overflow:hidden}.toolchain-button small{min-width:0;color:var(--muted);font-size:13px;line-height:1.3}.toolchain-stage{grid-template-columns:minmax(0,.78fr) minmax(360px,1fr);gap:22px;min-width:0;padding:28px;display:grid}.toolchain-stage__copy{align-content:start;gap:14px;min-width:0;display:grid}.toolchain-stage__copy blockquote{border-left:4px solid var(--primary);background:var(--surface-soft);color:var(--body-strong);border-radius:0 12px 12px 0;margin:0;padding:18px;font-family:Tiempos Headline,Georgia,serif;font-size:23px;line-height:1.25}.toolchain-visual{background:var(--surface-dark);min-width:0;max-width:100%;color:var(--on-dark);border-radius:12px;gap:14px;padding:22px;display:grid}.tool-orbit{background:radial-gradient(circle,#cc785c29,#0000 34%),linear-gradient(#faf9f50b 1px,#0000 1px) 0 0/42px 42px,linear-gradient(90deg,#faf9f50b 1px,#0000 1px) 0 0/42px 42px;border-radius:12px;min-width:0;min-height:360px;position:relative;overflow:hidden}.tool-orbit:before,.tool-orbit:after{content:"";border:1px dashed #faf9f529;border-radius:9999px;animation:22s linear infinite spinOrbit;position:absolute;inset:42px}.tool-orbit:after{animation-duration:18s;animation-direction:reverse;inset:88px}.tool-orbit__core{z-index:2;text-align:center;background:#252320f2;border:1px solid #cc785c99;border-radius:16px;place-items:center;width:min(220px,58%);min-height:118px;padding:18px;display:grid;position:absolute;inset:50%;transform:translate(-50%,-50%)}.tool-orbit__core span{color:var(--on-dark-soft);letter-spacing:1.4px;text-transform:uppercase;font-size:12px;font-weight:500}.tool-orbit__core strong{max-width:100%;color:var(--on-dark);overflow-wrap:anywhere;font-family:Tiempos Headline,Georgia,serif;font-size:28px;font-weight:400;line-height:1.1}.tool-orbit__node{z-index:3;background:var(--surface-dark-elevated);max-width:126px;color:var(--on-dark);border:1px solid #faf9f524;border-radius:9999px;padding:9px 12px;font-size:12px;font-weight:500;transition:transform .16s,border-color .16s,background .16s;position:absolute}.tool-orbit__node:hover,.tool-orbit__node--active{border-color:var(--primary);background:var(--primary);color:var(--on-primary);transform:scale(1.04)}.tool-orbit__node--0{top:22px;left:50%;transform:translate(-50%)}.tool-orbit__node--1{top:88px;right:20px}.tool-orbit__node--2{bottom:48px;right:46px}.tool-orbit__node--3{bottom:22px;left:50%;transform:translate(-50%)}.tool-orbit__node--4{bottom:70px;left:22px}.tool-orbit__node--5{top:90px;left:22px}.tool-orbit__node--0:hover,.tool-orbit__node--0.tool-orbit__node--active,.tool-orbit__node--3:hover,.tool-orbit__node--3.tool-orbit__node--active{transform:translate(-50%)scale(1.04)}.toolchain-handshake{background:var(--surface-dark-elevated);border-radius:12px;gap:6px;padding:16px;display:grid}.toolchain-handshake span{color:var(--on-dark-soft);letter-spacing:1.4px;text-transform:uppercase;font-size:12px;font-weight:500}.toolchain-handshake strong{color:var(--on-dark);font-size:18px;font-weight:500}.toolchain-handshake p{color:var(--on-dark-soft)}.usecase-panel,.toolchain-matrix{grid-column:2;padding:24px}.usecase-tabs{flex-wrap:wrap;gap:8px;margin-bottom:18px;display:flex}.usecase-flow{overscroll-behavior-x:contain;align-items:stretch;gap:10px;padding-bottom:6px;display:flex;overflow-x:auto}.usecase-flow__endpoint,.usecase-flow__step{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:12px;flex:0 0 158px;align-content:center;gap:8px;min-height:122px;padding:14px;display:grid}.usecase-flow__endpoint--output{background:#5db8721a;border-color:#5db8726b}.usecase-flow__endpoint span,.usecase-flow__step span{color:var(--muted);letter-spacing:1.2px;text-transform:uppercase;font-size:12px;font-weight:500}.usecase-flow__endpoint strong,.usecase-flow__step strong{color:var(--ink);font-size:15px;font-weight:500;line-height:1.25}.usecase-flow__step span{background:var(--primary);width:30px;height:30px;color:var(--on-primary);letter-spacing:0;border-radius:9999px;place-items:center;display:grid}.usecase-flow__arrow{color:var(--primary);flex:0 0 28px;place-items:center;font-size:24px;display:grid}.matrix-grid{grid-template-columns:repeat(5,minmax(42px,1fr));gap:8px;margin:18px 0;display:grid}.matrix-grid>strong{color:var(--muted);text-align:center;font-size:12px;font-weight:500}.matrix-cell{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:10px;min-height:54px;transition:transform .16s,border-color .16s,background .16s}.matrix-cell--hot{background:#cc785c2e}.matrix-cell--row{border-color:var(--primary)}.matrix-cell:hover{border-color:var(--primary);background:var(--primary);transform:scale(1.03)}.toolchain-matrix p{color:var(--muted);font-size:14px}.product-mockup-card-dark{gap:18px;padding:32px;display:grid}.mockup-titlebar{color:var(--on-dark-soft);align-items:center;gap:8px;font-size:13px;display:flex}.mockup-titlebar span{background:var(--primary);border-radius:9999px;width:10px;height:10px}.mockup-titlebar span:nth-child(2){background:var(--accent-amber)}.mockup-titlebar span:nth-child(3){background:var(--accent-teal)}.mockup-titlebar strong{margin-left:8px;font-weight:500}.code-window-card{gap:10px;padding:24px;font-family:JetBrains Mono,ui-monospace,SFMono-Regular,Menlo,monospace;font-size:14px;display:grid;overflow-x:auto}.code-line{grid-template-columns:86px minmax(0,1fr);align-items:baseline;gap:16px;display:grid}.code-line span{color:var(--on-dark-soft)}.code-line strong{min-width:0;color:var(--on-dark);word-break:break-word;font-weight:400}.code-line--result strong{color:var(--accent-teal)}.metric-grid{grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;display:grid}.metric-grid--dark .metric-tile{background:var(--surface-dark-elevated);border-color:#faf9f514}.metric-tile{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;gap:6px;padding:16px;display:grid}.metric-tile span{color:var(--muted);letter-spacing:1.5px;text-transform:uppercase;font-size:12px;font-weight:500}.metric-tile strong{color:var(--ink);font-family:Tiempos Headline,Georgia,serif;font-size:28px;font-weight:400;line-height:1}.metric-grid--dark .metric-tile span,.metric-grid--dark .metric-tile strong{color:var(--on-dark)}.status-note,.error-message{border-radius:8px;padding:12px 14px;font-size:14px;line-height:1.45}.status-note{background:var(--surface-dark-elevated);color:var(--on-dark-soft)}.status-note--ok{color:var(--success)}.status-note--error{color:var(--error)}.error-message{max-width:760px;color:var(--error);background:#c645451a}.surface-soft-band{background:var(--surface-soft)}.section-heading{gap:14px;margin-bottom:28px;display:grid}.surface-soft-band>.section-heading{margin-bottom:22px}.section-heading p{max-width:720px}.mode-tabs{z-index:15;-webkit-backdrop-filter:blur(14px);backdrop-filter:blur(14px);background:#f5f0e8e6;flex-wrap:wrap;gap:10px;margin-bottom:24px;padding:10px 0;display:flex;position:sticky;top:76px}.proof-overview{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;grid-template-columns:72px minmax(0,1fr) auto;align-items:center;gap:20px;width:min(1200px,100% - 40px);margin:0 auto 28px;padding:20px 22px;display:grid}.proof-orbit{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:9999px;width:56px;height:56px;position:relative}.proof-orbit:before{content:"";border:1px dashed #cc785c73;border-radius:9999px;animation:6s linear infinite spinOrbit;position:absolute;inset:12px}.orbit-dot{border-radius:9999px;width:12px;height:12px;animation:1.8s ease-in-out infinite pulseDot;position:absolute}.orbit-dot--source{background:var(--primary);top:5px;left:22px}.orbit-dot--rule{background:var(--accent-amber);animation-delay:.18s;top:22px;right:5px}.orbit-dot--survive{background:var(--success);animation-delay:.36s;bottom:5px;left:22px}.orbit-dot--cancel{background:var(--error);animation-delay:.54s;top:22px;left:5px}.proof-overview__copy{min-width:0}.proof-overview__copy strong{color:var(--ink);text-overflow:ellipsis;white-space:nowrap;font-size:18px;font-weight:500;display:block;overflow:hidden}.proof-overview__metrics{flex-wrap:wrap;justify-content:flex-end;gap:8px;display:flex}.proof-overview__metrics span{background:var(--surface-card);color:var(--body);border-radius:9999px;padding:8px 10px;font-size:13px;font-weight:500}.proof-layout,.dag-layout,.atlas-layout{grid-template-columns:240px minmax(0,1fr);align-items:start;gap:18px;display:grid}.dag-layout{grid-template-columns:minmax(0,1fr) 320px}.step-rail{grid-row:span 2}.parity-panel{grid-column:2}.parity-panel .parity-list{grid-template-columns:repeat(auto-fit,minmax(240px,1fr))}.step-rail,.parity-panel,.inspection-column,.atlas-control-panel,.feature-card,.basis-column,.basis-graph-card,.replay-stage,.dag-workspace,.empty-panel{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;padding:22px}.panel-heading,.stage-toolbar{justify-content:space-between;align-items:flex-start;gap:18px;margin-bottom:18px;display:flex}.stage-toolbar h3{font-size:30px}.panel-heading strong{color:var(--ink);font-size:18px;font-weight:500;display:block}.step-list,.parity-list,.trace-forest,.atlas-list{gap:12px;display:grid}.step-button,.basis-button,.atlas-list button{border:1px solid var(--hairline);background:var(--canvas);width:100%;color:var(--body);text-align:left;border-radius:8px;padding:14px;transition:transform .16s,border-color .16s,background .16s}.step-button:hover,.basis-button:hover,.atlas-list button:hover{border-color:var(--primary);transform:translateY(-1px)}.step-button{grid-template-columns:28px minmax(0,1fr);gap:8px 10px;display:grid}.step-button span{background:var(--surface-card);width:28px;height:28px;color:var(--ink);border-radius:9999px;place-items:center;font-size:13px;display:grid}.step-button strong{min-width:0;color:var(--ink);text-overflow:ellipsis;white-space:nowrap;font-size:14px;font-weight:500;overflow:hidden}.step-button small{color:var(--muted);grid-column:2}.step-button--active{border-color:var(--primary);background:#cc785c1a}.replay-stage{min-width:0;overflow:hidden}.range-input{width:100%;accent-color:var(--primary)}.trace-timeline{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:9999px;gap:8px;margin:16px 0 22px;padding:12px;display:flex;position:relative;overflow-x:auto}.trace-timeline:before{content:"";border-top:2px dashed #cc785c59;position:absolute;top:50%;left:24px;right:24px}.trace-timeline__tick{z-index:1;border:1px solid var(--hairline);background:var(--canvas);min-width:34px;height:34px;color:var(--ink);border-radius:9999px;place-items:center;display:grid;position:relative}.trace-timeline__tick--active{border-color:var(--primary);background:var(--primary);color:var(--on-primary);box-shadow:0 0 0 6px #cc785c29}.rewrite-circuit{border:1px solid var(--hairline);background:var(--surface-dark);border-radius:12px;margin:18px 0 22px;overflow-x:auto}.rewrite-circuit svg{width:100%;min-width:780px;height:auto;display:block}.circuit-path{fill:none;stroke:var(--primary);stroke-width:3px;stroke-dasharray:10 10;animation:2s linear infinite graphFlow}.circuit-node rect{fill:var(--surface-dark-elevated);stroke:#faf9f524;stroke-width:1.5px}.circuit-node--pair rect{stroke:var(--accent-amber)}.circuit-node--rule rect{stroke:var(--primary)}.circuit-node--parity rect{stroke:var(--accent-teal)}.circuit-node--output rect{stroke:var(--success)}.circuit-node text{fill:var(--on-dark);text-anchor:middle;font-size:13px;font-weight:500}.circuit-node text:first-of-type{fill:var(--on-dark-soft);letter-spacing:1.3px;text-transform:uppercase;font-size:11px}.rewrite-flow{grid-template-columns:minmax(150px,.8fr) 32px minmax(220px,1fr) 32px minmax(150px,.9fr);align-items:center;gap:16px;margin:24px 0;display:grid}.flow-node,.branch-token{border-radius:12px;animation:.48s both revealUp}.flow-node{border:1px solid var(--hairline);background:var(--surface-card);gap:8px;min-height:132px;padding:20px 22px;display:grid}.flow-node span{color:var(--muted);letter-spacing:1.5px;text-transform:uppercase;font-size:12px;font-weight:500}.flow-node strong{color:var(--ink);font-size:20px;font-weight:500;line-height:1.3}.flow-node .math-formula{max-width:100%;overflow:hidden}.flow-node--rule{background:var(--surface-cream-strong)}.flow-arrow{color:var(--primary);text-align:center;font-size:26px}.branch-cloud{gap:10px;display:grid}.branch-token{border:1px solid var(--hairline);background:var(--canvas);color:var(--body);padding:10px 12px;font-size:14px}.branch-token--live{color:var(--body-strong);background:#5db8721f;border-color:#5db87273}.branch-token--dead{color:var(--muted-soft);text-decoration:line-through}.survival-meter,.final-lock,.parity-bit-board{border:1px solid var(--hairline);background:var(--surface-soft);border-radius:12px;gap:12px;margin-bottom:18px;padding:18px;display:grid}.survival-meter{grid-template-columns:minmax(0,.7fr) minmax(180px,1fr);align-items:center}.survival-meter strong{color:var(--ink);font-size:16px;font-weight:500;display:block}.survival-meter__track{background:var(--surface-cream-strong);border-radius:9999px;height:14px;position:relative;overflow:hidden}.survival-meter__track span{border-radius:inherit;background:linear-gradient(90deg, var(--primary), var(--success));height:100%;animation:.7s both meterFill;display:block}.final-lock,.parity-bit-board{background:var(--canvas)}.parity-bit-board__grid{grid-template-columns:repeat(auto-fit,minmax(180px,1fr));gap:10px;display:grid}.bit-board-card{border:1px solid var(--hairline);background:var(--surface-soft);color:var(--body);text-align:left;border-radius:10px;gap:8px;padding:14px;display:grid}.bit-board-card--live{background:#5db8721a;border-color:#5db8728c}.bit-board-card--dead{opacity:.68}.bit-board-card strong{color:var(--ink);font-size:16px;font-weight:500}.bit-board-card span{color:var(--muted);font-size:13px}.bit-board-card__bits{gap:5px;display:grid}.cancellation-mini{flex-wrap:wrap;gap:8px;display:flex}.cancellation-mini span{background:var(--surface-soft);width:fit-content;color:var(--muted);border-radius:9999px;padding:6px 10px;font-size:13px}.raw-trace-drawer{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;margin-top:18px}.raw-trace-drawer>summary{cursor:pointer;color:var(--ink);padding:16px 18px;font-weight:500;list-style:none}.raw-trace-drawer>summary::-webkit-details-marker{display:none}.raw-trace-drawer .trace-forest{max-height:360px;padding:0 18px 18px;overflow:auto}.trace-card{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;gap:10px;padding:16px;display:grid}.trace-card--expanded{background:var(--surface-card)}.trace-card--zero{opacity:.72}.trace-card--selected{outline:2px solid var(--primary);outline-offset:2px}.trace-card strong{color:var(--ink)}.trace-card small,.trace-card p,.edge-label{color:var(--muted);line-height:1.45}.trace-meta{flex-wrap:wrap;gap:8px;display:flex}.trace-meta span,.edge-label{background:var(--surface-soft);width:fit-content;color:var(--muted);border-radius:9999px;padding:4px 8px;font-size:12px;font-weight:500}.trace-children{border-left:1px solid var(--hairline);gap:12px;margin-left:10px;padding-left:14px;display:grid}.parity-card{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;gap:10px;padding:16px;display:grid}.parity-card--live{border-color:#5db8728c}.parity-card--dead{opacity:.78}.parity-card__top{justify-content:space-between;gap:12px;display:flex}.parity-card__top strong{color:var(--ink)}.parity-card__top span{color:var(--primary);font-size:13px;font-weight:500}.bit-pair{gap:6px;display:grid}.bit-string{gap:3px;font-family:JetBrains Mono,ui-monospace,monospace;display:flex}.bit{background:var(--surface-card);width:22px;height:24px;color:var(--muted);border-radius:4px;place-items:center;font-size:12px;display:grid}.bit--one{background:var(--primary);color:var(--on-primary)}.dag-workspace{min-width:0}.dag-canvas{overscroll-behavior:contain;background:var(--surface-dark);cursor:grab;border-radius:12px;width:100%;height:clamp(460px,64vh,680px);overflow:auto}.dag-canvas:active{cursor:grabbing}.dag-canvas svg{min-width:max(100%,920px);height:680px;display:block}.dag-edge line{stroke:var(--primary);stroke-dasharray:8 8;animation:2.4s linear infinite graphFlow}.dag-edge text{fill:var(--on-dark-soft);text-anchor:middle;font-size:11px}.dag-node{cursor:pointer}.dag-node__rect{fill:var(--surface-dark-elevated);stroke:#faf9f524;stroke-width:1.5px}.dag-node__rect--expanded{stroke:var(--primary)}.dag-node__rect--admissible{fill:#203027;stroke:#5db8728c}.dag-node__rect--zero{fill:#312120;stroke:#c645458c}.dag-node__rect--active{stroke:var(--on-dark);stroke-width:3px}.dag-node__label{fill:var(--on-dark);text-anchor:middle;font-size:13px;font-weight:500}.dag-node__small{fill:var(--on-dark-soft);text-anchor:middle;font-size:11px}.inspection-column{background:0 0;border:0;gap:16px;padding:0;display:grid}.dag-minimap-card{border:1px solid var(--hairline);background:var(--canvas);border-radius:12px;gap:12px;padding:18px;display:grid}.dag-minimap{background:var(--surface-dark);border-radius:10px;height:150px;position:relative;overflow:hidden}.dag-mini-node{background:var(--surface-dark-elevated);border:2px solid #faf9f59e;border-radius:9999px;width:16px;height:16px;position:absolute;transform:translate(-50%,-50%)}.dag-mini-node--expanded{background:var(--primary)}.dag-mini-node--admissible{background:var(--success)}.dag-mini-node--zero{background:var(--error)}.dag-mini-node--active{box-shadow:0 0 0 6px #cc785c3d}.feature-card{background:var(--surface-card);gap:14px;display:grid}.feature-card h3{color:var(--ink)}.feature-card p,.feature-card li{color:var(--body);line-height:1.55}.feature-card ul,.feature-card ol{gap:10px;margin:0;padding-left:20px;display:grid}.feature-card--wide{grid-column:1/-1}.basis-layout{grid-template-columns:260px 260px minmax(0,1fr);align-items:start;gap:20px;display:grid}.basis-column{gap:10px;display:grid}.basis-column--dark,.basis-graph-card{background:var(--surface-dark);color:var(--on-dark);border-color:#0000}.basis-column--dark .caption-uppercase,.basis-graph-card .caption-uppercase{color:var(--on-dark-soft)}.basis-button{color:var(--ink)}.basis-button--dark{background:var(--surface-dark-elevated);color:var(--on-dark);border-color:#faf9f51f}.basis-button--active{border-color:var(--primary);background:#cc785c2e}.basis-graph-card svg{width:100%;min-height:280px}.basis-edge{stroke:var(--primary);stroke-width:2px;stroke-opacity:.62}.basis-edge--active{stroke:var(--accent-teal);stroke-width:4px;stroke-opacity:1}.basis-node{fill:var(--surface-card);stroke:var(--hairline);stroke-width:1.5px;cursor:pointer}.basis-node--dark{fill:var(--surface-dark-elevated);stroke:#faf9f529}.basis-node--active{fill:var(--primary);stroke:var(--on-dark);stroke-width:2.5px}.basis-graph-card text{fill:var(--on-dark);text-anchor:middle;font-size:13px}.latex-strip{background:var(--surface-dark-elevated);border-radius:8px;margin-top:16px;padding:16px;overflow-x:auto}.basis-matrix-panel{background:var(--surface-dark-elevated);border-radius:10px;margin-top:16px;padding:16px}.basis-matrix{grid-template-columns:64px repeat(auto-fit,minmax(46px,1fr));gap:8px;margin-top:12px;display:grid}.basis-matrix__corner,.basis-matrix__head,.basis-matrix__cell{border-radius:8px;place-items:center;min-height:42px;font-size:12px;font-weight:500;display:grid}.basis-matrix__corner,.basis-matrix__head{color:var(--on-dark-soft);background:#faf9f50f}.basis-matrix__cell{color:var(--on-dark-soft);background:#faf9f508;border:1px solid #faf9f51a}.basis-matrix__cell--live{color:var(--on-dark);background:#cc785c59}.basis-matrix__cell--active{outline:2px solid var(--on-dark);outline-offset:2px}.atlas-layout{grid-template-columns:300px minmax(0,1fr)}.atlas-control-panel{gap:16px;display:grid}.atlas-main,.blueprint-layout{grid-template-columns:repeat(2,minmax(0,1fr));gap:20px;display:grid}.skyline-chart{align-items:end;gap:10px;min-height:260px;padding-top:24px;display:flex;overflow-x:auto}.skyline-bar{background:var(--primary);min-width:48px;color:var(--on-primary);transform-origin:bottom;border:0;border-radius:8px 8px 0 0;align-content:space-between;justify-items:center;padding:10px 8px;animation:.52s both barRise;display:grid}.skyline-bar span{font-size:13px;font-weight:500}.skyline-bar strong{font-size:12px;font-weight:500}.atlas-list button{gap:6px;display:grid}.atlas-list strong{color:var(--ink);font-weight:500}.atlas-list span{color:var(--muted);font-size:14px}.atlas-lens-card{background:var(--canvas)}.atlas-lens{grid-template-columns:minmax(0,1fr) minmax(240px,.8fr) auto;align-items:center;gap:18px;display:grid}.atlas-lens p{color:var(--muted);margin-top:8px}.atlas-lens .metric-grid{grid-template-columns:repeat(4,minmax(0,1fr))}.blueprint-layout{align-items:start}.timeline-grid{grid-template-columns:repeat(3,minmax(0,1fr));gap:12px;display:grid}.timeline-grid div{border:1px solid var(--hairline);background:var(--canvas);border-radius:8px;padding:16px}.timeline-grid strong{color:var(--ink);font-weight:500}.timeline-grid p{color:var(--body);margin-top:8px;font-size:14px}.blueprint-flow-card{background:var(--canvas)}.blueprint-flow{grid-template-columns:repeat(6,minmax(0,1fr));gap:10px;display:grid}.blueprint-flow__node{border:1px solid var(--hairline);background:var(--surface-card);border-radius:12px;gap:10px;min-height:112px;padding:16px;animation:.52s both revealUp;display:grid;position:relative}.blueprint-flow__node:after{content:"";border-top:2px dashed var(--primary);width:14px;animation:2.4s linear infinite graphFlow;position:absolute;top:50%;right:-12px}.blueprint-flow__node:last-child:after{display:none}.blueprint-flow__node span{background:var(--primary);width:30px;height:30px;color:var(--on-primary);border-radius:9999px;place-items:center;font-size:13px;display:grid}.blueprint-flow__node strong{color:var(--ink);font-size:16px;font-weight:500}.diagram-frame{gap:12px;display:grid}.tool-row--compact{justify-content:flex-end}.diagram-stage{border:1px solid var(--hairline);background:var(--canvas);cursor:grab;border-radius:12px;min-height:420px;overflow:hidden}.diagram-stage:active{cursor:grabbing}.diagram-transform{transform-origin:0 0}.diagram-transform svg{width:100%;min-width:840px;height:auto}.diagram-transform svg path,.diagram-transform svg line{stroke-dasharray:7 7;animation:2.6s linear infinite graphFlow}pre{background:var(--surface-dark);color:var(--on-dark);border-radius:8px;margin:0;padding:20px;overflow-x:auto}.dark-band{background:var(--surface-dark);color:var(--on-dark)}.dark-band h2,.dark-band h3{color:var(--on-dark)}.dark-band p{color:var(--on-dark-soft)}.research-grid{grid-template-columns:minmax(280px,.7fr) repeat(2,minmax(0,1fr));align-items:stretch;gap:24px;display:grid}.frontier-intro{grid-row:span 2;align-self:start}.frontier-intro p{margin-top:14px}.frontier-signal{background:var(--surface-dark-soft);border:1px solid #faf9f514;border-radius:12px;grid-template-columns:repeat(4,1fr);gap:10px;margin-top:28px;padding:18px;display:grid;position:relative}.frontier-signal:before{content:"";background-image:linear-gradient(90deg, var(--primary) 0 12px, transparent 12px 22px);opacity:.62;background-size:22px 2px;height:2px;animation:1.8s linear infinite frontierMarch;position:absolute;top:50%;left:28px;right:28px}.frontier-signal span{z-index:1;background:var(--surface-dark-elevated);border:1px solid #faf9f51f;border-radius:9999px;height:54px;position:relative}.frontier-signal span:first-child{background:var(--primary)}.frontier-signal span:nth-child(2){background:var(--accent-amber)}.frontier-signal span:nth-child(3){background:var(--accent-teal)}.frontier-signal span:nth-child(4){background:var(--success)}.frontier-card{background:var(--surface-dark-soft);border:1px solid #faf9f514;border-radius:12px;gap:18px;min-width:0;padding:24px;display:grid}.frontier-card--wide{grid-column:span 2}.frontier-card__head{justify-content:space-between;align-items:baseline;gap:16px;display:flex}.frontier-card__head strong{color:var(--on-dark);font-size:16px;font-weight:500}.frontier-stage-grid{grid-template-columns:minmax(220px,.48fr) minmax(0,1fr);gap:18px;display:grid}.frontier-stage-list{gap:10px;display:grid}.frontier-stage-button{background:var(--surface-dark-elevated);width:100%;color:var(--on-dark);text-align:left;border:1px solid #faf9f51a;border-radius:10px;grid-template-columns:34px minmax(0,1fr);align-items:center;gap:10px;padding:12px;display:grid}.frontier-stage-button:hover,.frontier-stage-button--active{border-color:var(--primary);background:#cc785c29}.frontier-stage-button span{background:var(--surface-dark-soft);width:34px;height:34px;color:var(--on-dark);border-radius:9999px;place-items:center;font-size:13px;display:grid}.frontier-stage-button--active span{background:var(--primary)}.frontier-stage-button strong{text-overflow:ellipsis;white-space:nowrap;font-size:14px;font-weight:500;overflow:hidden}.frontier-stage-focus{background:var(--surface-dark-elevated);border-radius:12px;align-content:start;gap:18px;min-width:0;padding:18px;display:grid}.frontier-rail{justify-content:space-between;gap:10px;display:flex;position:relative}.frontier-rail:before{content:"";border-top:2px dashed #faf9f529;position:absolute;top:50%;left:12px;right:12px}.frontier-rail__dot{z-index:1;background:var(--surface-dark-soft);border:2px solid #faf9f52e;border-radius:9999px;width:24px;height:24px;position:relative}.frontier-rail__dot--lit{border-color:var(--primary);background:var(--primary);box-shadow:0 0 0 6px #cc785c1a}.frontier-output{background:var(--surface-dark-soft);border-radius:10px;gap:6px;padding:16px;display:grid}.frontier-output span{color:var(--on-dark-soft);letter-spacing:1.4px;text-transform:uppercase;font-size:12px;font-weight:500}.frontier-output strong{color:var(--on-dark);font-family:Tiempos Headline,Georgia,serif;font-size:28px;font-weight:400;line-height:1.1}.frontier-mini-flow{grid-template-columns:repeat(6,minmax(0,1fr));gap:8px;display:grid;position:relative;overflow:hidden}.frontier-mini-flow:before{content:"";background:#faf9f51f;height:2px;position:absolute;top:18px;left:16px;right:16px}.frontier-mini-flow__node{z-index:1;min-width:0;color:var(--on-dark-soft);justify-items:center;gap:8px;font-size:12px;display:grid;position:relative}.frontier-mini-flow__node span{background:var(--surface-dark-soft);border:1px solid #faf9f529;border-radius:9999px;place-items:center;width:36px;height:36px;transition:transform .18s,background .18s,border-color .18s;display:grid}.frontier-mini-flow__node strong{text-align:center;text-overflow:ellipsis;white-space:nowrap;width:100%;overflow:hidden}.frontier-mini-flow__node--active{color:var(--on-dark)}.frontier-mini-flow__node--active span{border-color:var(--primary);background:var(--primary);color:var(--on-primary);transform:translateY(-2px)}.odd-prime-grid{gap:12px;display:grid}.odd-prime-tile{background:var(--surface-dark-elevated);width:100%;color:var(--on-dark);text-align:left;border:1px solid #faf9f51a;border-radius:12px;gap:8px;padding:16px;display:grid}.odd-prime-tile:hover{border-color:var(--accent-teal)}.odd-prime-tile strong{font-size:26px;font-weight:500}.odd-prime-tile span{width:fit-content;color:var(--accent-teal);background:#5db8a624;border-radius:9999px;padding:4px 10px;font-size:12px;font-weight:500}.odd-prime-tile p{font-size:14px}.question-focus{background:var(--surface-dark-elevated);border-radius:12px;gap:16px;padding:18px;display:grid}.question-focus p{color:var(--on-dark);font-family:Tiempos Headline,Georgia,serif;font-size:26px;line-height:1.2}.question-list{flex-wrap:wrap;gap:8px;display:flex}.question-chip{background:var(--surface-dark-elevated);min-width:46px;height:38px;color:var(--on-dark-soft);border:1px solid #faf9f51a;border-radius:9999px}.question-chip:hover,.question-chip--active{border-color:var(--primary);background:var(--primary);color:var(--on-primary)}.frontier-list{gap:14px;display:grid}.frontier-item{border-bottom:1px solid #faf9f514;gap:6px;min-width:0;padding-bottom:14px;display:grid}.frontier-item:last-child{border-bottom:0;padding-bottom:0}.frontier-item strong{color:var(--on-dark);font-size:15px;font-weight:500;line-height:1.35}.frontier-item p{color:var(--on-dark-soft);font-size:14px;line-height:1.5}.frontier-item--compact{grid-template-columns:58px minmax(0,1fr);gap:14px}.footer-band{background:var(--surface-dark);width:100%;color:var(--on-dark-soft);border-top:1px solid #faf9f514;flex-wrap:wrap;align-items:center;gap:16px;margin:0;display:flex}.footer-band .spike-mark,.footer-band span{color:var(--on-dark)}.footer-actions{margin-left:auto}.empty-panel{color:var(--muted)}@keyframes revealUp{0%{opacity:0;transform:translateY(8px)}to{opacity:1;transform:translateY(0)}}@keyframes spinOrbit{to{transform:rotate(360deg)}}@keyframes pulseDot{0%,to{opacity:.72;transform:scale(.82)}50%{opacity:1;transform:scale(1.15)}}@keyframes meterFill{0%{width:0}}@keyframes barRise{0%{opacity:.4;transform:scaleY(.2)}to{opacity:1;transform:scaleY(1)}}@keyframes floatToken{0%,to{transform:translateY(0)}50%{transform:translateY(-8px)}}@keyframes graphFlow{to{stroke-dashoffset:-16px}}@keyframes frontierMarch{to{background-position:22px 0}}@media (max-width:1080px){.experience-dock{grid-template-columns:1fr;position:static}.mode-tabs{overscroll-behavior-x:contain;flex-wrap:nowrap;padding-bottom:14px;position:static;overflow-x:auto}.mode-tabs .category-tab{flex:none}.hero-grid,.toolchain-layout,.concept-stage,.proof-layout,.dag-layout,.basis-layout,.atlas-layout,.research-grid{grid-template-columns:1fr}.machine-rail{grid-template-columns:repeat(2,minmax(0,1fr))}.machine-rail:before{display:none}.conveyor{grid-template-columns:1fr;min-width:0}.conveyor:before{border-top:0;border-left:3px dashed var(--primary);inset:7% auto 7% 50%}.rewrite-flow{grid-template-columns:1fr}.flow-arrow{transform:rotate(90deg)}.atlas-main,.blueprint-layout,.timeline-grid,.blueprint-flow,.atlas-lens{grid-template-columns:1fr}.frontier-intro,.frontier-card--wide{grid-area:auto}.frontier-stage-grid{grid-template-columns:1fr}.toolchain-picker{grid-template-columns:repeat(2,minmax(0,1fr));max-height:none;position:static}.toolchain-stage,.usecase-panel,.toolchain-matrix{grid-column:auto}.toolchain-stage{grid-template-columns:1fr}.feature-card--wide{grid-column:auto}.footer-actions{margin-left:0}.step-rail,.parity-panel,.inspection-column,.basis-graph-card,.atlas-control-panel{grid-area:auto}.parity-panel .parity-list{grid-template-columns:repeat(auto-fit,minmax(210px,1fr))}.proof-overview{grid-template-columns:56px minmax(0,1fr);width:min(100%,738px)}.proof-overview__metrics{grid-column:1/-1}.stage-toolbar,.panel-heading{align-items:stretch}.dag-canvas{height:520px}}@media (max-width:760px){.top-nav{grid-template-columns:1fr auto}.nav-links{display:none}.experience-dock{gap:10px;padding:14px 18px}.experience-track{overscroll-behavior-x:contain;grid-template-columns:none;padding-bottom:4px;display:flex;overflow-x:auto}.experience-track:before{background-image:linear-gradient(90deg,#cc785c75 0 10px,#0000 10px 18px);background-size:18px 2px;width:auto;height:2px;top:21px;left:20px;right:20px}.experience-card{flex:0 0 224px}.experience-dock__intro p{display:none}.hero-band,.concept-lab-band,.toolchain-band,.surface-soft-band,.dark-band,.footer-band{padding:56px 18px}.command-bar{grid-template-columns:1fr}.example-picker{grid-template-columns:1fr;max-height:none}.machine-rail{grid-template-columns:1fr}.section-heading{gap:10px}.topic-equation,.notation-preview,.concept-visual,.code-window-card,.diagram-stage,.dag-canvas,.basis-graph-card,.atlas-chart-card,.usecase-flow{-webkit-overflow-scrolling:touch}.diagram-stage{min-height:340px;max-height:520px;overflow:auto}.diagram-transform svg{min-width:620px}.tool-row,.mockup-actions,.footer-actions{align-items:stretch}.tool-row>*,.mockup-actions>*,.footer-actions>*{flex:100%}.product-mockup-card-dark,.toolchain-stage,.usecase-panel,.toolchain-matrix,.step-rail,.parity-panel,.atlas-control-panel,.feature-card,.basis-column,.basis-graph-card,.replay-stage,.dag-workspace,.frontier-card{padding:20px}.frontier-mini-flow{grid-template-columns:repeat(3,minmax(0,1fr))}.toolchain-picker{grid-template-columns:1fr}.tool-orbit{min-height:300px}.tool-orbit__node{max-width:104px;padding:8px 10px;font-size:11px}.metric-grid{grid-template-columns:1fr}.proof-overview{grid-template-columns:1fr;width:calc(100% - 36px);padding:18px}.proof-overview__metrics{justify-content:flex-start}.survival-meter{grid-template-columns:1fr}.trace-timeline{flex-wrap:nowrap;padding-bottom:8px;overflow-x:auto}.trace-timeline__tick{flex:none}.rewrite-circuit svg{min-width:620px}.rewrite-flow{gap:12px}.flow-node{min-height:auto}.parity-bit-board__grid{grid-template-columns:1fr}.dag-canvas{height:390px}.dag-minimap{height:120px}.basis-layout,.atlas-main,.blueprint-layout,.timeline-grid,.blueprint-flow,.blueprint-diagrams,.research-grid{grid-template-columns:1fr}.basis-graph-card svg,.blueprint-diagram svg{min-width:620px}.basis-matrix{min-width:520px}.atlas-lens .metric-grid,.frontier-stage-list,.odd-prime-grid{grid-template-columns:1fr}.question-focus p{font-size:22px}.footer-band{align-items:stretch}.blueprint-flow__node:after{display:none}}@media (max-width:430px){h1{font-size:36px}h2{font-size:30px}h3,.stage-toolbar h3{font-size:25px}.top-nav{gap:10px;padding:0 16px}.brand-mark{font-size:16px}.top-nav .button-primary{min-height:36px;padding:10px 14px}.hero-band,.concept-lab-band,.toolchain-band,.surface-soft-band,.dark-band,.footer-band{padding-left:16px;padding-right:16px}.tool-orbit__core{width:176px;min-height:104px}.tool-orbit__core strong{font-size:22px}.tool-orbit__node{max-width:92px;padding:7px 8px}.tool-orbit__node--1,.tool-orbit__node--2{right:8px}.tool-orbit__node--4,.tool-orbit__node--5{left:8px}.frontier-mini-flow{grid-template-columns:repeat(2,minmax(0,1fr))}.matrix-grid{gap:6px}.matrix-cell{min-height:42px}}
@font-face{font-display:block;font-family:KaTeX_AMS;font-style:normal;font-weight:400;src:url(../media/KaTeX_AMS-Regular.0p1vbqd84i2~o.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_AMS-Regular.0b~8ki5y928w2.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_AMS-Regular.173t6ktr7uf-w.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:700;src:url(../media/KaTeX_Caligraphic-Bold.01-pzluls4zgb.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Caligraphic-Bold.0x2v1lwn~880f.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Caligraphic-Bold.16zv5fax0h0ka.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Caligraphic;font-style:normal;font-weight:400;src:url(../media/KaTeX_Caligraphic-Regular.0rysu1t-ncjq8.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Caligraphic-Regular.10927swgekwun.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Caligraphic-Regular.02i3z7wig438t.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:700;src:url(../media/KaTeX_Fraktur-Bold.0w23i72~hprpq.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Fraktur-Bold.0e-16u10iuyyf.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Fraktur-Bold.0et27v~3~4uhe.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Fraktur;font-style:normal;font-weight:400;src:url(../media/KaTeX_Fraktur-Regular.0rekyoa-52fj_.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Fraktur-Regular.0b.riegzdfue2.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Fraktur-Regular.0vjwa15znhk~4.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:700;src:url(../media/KaTeX_Main-Bold.16pfc63_du6mx.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Main-Bold.09lmynrorhcbw.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Main-Bold.09i7~607shf-h.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:700;src:url(../media/KaTeX_Main-BoldItalic.0d54rk08rx11s.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Main-BoldItalic.0cp37g7x1q8h6.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Main-BoldItalic.15j6k~hix2t_0.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:italic;font-weight:400;src:url(../media/KaTeX_Main-Italic.06o5nq0_91v60.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Main-Italic.0382gqciexmbu.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Main-Italic.0su4i6mm18-wo.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Main;font-style:normal;font-weight:400;src:url(../media/KaTeX_Main-Regular.0kaf-ag2_wkm-.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Main-Regular.0diheg01zyoph.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Main-Regular.08zh8z.7shijf.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:700;src:url(../media/KaTeX_Math-BoldItalic.0ja97dn.cpc87.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Math-BoldItalic.0ck1myuerwyqw.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Math-BoldItalic.0ajzxypnbx1h1.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Math;font-style:italic;font-weight:400;src:url(../media/KaTeX_Math-Italic.0zrha2c4sl2je.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Math-Italic.09xkhecjcn5r9.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Math-Italic.0x23a-bmp-5tg.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:700;src:url(../media/KaTeX_SansSerif-Bold.05a9.pc1j_zx9.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_SansSerif-Bold.0jcl-ayi1uun0.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_SansSerif-Bold.0re8y.dm7.mt5.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:italic;font-weight:400;src:url(../media/KaTeX_SansSerif-Italic.0a0234dc3s62j.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_SansSerif-Italic.0judofdln9731.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_SansSerif-Italic.10z1iap9pfus8.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_SansSerif;font-style:normal;font-weight:400;src:url(../media/KaTeX_SansSerif-Regular.0v6gcj32-czft.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_SansSerif-Regular.0h9yjlugq4q_e.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_SansSerif-Regular.0zm18kga42ebc.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Script;font-style:normal;font-weight:400;src:url(../media/KaTeX_Script-Regular.0c4.h-mer83d_.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Script-Regular.0ze6v4r_-99oy.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Script-Regular.0q14y6zkzlpob.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size1;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size1-Regular.013x6a4ierotp.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Size1-Regular.0kidw0oi.m68o.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Size1-Regular.0m6y-i6wfokni.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size2;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size2-Regular.0d5inmyp-tyv3.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Size2-Regular.0blpmluwilgbg.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Size2-Regular.0wnhnvj-.k9d5.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size3;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size3-Regular.0iukctyhw5j56.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Size3-Regular.01h0xm_sfctj3.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Size3-Regular.0jl8mqyf4gzpn.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Size4;font-style:normal;font-weight:400;src:url(../media/KaTeX_Size4-Regular.0w3.rb_c4stzk.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Size4-Regular.12tvaesf3.zl3.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Size4-Regular.0wr_9l81-mu06.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}@font-face{font-display:block;font-family:KaTeX_Typewriter;font-style:normal;font-weight:400;src:url(../media/KaTeX_Typewriter-Regular.0c4zdxz~8frhm.woff2?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff2"),url(../media/KaTeX_Typewriter-Regular.0cgrzn5l3kao5.woff?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("woff"),url(../media/KaTeX_Typewriter-Regular.128~qc3858otl.ttf?dpl=dpl_CtqvewwJP79ZTtqj4dnU1DDovLLD)format("truetype")}.katex{text-indent:0;text-rendering:auto;font:1.21em/1.2 KaTeX_Main,Times New Roman,serif;position:relative}.katex *{border-color:currentColor;-ms-high-contrast-adjust:none!important}.katex .katex-version:after{content:"0.16.47"}.katex .katex-mathml{clip-path:inset(50%);border:0;width:1px;height:1px;padding:0;position:absolute;overflow:hidden}.katex .katex-html>.newline{display:block}.katex .base{white-space:nowrap;width:min-content;position:relative}.katex .base,.katex .strut{display:inline-block}.katex .textbf{font-weight:700}.katex .textit{font-style:italic}.katex .textrm{font-family:KaTeX_Main}.katex .textsf{font-family:KaTeX_SansSerif}.katex .texttt{font-family:KaTeX_Typewriter}.katex .mathnormal{font-family:KaTeX_Math;font-style:italic}.katex .mathit{font-family:KaTeX_Main;font-style:italic}.katex .mathrm{font-style:normal}.katex .mathbf{font-family:KaTeX_Main;font-weight:700}.katex .boldsymbol{font-family:KaTeX_Math;font-style:italic;font-weight:700}.katex .amsrm,.katex .mathbb,.katex .textbb{font-family:KaTeX_AMS}.katex .mathcal{font-family:KaTeX_Caligraphic}.katex .mathfrak,.katex .textfrak{font-family:KaTeX_Fraktur}.katex .mathboldfrak,.katex .textboldfrak{font-family:KaTeX_Fraktur;font-weight:700}.katex .mathtt{font-family:KaTeX_Typewriter}.katex .mathscr,.katex .textscr{font-family:KaTeX_Script}.katex .mathsf,.katex .textsf{font-family:KaTeX_SansSerif}.katex .mathboldsf,.katex .textboldsf{font-family:KaTeX_SansSerif;font-weight:700}.katex .mathitsf,.katex .mathsfit,.katex .textitsf{font-family:KaTeX_SansSerif;font-style:italic}.katex .mainrm{font-family:KaTeX_Main;font-style:normal}.katex .vlist-t{border-collapse:collapse;table-layout:fixed;display:inline-table}.katex .vlist-r{display:table-row}.katex .vlist{vertical-align:bottom;display:table-cell;position:relative}.katex .vlist>span{height:0;display:block;position:relative}.katex .vlist>span>span{display:inline-block}.katex .vlist>span>.pstrut{width:0;overflow:hidden}.katex .vlist-t2{margin-right:-2px}.katex .vlist-s{vertical-align:bottom;width:2px;min-width:2px;font-size:1px;display:table-cell}.katex .vbox{flex-direction:column;align-items:baseline;display:inline-flex}.katex .hbox{width:100%}.katex .hbox,.katex .thinbox{flex-direction:row;display:inline-flex}.katex .thinbox{width:0;max-width:0}.katex .msupsub{text-align:left}.katex .mfrac>span>span{text-align:center}.katex .mfrac .frac-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline,.katex .hline,.katex .mfrac .frac-line,.katex .overline .overline-line,.katex .rule,.katex .underline .underline-line{min-height:1px}.katex .mspace{display:inline-block}.katex .smash{line-height:0;display:inline}.katex .clap,.katex .llap,.katex .rlap{width:0;position:relative}.katex .clap>.inner,.katex .llap>.inner,.katex .rlap>.inner{position:absolute}.katex .clap>.fix,.katex .llap>.fix,.katex .rlap>.fix{display:inline-block}.katex .llap>.inner{right:0}.katex .clap>.inner,.katex .rlap>.inner{left:0}.katex .clap>.inner>span{margin-left:-50%;margin-right:50%}.katex .rule{border:0 solid;display:inline-block;position:relative}.katex .hline,.katex .overline .overline-line,.katex .underline .underline-line{border-bottom-style:solid;width:100%;display:inline-block}.katex .hdashline{border-bottom-style:dashed;width:100%;display:inline-block}.katex .sqrt>.root{margin-left:.277778em;margin-right:-.555556em}.katex .fontsize-ensurer.reset-size1.size1,.katex .sizing.reset-size1.size1{font-size:1em}.katex .fontsize-ensurer.reset-size1.size2,.katex .sizing.reset-size1.size2{font-size:1.2em}.katex .fontsize-ensurer.reset-size1.size3,.katex .sizing.reset-size1.size3{font-size:1.4em}.katex .fontsize-ensurer.reset-size1.size4,.katex .sizing.reset-size1.size4{font-size:1.6em}.katex .fontsize-ensurer.reset-size1.size5,.katex .sizing.reset-size1.size5{font-size:1.8em}.katex .fontsize-ensurer.reset-size1.size6,.katex .sizing.reset-size1.size6{font-size:2em}.katex .fontsize-ensurer.reset-size1.size7,.katex .sizing.reset-size1.size7{font-size:2.4em}.katex .fontsize-ensurer.reset-size1.size8,.katex .sizing.reset-size1.size8{font-size:2.88em}.katex .fontsize-ensurer.reset-size1.size9,.katex .sizing.reset-size1.size9{font-size:3.456em}.katex .fontsize-ensurer.reset-size1.size10,.katex .sizing.reset-size1.size10{font-size:4.148em}.katex .fontsize-ensurer.reset-size1.size11,.katex .sizing.reset-size1.size11{font-size:4.976em}.katex .fontsize-ensurer.reset-size2.size1,.katex .sizing.reset-size2.size1{font-size:.833333em}.katex .fontsize-ensurer.reset-size2.size2,.katex .sizing.reset-size2.size2{font-size:1em}.katex .fontsize-ensurer.reset-size2.size3,.katex .sizing.reset-size2.size3{font-size:1.16667em}.katex .fontsize-ensurer.reset-size2.size4,.katex .sizing.reset-size2.size4{font-size:1.33333em}.katex .fontsize-ensurer.reset-size2.size5,.katex .sizing.reset-size2.size5{font-size:1.5em}.katex .fontsize-ensurer.reset-size2.size6,.katex .sizing.reset-size2.size6{font-size:1.66667em}.katex .fontsize-ensurer.reset-size2.size7,.katex .sizing.reset-size2.size7{font-size:2em}.katex .fontsize-ensurer.reset-size2.size8,.katex .sizing.reset-size2.size8{font-size:2.4em}.katex .fontsize-ensurer.reset-size2.size9,.katex .sizing.reset-size2.size9{font-size:2.88em}.katex .fontsize-ensurer.reset-size2.size10,.katex .sizing.reset-size2.size10{font-size:3.45667em}.katex .fontsize-ensurer.reset-size2.size11,.katex .sizing.reset-size2.size11{font-size:4.14667em}.katex .fontsize-ensurer.reset-size3.size1,.katex .sizing.reset-size3.size1{font-size:.714286em}.katex .fontsize-ensurer.reset-size3.size2,.katex .sizing.reset-size3.size2{font-size:.857143em}.katex .fontsize-ensurer.reset-size3.size3,.katex .sizing.reset-size3.size3{font-size:1em}.katex .fontsize-ensurer.reset-size3.size4,.katex .sizing.reset-size3.size4{font-size:1.14286em}.katex .fontsize-ensurer.reset-size3.size5,.katex .sizing.reset-size3.size5{font-size:1.28571em}.katex .fontsize-ensurer.reset-size3.size6,.katex .sizing.reset-size3.size6{font-size:1.42857em}.katex .fontsize-ensurer.reset-size3.size7,.katex .sizing.reset-size3.size7{font-size:1.71429em}.katex .fontsize-ensurer.reset-size3.size8,.katex .sizing.reset-size3.size8{font-size:2.05714em}.katex .fontsize-ensurer.reset-size3.size9,.katex .sizing.reset-size3.size9{font-size:2.46857em}.katex .fontsize-ensurer.reset-size3.size10,.katex .sizing.reset-size3.size10{font-size:2.96286em}.katex .fontsize-ensurer.reset-size3.size11,.katex .sizing.reset-size3.size11{font-size:3.55429em}.katex .fontsize-ensurer.reset-size4.size1,.katex .sizing.reset-size4.size1{font-size:.625em}.katex .fontsize-ensurer.reset-size4.size2,.katex .sizing.reset-size4.size2{font-size:.75em}.katex .fontsize-ensurer.reset-size4.size3,.katex .sizing.reset-size4.size3{font-size:.875em}.katex .fontsize-ensurer.reset-size4.size4,.katex .sizing.reset-size4.size4{font-size:1em}.katex .fontsize-ensurer.reset-size4.size5,.katex .sizing.reset-size4.size5{font-size:1.125em}.katex .fontsize-ensurer.reset-size4.size6,.katex .sizing.reset-size4.size6{font-size:1.25em}.katex .fontsize-ensurer.reset-size4.size7,.katex .sizing.reset-size4.size7{font-size:1.5em}.katex .fontsize-ensurer.reset-size4.size8,.katex .sizing.reset-size4.size8{font-size:1.8em}.katex .fontsize-ensurer.reset-size4.size9,.katex .sizing.reset-size4.size9{font-size:2.16em}.katex .fontsize-ensurer.reset-size4.size10,.katex .sizing.reset-size4.size10{font-size:2.5925em}.katex .fontsize-ensurer.reset-size4.size11,.katex .sizing.reset-size4.size11{font-size:3.11em}.katex .fontsize-ensurer.reset-size5.size1,.katex .sizing.reset-size5.size1{font-size:.555556em}.katex .fontsize-ensurer.reset-size5.size2,.katex .sizing.reset-size5.size2{font-size:.666667em}.katex .fontsize-ensurer.reset-size5.size3,.katex .sizing.reset-size5.size3{font-size:.777778em}.katex .fontsize-ensurer.reset-size5.size4,.katex .sizing.reset-size5.size4{font-size:.888889em}.katex .fontsize-ensurer.reset-size5.size5,.katex .sizing.reset-size5.size5{font-size:1em}.katex .fontsize-ensurer.reset-size5.size6,.katex .sizing.reset-size5.size6{font-size:1.11111em}.katex .fontsize-ensurer.reset-size5.size7,.katex .sizing.reset-size5.size7{font-size:1.33333em}.katex .fontsize-ensurer.reset-size5.size8,.katex .sizing.reset-size5.size8{font-size:1.6em}.katex .fontsize-ensurer.reset-size5.size9,.katex .sizing.reset-size5.size9{font-size:1.92em}.katex .fontsize-ensurer.reset-size5.size10,.katex .sizing.reset-size5.size10{font-size:2.30444em}.katex .fontsize-ensurer.reset-size5.size11,.katex .sizing.reset-size5.size11{font-size:2.76444em}.katex .fontsize-ensurer.reset-size6.size1,.katex .sizing.reset-size6.size1{font-size:.5em}.katex .fontsize-ensurer.reset-size6.size2,.katex .sizing.reset-size6.size2{font-size:.6em}.katex .fontsize-ensurer.reset-size6.size3,.katex .sizing.reset-size6.size3{font-size:.7em}.katex .fontsize-ensurer.reset-size6.size4,.katex .sizing.reset-size6.size4{font-size:.8em}.katex .fontsize-ensurer.reset-size6.size5,.katex .sizing.reset-size6.size5{font-size:.9em}.katex .fontsize-ensurer.reset-size6.size6,.katex .sizing.reset-size6.size6{font-size:1em}.katex .fontsize-ensurer.reset-size6.size7,.katex .sizing.reset-size6.size7{font-size:1.2em}.katex .fontsize-ensurer.reset-size6.size8,.katex .sizing.reset-size6.size8{font-size:1.44em}.katex .fontsize-ensurer.reset-size6.size9,.katex .sizing.reset-size6.size9{font-size:1.728em}.katex .fontsize-ensurer.reset-size6.size10,.katex .sizing.reset-size6.size10{font-size:2.074em}.katex .fontsize-ensurer.reset-size6.size11,.katex .sizing.reset-size6.size11{font-size:2.488em}.katex .fontsize-ensurer.reset-size7.size1,.katex .sizing.reset-size7.size1{font-size:.416667em}.katex .fontsize-ensurer.reset-size7.size2,.katex .sizing.reset-size7.size2{font-size:.5em}.katex .fontsize-ensurer.reset-size7.size3,.katex .sizing.reset-size7.size3{font-size:.583333em}.katex .fontsize-ensurer.reset-size7.size4,.katex .sizing.reset-size7.size4{font-size:.666667em}.katex .fontsize-ensurer.reset-size7.size5,.katex .sizing.reset-size7.size5{font-size:.75em}.katex .fontsize-ensurer.reset-size7.size6,.katex .sizing.reset-size7.size6{font-size:.833333em}.katex .fontsize-ensurer.reset-size7.size7,.katex .sizing.reset-size7.size7{font-size:1em}.katex .fontsize-ensurer.reset-size7.size8,.katex .sizing.reset-size7.size8{font-size:1.2em}.katex .fontsize-ensurer.reset-size7.size9,.katex .sizing.reset-size7.size9{font-size:1.44em}.katex .fontsize-ensurer.reset-size7.size10,.katex .sizing.reset-size7.size10{font-size:1.72833em}.katex .fontsize-ensurer.reset-size7.size11,.katex .sizing.reset-size7.size11{font-size:2.07333em}.katex .fontsize-ensurer.reset-size8.size1,.katex .sizing.reset-size8.size1{font-size:.347222em}.katex .fontsize-ensurer.reset-size8.size2,.katex .sizing.reset-size8.size2{font-size:.416667em}.katex .fontsize-ensurer.reset-size8.size3,.katex .sizing.reset-size8.size3{font-size:.486111em}.katex .fontsize-ensurer.reset-size8.size4,.katex .sizing.reset-size8.size4{font-size:.555556em}.katex .fontsize-ensurer.reset-size8.size5,.katex .sizing.reset-size8.size5{font-size:.625em}.katex .fontsize-ensurer.reset-size8.size6,.katex .sizing.reset-size8.size6{font-size:.694444em}.katex .fontsize-ensurer.reset-size8.size7,.katex .sizing.reset-size8.size7{font-size:.833333em}.katex .fontsize-ensurer.reset-size8.size8,.katex .sizing.reset-size8.size8{font-size:1em}.katex .fontsize-ensurer.reset-size8.size9,.katex .sizing.reset-size8.size9{font-size:1.2em}.katex .fontsize-ensurer.reset-size8.size10,.katex .sizing.reset-size8.size10{font-size:1.44028em}.katex .fontsize-ensurer.reset-size8.size11,.katex .sizing.reset-size8.size11{font-size:1.72778em}.katex .fontsize-ensurer.reset-size9.size1,.katex .sizing.reset-size9.size1{font-size:.289352em}.katex .fontsize-ensurer.reset-size9.size2,.katex .sizing.reset-size9.size2{font-size:.347222em}.katex .fontsize-ensurer.reset-size9.size3,.katex .sizing.reset-size9.size3{font-size:.405093em}.katex .fontsize-ensurer.reset-size9.size4,.katex .sizing.reset-size9.size4{font-size:.462963em}.katex .fontsize-ensurer.reset-size9.size5,.katex .sizing.reset-size9.size5{font-size:.520833em}.katex .fontsize-ensurer.reset-size9.size6,.katex .sizing.reset-size9.size6{font-size:.578704em}.katex .fontsize-ensurer.reset-size9.size7,.katex .sizing.reset-size9.size7{font-size:.694444em}.katex .fontsize-ensurer.reset-size9.size8,.katex .sizing.reset-size9.size8{font-size:.833333em}.katex .fontsize-ensurer.reset-size9.size9,.katex .sizing.reset-size9.size9{font-size:1em}.katex .fontsize-ensurer.reset-size9.size10,.katex .sizing.reset-size9.size10{font-size:1.20023em}.katex .fontsize-ensurer.reset-size9.size11,.katex .sizing.reset-size9.size11{font-size:1.43981em}.katex .fontsize-ensurer.reset-size10.size1,.katex .sizing.reset-size10.size1{font-size:.24108em}.katex .fontsize-ensurer.reset-size10.size2,.katex .sizing.reset-size10.size2{font-size:.289296em}.katex .fontsize-ensurer.reset-size10.size3,.katex .sizing.reset-size10.size3{font-size:.337512em}.katex .fontsize-ensurer.reset-size10.size4,.katex .sizing.reset-size10.size4{font-size:.385728em}.katex .fontsize-ensurer.reset-size10.size5,.katex .sizing.reset-size10.size5{font-size:.433944em}.katex .fontsize-ensurer.reset-size10.size6,.katex .sizing.reset-size10.size6{font-size:.48216em}.katex .fontsize-ensurer.reset-size10.size7,.katex .sizing.reset-size10.size7{font-size:.578592em}.katex .fontsize-ensurer.reset-size10.size8,.katex .sizing.reset-size10.size8{font-size:.694311em}.katex .fontsize-ensurer.reset-size10.size9,.katex .sizing.reset-size10.size9{font-size:.833173em}.katex .fontsize-ensurer.reset-size10.size10,.katex .sizing.reset-size10.size10{font-size:1em}.katex .fontsize-ensurer.reset-size10.size11,.katex .sizing.reset-size10.size11{font-size:1.19961em}.katex .fontsize-ensurer.reset-size11.size1,.katex .sizing.reset-size11.size1{font-size:.200965em}.katex .fontsize-ensurer.reset-size11.size2,.katex .sizing.reset-size11.size2{font-size:.241158em}.katex .fontsize-ensurer.reset-size11.size3,.katex .sizing.reset-size11.size3{font-size:.281351em}.katex .fontsize-ensurer.reset-size11.size4,.katex .sizing.reset-size11.size4{font-size:.321543em}.katex .fontsize-ensurer.reset-size11.size5,.katex .sizing.reset-size11.size5{font-size:.361736em}.katex .fontsize-ensurer.reset-size11.size6,.katex .sizing.reset-size11.size6{font-size:.401929em}.katex .fontsize-ensurer.reset-size11.size7,.katex .sizing.reset-size11.size7{font-size:.482315em}.katex .fontsize-ensurer.reset-size11.size8,.katex .sizing.reset-size11.size8{font-size:.578778em}.katex .fontsize-ensurer.reset-size11.size9,.katex .sizing.reset-size11.size9{font-size:.694534em}.katex .fontsize-ensurer.reset-size11.size10,.katex .sizing.reset-size11.size10{font-size:.833601em}.katex .fontsize-ensurer.reset-size11.size11,.katex .sizing.reset-size11.size11{font-size:1em}.katex .delimsizing.size1{font-family:KaTeX_Size1}.katex .delimsizing.size2{font-family:KaTeX_Size2}.katex .delimsizing.size3{font-family:KaTeX_Size3}.katex .delimsizing.size4{font-family:KaTeX_Size4}.katex .delimsizing.mult .delim-size1>span{font-family:KaTeX_Size1}.katex .delimsizing.mult .delim-size4>span{font-family:KaTeX_Size4}.katex .nulldelimiter{width:.12em;display:inline-block}.katex .delimcenter,.katex .op-symbol{position:relative}.katex .op-symbol.small-op{font-family:KaTeX_Size1}.katex .op-symbol.large-op{font-family:KaTeX_Size2}.katex .accent>.vlist-t,.katex .op-limits>.vlist-t{text-align:center}.katex .accent .accent-body{position:relative}.katex .accent .accent-body:not(.accent-full){width:0}.katex .overlay{display:block}.katex .mtable .vertical-separator{min-width:1px;display:inline-block}.katex .mtable .arraycolsep{display:inline-block}.katex .mtable .col-align-c>.vlist-t{text-align:center}.katex .mtable .col-align-l>.vlist-t{text-align:left}.katex .mtable .col-align-r>.vlist-t{text-align:right}.katex .svg-align{text-align:left}.katex svg{fill:currentColor;stroke:currentColor;height:inherit;width:100%;display:block;position:absolute}.katex svg path{stroke:none}.katex svg{fill-rule:nonzero;fill-opacity:1;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-dashoffset:0;stroke-opacity:1}.katex img{border-style:none;min-width:0;max-width:none;min-height:0;max-height:none}.katex .stretchy{width:100%;display:block;position:relative;overflow:hidden}.katex .stretchy:after,.katex .stretchy:before{content:""}.katex .hide-tail{width:100%;position:relative;overflow:hidden}.katex .halfarrow-left{width:50.2%;position:absolute;left:0;overflow:hidden}.katex .halfarrow-right{width:50.2%;position:absolute;right:0;overflow:hidden}.katex .brace-left{width:25.1%;position:absolute;left:0;overflow:hidden}.katex .brace-center{width:50%;position:absolute;left:25%;overflow:hidden}.katex .brace-right{width:25.1%;position:absolute;right:0;overflow:hidden}.katex .x-arrow-pad{padding:0 .5em}.katex .cd-arrow-pad{padding:0 .55556em 0 .27778em}.katex .mover,.katex .munder,.katex .x-arrow{text-align:center}.katex .boxpad{padding:0 .3em}.katex .fbox,.katex .fcolorbox{box-sizing:border-box;border:.04em solid}.katex .cancel-pad{padding:0 .2em}.katex .cancel-lap{margin-left:-.2em;margin-right:-.2em}.katex .sout{border-bottom-style:solid;border-bottom-width:.08em}.katex .angl{box-sizing:border-box;border-top:.049em solid;border-right:.049em solid;margin-right:.03889em}.katex .anglpad{padding:0 .03889em}.katex .eqn-num:before{content:"(" counter(katexEqnNo) ")";counter-increment:katexEqnNo}.katex .mml-eqn-num:before{content:"(" counter(mmlEqnNo) ")";counter-increment:mmlEqnNo}.katex .mtr-glue{width:50%}.katex .cd-vert-arrow{display:inline-block;position:relative}.katex .cd-label-left{text-align:left;display:inline-block;position:absolute;right:calc(50% + .3em)}.katex .cd-label-right{text-align:right;display:inline-block;position:absolute;left:calc(50% + .3em)}.katex-display{text-align:center;margin:1em 0;display:block}.katex-display>.katex{text-align:center;white-space:nowrap;display:block}.katex-display>.katex>.katex-html{display:block;position:relative}.katex-display>.katex>.katex-html>.tag{position:absolute;right:0}.katex-display.leqno>.katex>.katex-html>.tag{left:0;right:auto}.katex-display.fleqn>.katex{text-align:left;padding-left:2em}body{counter-reset:katexEqnNo mmlEqnNo}