:root{color-scheme:dark;--bg:#0c0f15;--surface:#131822;--panel:#191f2b;--line:#2d3544;--text:#f3f5fa;--muted:#a5aec0;--accent:#d5ff73;--blue:#a8bbff;font-family:Inter,ui-sans-serif,system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif;font-size:16px}*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:25px}body{margin:0;background:var(--bg);color:var(--text);line-height:1.6}a{color:inherit;text-decoration:none}a:hover{color:var(--accent)}button,input{font:inherit}button,a,input,summary{touch-action:manipulation}a:focus-visible,button:focus-visible,input:focus-visible,summary:focus-visible{outline:3px solid var(--blue);outline-offset:5px}header,main,footer{max-width:1280px;margin:auto}header{display:flex;align-items:center;justify-content:space-between;padding:25px 40px;border-bottom:1px solid var(--line);gap:24px}.brand{font-size:22px;font-weight:750;letter-spacing:-.7px;display:flex;gap:10px;align-items:center}.mark{font:32px Georgia,serif;color:var(--accent);line-height:1}nav{display:flex;gap:30px;font-size:14px;color:var(--muted)}.source-link{font-size:14px;border:1px solid var(--line);padding:8px 16px;border-radius:5px}.hero{padding:84px 40px 65px;display:grid;grid-template-columns:1.05fr 1fr;gap:60px;align-items:center}.eyebrow{font-size:12px;font-weight:650;letter-spacing:1.5px;color:var(--muted);margin:0 0 18px}h1{font-size:clamp(44px,5.2vw,68px);line-height:1.06;letter-spacing:-3px;margin:0 0 25px;font-weight:620}h1 em{font-family:Georgia,serif;font-weight:400;color:var(--accent)}.intro{color:var(--muted);font-size:17px;max-width:490px;margin-bottom:22px}.text-link{font-size:14px;border-bottom:1px solid var(--accent);padding-bottom:4px}.hero-equation{padding:34px 0 20px;min-width:0}.equation-label{font-size:12px;color:var(--muted);letter-spacing:1.6px}.operands{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;font-size:54px;letter-spacing:-3px;margin:25px 0 12px}.operands span{color:#6e798c;padding:0 10px}.equation-line{height:1px;background:linear-gradient(to right,var(--line),var(--accent));margin-bottom:18px}.answer{font-family:ui-monospace,SFMono-Regular,Consolas,monospace;letter-spacing:-1.5px;font-size:clamp(20px,2.45vw,32px);white-space:nowrap}.answer span{color:var(--accent);border-bottom:2px solid var(--accent);padding-bottom:4px}.hero-equation>p{color:var(--muted);font-size:14px}.format-tag{font-family:ui-monospace,monospace;font-size:12px;color:var(--blue);margin-top:34px}.format-tag span{color:var(--muted);display:inline-block;margin-left:12px}.facts{margin:0 40px;padding:26px 0;border-top:1px solid var(--line);border-bottom:1px solid var(--line);display:grid;grid-template-columns:repeat(4,1fr);gap:25px}.facts>div{display:flex;align-items:center;gap:17px}.facts strong{font-weight:450;font-size:32px;color:var(--blue);letter-spacing:-1px}.facts span{font-size:13px;color:var(--muted);max-width:115px;line-height:1.4}.section{padding:80px 40px 0}.section-heading{display:flex;justify-content:space-between;gap:35px;align-items:end;margin-bottom:30px}.section-heading>p{max-width:365px;font-size:16px;color:var(--muted);margin:0 0 2px}.section h2{font-size:36px;font-weight:570;line-height:1.16;letter-spacing:-1.3px;margin:0}.section .eyebrow{color:var(--blue);margin-bottom:12px}.lab-shell{border:1px solid var(--line);border-radius:10px;overflow:hidden;background:var(--surface)}.controls{padding:25px 28px;border-bottom:1px solid var(--line)}.input-row{display:flex;align-items:end;gap:18px}.input-row label{font-size:14px;display:flex;flex:1;flex-direction:column;gap:8px;min-width:0;color:var(--muted)}input{color:var(--text);width:100%;background:var(--bg);border:1px solid #465166;border-radius:5px;padding:11px 14px;font-family:ui-monospace,monospace;font-size:19px}.plus{margin:0 0 9px;color:var(--muted);font-size:26px}.primary{border:1px solid var(--accent);border-radius:5px;background:var(--accent);color:var(--bg);padding:13px 22px;white-space:nowrap;font-size:15px;font-weight:650;cursor:pointer}.primary:hover{background:#e4ffa9}.micro{font-size:12px;line-height:1.6;color:var(--muted)}#input-hint{margin:9px 0 17px}.presets{display:flex;flex-wrap:wrap;gap:8px}.presets button{font-size:12px;background:transparent;color:var(--muted);border:1px solid var(--line);border-radius:30px;padding:8px 12px;cursor:pointer;min-height:36px}.presets button:hover,.presets button.active{border-color:var(--blue);color:var(--text);background:#26314a}#error{color:#ffb3a9;margin-bottom:0}.result-top{display:flex;gap:20px;align-items:start;justify-content:space-between;padding:30px 28px 20px}.result-top .eyebrow{color:var(--muted);font-size:11px}#result-value{display:block;font-family:ui-monospace,monospace;font-size:clamp(21px,2.8vw,34px);color:var(--accent);letter-spacing:-.8px;overflow-wrap:anywhere;margin:12px 0 5px}#result-context{color:var(--muted);margin:0;font-size:14px}.badge{font-size:12px;color:var(--accent);border:1px solid #54712c;background:#28321f;padding:5px 12px;border-radius:25px;white-space:nowrap;margin-top:25px}.badge.warning{color:#ffc4bb;background:#3a2223;border-color:#875853}.numberline{margin:8px 28px 27px;background:var(--bg);border-radius:5px;padding:20px 24px}.numberline-title{font-size:12px;display:flex;justify-content:space-between;gap:20px;color:var(--muted)}.legend{display:flex;align-items:center;gap:6px}.legend i{width:7px;height:7px;display:inline-block;background:var(--blue);transform:rotate(45deg)}.track{height:3px;background:#4b576d;margin:38px 13px 19px;position:relative}.end{position:absolute;width:11px;height:11px;border-radius:50%;top:-4px;background:var(--text)}.end.left{left:-5px}.end.right{right:-5px}.end.chosen{background:var(--accent);box-shadow:0 0 0 5px #d5ff7321}.exact-marker{position:absolute;top:-16px;width:2px;height:32px;background:var(--blue);left:50%}.exact-marker:before{content:'';position:absolute;left:-4px;top:-6px;width:10px;height:10px;transform:rotate(45deg);background:var(--blue)}.end-labels{display:flex;justify-content:space-between;gap:20px}.end-labels>div:last-child{text-align:right}.end-labels span{display:block;color:var(--muted);font-size:11px}.end-labels strong{font-size:14px;font-weight:450;font-family:ui-monospace,monospace;overflow-wrap:anywhere}.numberline .micro{margin-bottom:0}.steps{display:grid;grid-template-columns:repeat(4,1fr);border-top:1px solid var(--line);border-bottom:1px solid var(--line)}.steps article{padding:23px 23px 27px;min-width:0}.steps article+article{border-left:1px solid var(--line)}.step-index{font-size:12px;font-family:ui-monospace,monospace;color:var(--blue)}h3{font-size:18px;font-weight:600;letter-spacing:-.3px;margin:9px 0}.steps p{color:var(--muted);font-size:13px;margin:0 0 18px;min-height:42px}.value{font-family:ui-monospace,monospace;font-size:14px;line-height:1.65;overflow-wrap:anywhere}.value .compact{color:var(--text)}details{font-family:inherit}summary{font-size:12px;color:var(--blue);cursor:pointer;margin-top:7px;width:fit-content}.expanded{font-size:12px;color:var(--muted);padding-top:8px;overflow-wrap:anywhere}.stored-values>div{display:flex;gap:9px}.stored-values>div+div{margin-top:10px}.stored-values>div>span{font-size:12px;color:var(--muted);padding-top:3px}.error-strip{display:grid;grid-template-columns:1fr 1fr 1fr;padding:22px 28px;gap:25px}.error-strip span{display:block;font-size:11px;color:var(--muted);margin-bottom:7px}.error-strip strong{font-family:ui-monospace,monospace;font-size:12px;font-weight:400;overflow-wrap:anywhere}.demo-note{font-size:12px;color:var(--muted);max-width:940px;line-height:1.7;margin:15px 0 0}.guarantee-grid{display:grid;grid-template-columns:1.1fr 1fr;gap:20px}.theorem-card,.model-card{padding:30px;border:1px solid var(--line);background:var(--surface);border-radius:8px}.guarantee-grid .eyebrow{font-size:11px}.guarantee-grid h3{font-size:25px;font-weight:550}.guarantee-grid p,.guarantee-grid li{font-size:14px;color:var(--muted)}.formula{font-family:ui-monospace,monospace;font-size:15px;background:var(--bg);padding:20px 15px;border-left:2px solid var(--accent);margin:22px 0;overflow-wrap:anywhere}.guarantee-grid li{margin:8px 0}.guarantee-grid ul{padding-left:20px}.guarantee-grid .micro{font-size:12px}.guarantee-grid a,.evidence>a{color:var(--blue);font-size:13px;text-decoration:underline;text-underline-offset:4px}.bound{display:flex;gap:10px;flex-wrap:wrap;margin:23px 0}.bound span{font-family:ui-monospace,monospace;font-size:14px;padding:7px 11px;background:#232a3b;color:var(--blue);border-radius:4px}.boundaries{display:grid;grid-template-columns:repeat(3,1fr);gap:32px;padding-top:25px}.boundaries h3{font-size:16px}.boundaries p{color:var(--muted);font-size:14px}.module-list{border-top:1px solid var(--line)}.module-list>a{display:grid;grid-template-columns:45px 110px 1fr 200px;gap:15px;align-items:center;padding:21px 12px;border-bottom:1px solid var(--line)}.module-list>a:hover{background:var(--surface)}.module-num{font-family:ui-monospace,monospace;color:var(--muted);font-size:12px}.module-list h3{margin:0}.module-list p{margin:0;font-size:14px;color:var(--muted)}.module-tag{font-size:10px;letter-spacing:.7px;color:var(--blue);text-align:right}.status-note{font-size:13px;color:var(--muted);max-width:900px;margin:22px 0 0}.sources{display:grid;grid-template-columns:1.25fr 1fr;gap:80px;padding-bottom:75px}.sources h2{margin-bottom:24px}.sources>div>p:not(.eyebrow){font-size:14px;color:var(--muted)}.source-buttons{display:flex;gap:10px;flex-wrap:wrap;margin-top:24px}.source-buttons a{border:1px solid var(--line);font-size:12px;padding:8px 12px;border-radius:4px}.evidence{background:var(--surface);border-radius:8px;padding:29px}.revision{font-family:ui-monospace,monospace;font-size:32px}.evidence p{color:var(--muted);font-size:13px}.evidence hr{border:0;border-top:1px solid var(--line);margin:24px 0}.ci{display:flex;gap:12px;align-items:start}.ci strong{font-size:14px;font-weight:500}.ci p{margin:2px 0 0;font-size:12px}.check{color:var(--accent)}.evidence .micro{font-size:12px}.evidence>a{display:block;margin-top:10px}footer{border-top:1px solid var(--line);padding:25px 40px;display:flex;align-items:center;justify-content:space-between;gap:25px}footer .brand{font-size:17px}footer>span{font-size:11px;color:var(--muted)}.skip{position:absolute;top:-80px;padding:12px;z-index:4;background:var(--accent);color:var(--bg)}.skip:focus{top:8px;left:8px}.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}[hidden]{display:none!important}
@media(max-width:900px){.hero{gap:32px}.hero-equation .answer{font-size:23px}.hero{padding-top:58px}.facts{grid-template-columns:repeat(2,1fr)}.steps{grid-template-columns:repeat(2,1fr)}.steps article:nth-child(3){border-left:0;border-top:1px solid var(--line)}.steps article:nth-child(4){border-top:1px solid var(--line)}.steps p{min-height:0}.guarantee-grid{grid-template-columns:1fr}.module-list>a{grid-template-columns:30px 90px 1fr}.module-tag{display:none}.sources{gap:30px}.hero .intro br{display:none}.error-strip{grid-template-columns:1fr 1fr}.error-strip>div:last-child{grid-column:1/-1}footer>span:last-child{display:none}}
@media(max-width:650px){header{padding:20px 20px;gap:12px}.brand{font-size:20px}nav{gap:18px}nav a{font-size:12px}nav a:last-child{display:none}.source-link{display:none}.hero{grid-template-columns:1fr;padding:45px 20px 30px;gap:18px}h1{font-size:52px}.intro{font-size:16px}.hero-equation{padding:15px 0 5px;max-width:100%}.operands{font-size:44px;margin:15px 0}.hero-equation .answer{font-size:25px}.format-tag{margin-top:22px}.format-tag span{display:block;margin:4px 0 0}.facts{margin:0 20px;gap:18px;padding:23px 0}.facts strong{font-size:28px}.facts span{font-size:11px}.facts>div{gap:12px}.section{padding:52px 20px 0}.section-heading{display:block}.section h2{font-size:30px}.section-heading>p{margin-top:18px;font-size:14px}.eyebrow{font-size:11px}.controls{padding:20px 18px}.input-row{flex-wrap:wrap;gap:10px}.input-row label{flex:1;min-width:100px}input{font-size:16px;padding:12px 10px}.input-row .primary{width:100%;margin-top:5px;min-height:44px}.plus{font-size:20px}.presets{gap:7px}.presets button{font-size:11px;min-height:38px}.result-top{padding:23px 18px 18px;display:block}.badge{display:inline-block;margin-top:12px}.numberline{margin:0 18px 20px;padding:18px 15px}.numberline-title{display:block;font-size:11px}.legend{margin-top:10px}.end-labels{gap:15px}.end-labels>div{max-width:48%}.end-labels strong{font-size:11px}.steps{grid-template-columns:1fr}.steps article{padding:20px 18px}.steps article+article{border-left:0;border-top:1px solid var(--line)}.steps h3{font-size:17px}.steps p{margin-bottom:12px}.value{font-size:14px}.error-strip{grid-template-columns:1fr;padding:20px 18px;gap:18px}.error-strip>div:last-child{grid-column:auto}.guarantee-grid{gap:16px}.theorem-card,.model-card{padding:22px 18px}.formula{font-size:12px;line-height:1.9;padding:16px 12px}.boundaries{grid-template-columns:1fr;gap:8px}.module-list>a{grid-template-columns:25px 1fr;padding:19px 0;gap:8px 12px}.module-list p{grid-column:2;font-size:13px}.sources{grid-template-columns:1fr;gap:26px;padding-bottom:45px}.evidence{padding:24px}.sources>div>p:not(.eyebrow){font-size:14px}footer{padding:22px 20px;display:block}footer>span{display:block;margin-top:12px}.demo-note{font-size:12px}#result-value{font-size:22px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}

.error-strip .value{font-size:12px}.error-strip .value .compact{font-size:12px;color:var(--text);margin:0}.error-strip summary{font-size:12px}.error-strip .expanded{font-size:12px}
/* Reading sizes and touch targets remain comfortable on narrow screens. */
.guarantee-grid p,.guarantee-grid li,.boundaries p,.sources>div>p:not(.eyebrow){font-size:16px}.module-list p{font-size:16px}.presets button{font-size:14px;min-height:44px}.numberline-title,.end-labels strong{font-size:14px}.steps p{font-size:14px}.demo-note{font-size:13px}.source-buttons a,.guarantee-grid a,.evidence>a{font-size:14px}.source-buttons a{min-height:44px}.error-strip span{font-size:12px}.error-strip .value .compact{font-size:13px}summary{font-size:14px}.numberline .micro{font-size:12px}.micro{font-size:13px}@media(max-width:650px){.end-labels strong{font-size:12px}.guarantee-grid p,.guarantee-grid li,.boundaries p,.sources>div>p:not(.eyebrow){font-size:16px}.presets button{font-size:13px}.module-list p{font-size:14px}}