:root{color-scheme:light;--ink:#111827;--muted:#65748b;--line:#dfe6ee;--blue:#1260d6;--pale:#f4f7fb;--code:#070e19;--code-ink:#d9e8f5}
*{box-sizing:border-box}html{scroll-behavior:smooth;scroll-padding-top:20px}body{margin:0;color:var(--ink);background:#fff;font:15px/1.6 system-ui,-apple-system,BlinkMacSystemFont,"Segoe UI",sans-serif}.site-header,main,.sitefoot{width:min(1180px,calc(100% - 64px));margin:auto}a{color:var(--blue);text-decoration:none}a:hover{text-decoration:underline}.site-header{display:flex;align-items:center;justify-content:space-between;padding:22px 0;gap:20px}.brand{font-size:20px;font-weight:800;letter-spacing:-.7px;color:var(--ink)}nav{display:flex;gap:24px;font-size:13px}nav a{color:var(--muted)}main>section{padding:32px 0;border-bottom:1px solid var(--line)}.eyebrow{color:#16824d;font-size:11px;font-weight:750;letter-spacing:.11em;text-transform:uppercase;margin:0 0 12px}h1{font-size:clamp(35px,3.8vw,48px);line-height:1.08;letter-spacing:-1.8px;font-weight:780;margin:0 0 20px}h2{font-size:27px;font-weight:720;letter-spacing:-.7px;line-height:1.2;margin:0 0 18px}p{margin:0 0 16px}.hero{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:40px;align-items:start}.hero-copy{padding-top:6px}.lede{font-size:18px;line-height:1.5;max-width:510px}.hero-context{font-size:14px;color:var(--muted);max-width:490px}.hero-actions{display:flex;gap:10px;flex-wrap:wrap;margin:22px 0 18px}.button,button,select{font:inherit;border:1px solid #cbd6e4;border-radius:6px;background:#fff;color:var(--ink);padding:8px 12px}.button{display:inline-flex;align-items:center;justify-content:center;font-size:13px;font-weight:650}.button:hover{text-decoration:none;background:var(--pale)}.primary,button.primary{background:var(--blue);border-color:var(--blue);color:#fff}.primary:hover{background:#0d4eb4}button{cursor:pointer;font-weight:600}button:hover{background:var(--pale)}button:disabled{opacity:.5;cursor:default}:focus-visible{outline:3px solid #70a7eb;outline-offset:3px}.results-table{width:100%;border-collapse:collapse;text-align:center;max-width:440px}.results-table caption{text-align:left;font-size:11px;color:var(--muted);margin-bottom:6px}.results-table thead{background:var(--pale)}.results-table th{font-size:12px;font-weight:600;padding:5px 10px}.results-table td{font-size:24px;font-weight:650;padding:1px 10px;border-bottom:1px solid var(--line)}.results-table a{display:block}.table-note{font-size:11px;color:var(--muted);margin:6px 0 0}.explorer{min-width:0;scroll-margin-top:16px}.viewport{position:relative;height:470px;border:1px solid #25344a;border-radius:9px;background:#050b14;overflow:hidden}canvas{display:block;width:100%;height:100%;touch-action:none;cursor:grab}canvas:active{cursor:grabbing}.canvas-label,.canvas-hint{position:absolute;pointer-events:none;font:11px ui-monospace,monospace;color:#aebed4;background:#050b14bb;padding:4px 7px;border-radius:4px}.canvas-label{top:12px;left:12px;max-width:calc(100% - 24px)}.canvas-hint{bottom:12px;right:12px}.controls{display:flex;align-items:center;flex-wrap:wrap;gap:10px;font-size:12px;padding:10px 0}.controls label{display:flex;align-items:center;gap:7px}.controls select,.controls button{font-size:11px;padding:6px 8px}.explorer-controls{flex-wrap:nowrap}.explorer-controls select{max-width:156px}.slider{flex:1;min-width:0}.slider input{flex:1;min-width:45px;width:70px}input[type=range]{accent-color:var(--blue)}output{font-variant-numeric:tabular-nums;font-size:11px;white-space:nowrap}.mono{font:11px/1.5 ui-monospace,monospace;color:var(--muted);overflow-wrap:anywhere}.legend{display:flex;gap:14px;flex-wrap:wrap;font-size:11px;color:var(--muted)}.legend span{display:flex;align-items:center;gap:5px}.legend i{display:inline-block;width:13px;height:3px;background:var(--color)}details{font-size:13px;margin:12px 0;color:var(--muted)}summary{cursor:pointer;color:var(--ink);font-weight:550}details p{margin:12px 0;line-height:1.6}details strong{color:var(--ink)}.explorer>details{margin:0;border-top:1px solid var(--line);padding:7px 0;font-size:11px}.explorer>details p{font-size:12px}.explorer>details[open]{padding-bottom:10px}.table-wrap{overflow-x:auto}.map-table{border-collapse:collapse;width:100%;font-size:12px;text-align:left;font-variant-numeric:tabular-nums}.map-table th,.map-table td{padding:5px 8px;border-bottom:1px solid var(--line)}.map-table caption{font-size:11px;text-align:left;margin-bottom:8px}.basis-rule{display:grid;grid-template-columns:minmax(0,1fr) 250px;gap:36px;align-items:center;max-width:900px;scroll-margin-top:20px}.formula-summary p{font-size:14px;color:var(--muted);max-width:640px;margin:0 0 10px}.formula-summary strong{color:var(--ink)}.formula-summary math{font-size:23px;background:var(--pale);border-radius:6px;padding:12px;margin:12px 0}.basis-diagram{margin:0;text-align:center}.basis-diagram svg{width:100%;max-width:240px;height:auto;display:block;margin:auto}.axis-label{font:600 17px system-ui,sans-serif}.axis-coordinate{font:12px ui-monospace,monospace;fill:var(--muted)}.basis-diagram figcaption{font-size:11px;color:var(--muted)}.basis-diagram figcaption span{display:block;font-size:10px;margin-top:3px}.section-head{display:flex;align-items:center;justify-content:space-between;gap:16px}.panel-head select{font:12px system-ui,sans-serif;min-width:0;max-width:100%;background:#132036;color:#dce8f6;border-color:#53647c;padding:4px 7px}.workbench{display:grid;grid-template-columns:minmax(0,1.2fr) minmax(0,1fr);border:1px solid #26354c;border-radius:8px;overflow:hidden;background:var(--code);color:var(--code-ink)}.source-panel,.output-panel{min-width:0}.source-panel{border-right:1px solid #26354c}.panel-head{min-height:42px;display:flex;flex-wrap:wrap;align-items:center;justify-content:space-between;gap:8px;padding:9px 14px;background:#132036;border-bottom:1px solid #26354c;font:11px/1.3 ui-monospace,monospace}.panel-head strong{font-weight:550}.panel-actions{display:flex;align-items:center;gap:12px}.panel-actions button,.panel-actions a{font:11px system-ui,sans-serif;color:#c2d8f3;padding:3px 0;border:0;background:none;white-space:nowrap}.panel-actions button:hover,.panel-actions a:hover{color:white}.editor{position:relative;height:320px;min-height:150px}.editor textarea,.editor pre{position:absolute;inset:0;width:100%;height:100%;margin:0;padding:16px 18px;font:12px/1.65 ui-monospace,SFMono-Regular,Menlo,monospace;letter-spacing:normal;tab-size:4;white-space:pre;overflow-wrap:normal;border:0;border-radius:0}.editor pre{pointer-events:none;overflow:hidden;color:var(--code-ink);background:transparent}.editor code{font:inherit}.editor textarea{resize:none;overflow:auto;background:transparent;color:transparent;caret-color:#fff;-webkit-text-fill-color:transparent}.editor textarea::selection{background:#42628e88}.editor textarea:focus{outline-offset:-3px}.tok-comment{color:#8496b0}.tok-string{color:#9addaf}.tok-keyword{color:#f078c6}.tok-number{color:#efbc70}.output-panel>pre{height:320px;overflow:auto;margin:0;padding:16px 18px;font:12px/1.65 ui-monospace,SFMono-Regular,Menlo,monospace;white-space:pre-wrap;overflow-wrap:anywhere;color:#bacde3}#run-status{font:11px system-ui,sans-serif;color:#aebfd6}.workbench-controls{grid-column:1/-1;display:flex;flex-wrap:wrap;gap:10px;align-items:center;border-top:1px solid #26354c;padding:10px 14px;background:#132036;font-size:12px}.workbench-controls button{background:transparent;color:#dce8f6;border-color:#53647c;padding:6px 12px}.workbench-controls button.primary{background:var(--blue);border-color:var(--blue)}.workbench-controls span{color:#aebfd6;font-size:11px;margin-left:auto}.workbench.is-fullscreen{position:fixed;inset:0;z-index:10;border-radius:0;grid-template-rows:minmax(0,1fr) auto}.workbench.is-fullscreen .source-panel,.workbench.is-fullscreen .output-panel{display:flex;flex-direction:column;min-height:0}.workbench.is-fullscreen .editor,.workbench.is-fullscreen .output-panel>pre{height:auto;flex:1;min-height:0}.workbench.is-fullscreen .panel-head{flex:none}body.code-fullscreen{overflow:hidden}.verification-summary{max-width:720px;color:var(--muted)}.verification-reports{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:10px;max-width:760px;margin:20px 0 14px}.verification-reports a{display:flex;flex-direction:column;gap:2px;padding:14px 16px;border:1px solid var(--line);border-radius:7px;color:var(--ink)}.verification-reports a:hover{background:var(--pale);text-decoration:none}.verification-reports strong{font-size:14px}.verification-reports span{font-size:12px;color:var(--muted)}.step-words{max-width:900px;margin:24px 0 4px;padding:20px;border:1px solid var(--line);border-radius:8px;background:var(--pale)}.step-words h3{font-size:18px;margin:0 0 4px}.step-words>div>p{font-size:13px;color:var(--muted);margin:0}.step-words>div strong{color:var(--ink)}.step-words dl{display:grid;grid-template-columns:repeat(2,minmax(0,1fr));gap:12px;margin:18px 0 12px}.step-words dl>div{min-width:0}.step-words dt{font-size:12px;font-weight:700;color:var(--ink);margin-bottom:4px}.step-words dd{margin:0}.step-words dd span{display:block;min-height:38px;font-size:12px;line-height:1.5;color:var(--muted);margin-bottom:5px}.step-words code{display:block;overflow-x:auto;font:12px/1.5 ui-monospace,SFMono-Regular,Menlo,monospace;color:var(--ink);white-space:nowrap}.step-words>.note{margin:0}.note{font-size:12px;color:var(--muted)}.code-note{font-size:11px;margin:10px 0 0}.links{display:flex;flex-wrap:wrap;align-items:center;gap:18px;font-size:12px;margin:12px 0}cite{font-style:normal}#sources{font-size:13px;border-bottom:0}#sources>p{margin-bottom:10px}.sitefoot{margin-top:28px;padding:18px 0 28px;border-top:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;flex-wrap:wrap;gap:10px;font-size:11px;font-weight:600;text-transform:uppercase;letter-spacing:.08em;color:var(--muted)}.sitefoot a{color:inherit;text-decoration:none;display:inline-flex;align-items:center;gap:5px}.sitefoot a:hover{color:var(--ink)}.sitefoot .right{display:inline-flex;flex-wrap:wrap;align-items:center;gap:12px 16px;max-width:100%}.institution-logo{display:block;height:20px;width:auto;flex:none}.footer-icon{display:block;width:14px;height:14px;flex:none}.country-flag{display:inline-block;width:13px;height:9px;vertical-align:baseline}.sr-only{position:absolute;width:1px;height:1px;overflow:hidden;clip:rect(0,0,0,0)}
@media(max-width:1050px){.hero{gap:24px}.explorer-controls{flex-wrap:wrap}.explorer-controls .slider{flex-basis:45%}h1{font-size:38px}.viewport{height:440px}}
@media(max-width:760px){.site-header,main,.sitefoot{width:calc(100% - 32px)}.hero{grid-template-columns:minmax(0,1fr);gap:24px;padding-top:18px}.hero-copy{padding:0}.hero-copy h1{font-size:38px}.lede{font-size:17px}.hero-context{font-size:13px}.hero-actions{margin:16px 0}.results-table{max-width:none}.viewport{height:390px}.explorer-controls{flex-wrap:nowrap}.explorer-controls .slider{flex-basis:auto}.basis-rule{grid-template-columns:minmax(0,1fr) 190px;gap:18px}.workbench{grid-template-columns:minmax(0,1fr)}.source-panel{border-right:0}.output-panel .panel-head{border-top:1px solid #26354c}.output-panel>pre{height:190px}.workbench.is-fullscreen{grid-template-rows:minmax(0,1.4fr) minmax(0,1fr) auto}.section-head{align-items:start;flex-direction:column;gap:0}.verification-reports,.step-words dl{grid-template-columns:minmax(0,1fr)}.workbench-controls span{margin:0}h2{font-size:25px}}
@media(max-width:480px){.site-header{padding:16px 0;gap:10px}.brand{font-size:17px}nav{gap:12px;font-size:11px}.hero-copy h1{font-size:36px}.viewport{height:350px}.explorer-controls{flex-wrap:wrap}.explorer-controls .slider{flex-basis:45%}.basis-rule{grid-template-columns:minmax(0,1fr);gap:6px}.basis-diagram svg{max-width:180px}.formula-summary math{font-size:21px}.basis-diagram{display:flex;align-items:center;gap:5px}.basis-diagram svg{width:55%}.basis-diagram figcaption{flex:1;text-align:left}.panel-head{padding:8px 10px}.panel-actions{gap:9px}.editor textarea,.editor pre,.output-panel>pre{padding:12px;font-size:11px}.editor{height:310px}.workbench-controls span{flex-basis:100%}.sitefoot>span:first-child{max-width:340px}}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}@media(forced-colors:active){.editor pre{display:none}.editor textarea{color:CanvasText;-webkit-text-fill-color:CanvasText;caret-color:CanvasText}}