@font-face{font-family:display;src:url(/_next/static/media/e5c540995695d135-s.p.woff2) format("woff2");font-display:swap;font-weight:100 900}@font-face{font-family:display Fallback;src:local("Arial");ascent-override:76.74%;descent-override:19.90%;line-gap-override:0.00%;size-adjust:125.61%}.__className_5380a1{font-family:display,display Fallback}.__variable_5380a1{--font-display:"display","display Fallback"}@font-face{font-family:Plus Jakarta Sans;font-style:normal;font-weight:200 800;font-display:swap;src:url(/_next/static/media/6fe53d21e6e7ebd8-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:Plus Jakarta Sans;font-style:normal;font-weight:200 800;font-display:swap;src:url(/_next/static/media/8ebc6e9dde468c4a-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:Plus Jakarta Sans;font-style:normal;font-weight:200 800;font-display:swap;src:url(/_next/static/media/9e7b0a821b9dfcb4-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:Plus Jakarta Sans;font-style:normal;font-weight:200 800;font-display:swap;src:url(/_next/static/media/636a5ac981f94f8b-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:Plus Jakarta Sans Fallback;src:local("Arial");ascent-override:98.88%;descent-override:21.15%;line-gap-override:0.00%;size-adjust:104.98%}.__className_646807{font-family:Plus Jakarta Sans,Plus Jakarta Sans Fallback;font-style:normal}.__variable_646807{--font-body:"Plus Jakarta Sans","Plus Jakarta Sans Fallback"}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/886030b0b59bc5a7-s.woff2) format("woff2");unicode-range:u+0460-052f,u+1c80-1c8a,u+20b4,u+2de0-2dff,u+a640-a69f,u+fe2e-fe2f}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/0aa834ed78bf6d07-s.woff2) format("woff2");unicode-range:u+0301,u+0400-045f,u+0490-0491,u+04b0-04b1,u+2116}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/67957d42bae0796d-s.woff2) format("woff2");unicode-range:u+0370-0377,u+037a-037f,u+0384-038a,u+038c,u+038e-03a1,u+03a3-03ff}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/f911b923c6adde36-s.woff2) format("woff2");unicode-range:u+0102-0103,u+0110-0111,u+0128-0129,u+0168-0169,u+01a0-01a1,u+01af-01b0,u+0300-0301,u+0303-0304,u+0308-0309,u+0323,u+0329,u+1ea0-1ef9,u+20ab}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/939c4f875ee75fbb-s.woff2) format("woff2");unicode-range:u+0100-02ba,u+02bd-02c5,u+02c7-02cc,u+02ce-02d7,u+02dd-02ff,u+0304,u+0308,u+0329,u+1d00-1dbf,u+1e00-1e9f,u+1ef2-1eff,u+2020,u+20a0-20ab,u+20ad-20c0,u+2113,u+2c60-2c7f,u+a720-a7ff}@font-face{font-family:JetBrains Mono;font-style:normal;font-weight:100 800;font-display:swap;src:url(/_next/static/media/bb3ef058b751a6ad-s.p.woff2) format("woff2");unicode-range:u+00??,u+0131,u+0152-0153,u+02bb-02bc,u+02c6,u+02da,u+02dc,u+0304,u+0308,u+0329,u+2000-206f,u+20ac,u+2122,u+2191,u+2193,u+2212,u+2215,u+feff,u+fffd}@font-face{font-family:JetBrains Mono Fallback;src:local("Arial");ascent-override:75.79%;descent-override:22.29%;line-gap-override:0.00%;size-adjust:134.59%}.__className_3c557b{font-family:JetBrains Mono,JetBrains Mono Fallback;font-style:normal}.__variable_3c557b{--font-mono:"JetBrains Mono","JetBrains Mono Fallback"}.ProofSizeContinuum_wrapper__qYdAI{margin:2rem 0;background:var(--surface-2);border:1px solid var(--border-subtle);border-radius:var(--radius-md);overflow-x:auto;-webkit-overflow-scrolling:touch}.ProofSizeContinuum_wrapper__qYdAI:hover{border-color:var(--border-default)}.ProofSizeContinuum_inner__1Z2lK{min-width:700px;padding:1.25rem 2.5rem 1.5rem}.ProofSizeContinuum_continuum___EZbt{position:relative;height:110px}.ProofSizeContinuum_fitZone__DM6w6{position:absolute;top:0;bottom:0;left:0;background:linear-gradient(90deg,rgba(25,227,33,.015),rgba(25,227,33,.035) 70%,rgba(25,227,33,.015));border-right:1px solid rgba(25,227,33,.12);border-radius:var(--radius-sm) 0 0 var(--radius-sm);pointer-events:none}.ProofSizeContinuum_track__2YC9K{position:absolute;top:38px;left:0;right:0;height:1px;background:linear-gradient(90deg,rgba(var(--tube-color),.04),rgba(var(--tube-color),.12) 50%,rgba(var(--tube-color),.04));box-shadow:var(--tube-bloom-tight)}.ProofSizeContinuum_marker__MyK3J{position:absolute;top:0;bottom:0;transform:translateX(-50%)}.ProofSizeContinuum_size__NbPpj{position:absolute;top:14px;left:50%;transform:translateX(-50%);font-family:var(--font-mono),monospace;font-size:.5625rem;color:var(--text-faint);letter-spacing:.04em;white-space:nowrap}.ProofSizeContinuum_dot__sTjzO{position:absolute;top:35px;left:50%;transform:translateX(-50%);width:5px;height:5px;border-radius:50%;background:rgba(var(--tube-color),.5);transition:background var(--duration-fast) ease}.ProofSizeContinuum_name__T1RMm{top:50px;font-family:var(--font-mono),monospace;font-size:.625rem;font-weight:500;color:var(--text-muted);letter-spacing:.02em}.ProofSizeContinuum_name__T1RMm,.ProofSizeContinuum_note__OYbtQ{position:absolute;left:50%;transform:translateX(-50%);white-space:nowrap}.ProofSizeContinuum_note__OYbtQ{top:68px;font-family:var(--font-body),system-ui,sans-serif;font-size:.5625rem;color:var(--text-faint);opacity:.6}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_dot__sTjzO{width:8px;height:8px;top:34px;background:var(--color-green);box-shadow:0 0 6px rgba(25,227,33,.35),0 0 16px rgba(25,227,33,.1)}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_name__T1RMm{color:var(--color-green);font-weight:600;letter-spacing:.1em}.ProofSizeContinuum_zenon__cwZ2N .ProofSizeContinuum_size__NbPpj{color:var(--text-secondary);font-weight:500}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_dot__sTjzO{background:transparent;border:1px dashed var(--border-default)}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_name__T1RMm{color:var(--text-faint);opacity:.5}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_size__NbPpj{opacity:.5}.ProofSizeContinuum_excluded__yr5BO .ProofSizeContinuum_note__OYbtQ{opacity:.4}