:root{--accent:#2d6fb4;--accent-soft:#e8f2fb;--accent-line:#a9c5df;--ink:#173432;--muted:#6b7280;--green:var(--accent);--bright:var(--accent);--paper:#f4f6f8;--line:#d9dee7;--dark:#111827;--mono:"Replay Mono",monospace;--font:"Replay Sans",Arial,sans-serif;color-scheme:light;font-synthesis:none}
*{box-sizing:border-box}body{margin:0;background:var(--paper);color:var(--ink);font:15px var(--font);-webkit-font-smoothing:antialiased}button,input,select{font:inherit}button,select{cursor:pointer}button{border:0;background:none;color:inherit}button:focus-visible,a:focus-visible,input:focus-visible,select:focus-visible,[tabindex]:focus-visible{outline:3px solid var(--accent);outline-offset:4px}button:disabled{opacity:.35;cursor:default}button:hover:not(:disabled){filter:brightness(.9)}[hidden]{display:none!important}.app{height:100svh;min-height:680px;max-width:2400px;margin:0 auto;padding:26px 48px 18px;display:flex;flex-direction:column;gap:0}.masthead{display:flex;align-items:center;justify-content:space-between;padding-bottom:24px}.brand{display:flex;gap:12px;align-items:center;font-size:16px;font-weight:700;letter-spacing:2px}.brand svg{width:27px;height:32px;fill:none;stroke:var(--green);stroke-width:2;stroke-linecap:round}.brand-slash{font-weight:400;color:#9ca3af;margin:0 5px}.brand-sub{display:block;font-size:8px;letter-spacing:2.3px;font-weight:500;margin-top:5px;color:var(--muted)}.masthead-right{display:flex;align-items:center;gap:9px;font-size:10px;letter-spacing:1.5px;color:var(--muted)}.live-dot{display:inline-block;width:6px;height:6px;border-radius:50%;background:var(--green);flex-shrink:0}.divider{color:#9ca3af;margin:0 7px}.mono{font-family:var(--mono)}.about-button{border:1px solid #9ca3af;border-radius:50%;width:20px;height:20px;font-family:Georgia,serif;font-size:13px;margin-left:12px}.title-row{display:flex;justify-content:space-between;align-items:center;padding-bottom:24px}.eyebrow{display:flex;align-items:center;gap:10px;font-size:9px;font-weight:600;letter-spacing:1.8px;color:var(--muted)}.problem-tag{padding:4px 7px;background:#f4f6f8;color:#6b7280;border-radius:4px;font-family:var(--mono);font-weight:600;letter-spacing:1px}h1{font-size:57px;letter-spacing:-2.8px;line-height:1.07;font-weight:600;margin:12px 0 0}.title-period{color:#6b7280}.title-right{text-align:right;padding-top:20px}.run-label{font-size:9px;letter-spacing:1.8px;color:var(--muted)}.run-facts{display:flex;align-items:center;gap:20px;margin-top:14px;font-size:12px;color:var(--muted)}.run-facts strong{font-size:18px;color:var(--ink);font-weight:600;margin-right:3px}.run-facts i{display:block;width:1px;height:16px;background:var(--line)}.stage-nav{display:flex;align-items:center;justify-content:space-between;border-bottom:1px solid var(--line);margin-bottom:20px}.stage-links{display:flex;gap:28px}.stage-links button{padding:0 0 13px;font-size:12px;color:#6b7280;position:relative}.stage-links button.active{color:var(--green);font-weight:600}.stage-links button.active:after{content:"";position:absolute;bottom:-1px;left:0;right:0;height:2px;background:var(--green)}.reconstruction-label{font-size:10px;color:#6b7280;margin-bottom:12px}.workspace{flex:1;min-height:0;position:relative}.scene{height:100%;border:1px solid var(--line);border-radius:13px;background:#ffffff;overflow:hidden;position:relative}.statement-scene,.approach-scene{display:grid;grid-template-columns:1fr 1fr;grid-template-rows:1fr 60px;padding:0 44px;column-gap:7%}.intro-copy{display:flex;flex-direction:column;justify-content:center;padding:30px 0}.section-kicker{font-size:9px;font-weight:600;letter-spacing:1.9px;color:var(--green);display:flex;align-items:center;gap:10px}.short-rule{display:inline-block;width:23px;height:1px;background:var(--green)}.intro-copy h2{font-weight:500;font-size:46px;line-height:1.1;letter-spacing:-1.9px;margin:22px 0}.statement-lead{font-size:17px;line-height:1.8;margin:0;max-width:490px;color:#6b7280}.statement-lead strong{font-weight:600;color:var(--ink)}em{font-family:Georgia,serif;font-style:italic;color:var(--ink)}.supporting{font-size:12px;line-height:1.9;color:var(--muted);margin:20px 0 0;max-width:470px}.inline-alphabet{font:12px var(--mono);letter-spacing:2px;margin-left:4px;color:var(--green)}.wildcard-inline{font-family:var(--mono);padding:1px 5px;border:1px solid #d9dee7;border-radius:4px;color:var(--green);background:#f4f6f8}.constraint-row{display:flex;gap:15px;margin-top:20px;font-size:10px;color:#6b7280}.constraint-row span+span{border-left:1px solid var(--line);padding-left:15px}.text-link{font-size:11px;color:var(--green);padding:0;text-align:left;white-space:nowrap}.text-link span{margin-left:8px}.intro-copy>.text-link{align-self:flex-start;margin-top:23px}.string-example,.sampling-example{align-self:center;padding:27px 28px 25px;border-radius:11px;background:#f4f6f8;border:1px solid #f4f6f8;position:relative}.example-topline{display:flex;justify-content:space-between;align-items:center;font-size:9px;letter-spacing:1.5px;color:#6b7280}.example-topline .mono{font-size:10px;letter-spacing:0;color:#6b7280}.pattern-pair{display:flex;align-items:center;justify-content:center;gap:19px;margin-top:28px}.pattern-label{font-size:8px;letter-spacing:1.4px;color:var(--green)}.pattern-set{text-align:center}.symbol-row{display:flex;gap:6px;margin:12px 0 10px}.symbol-row b{display:flex;align-items:center;justify-content:center;width:47px;height:53px;border-radius:7px;background:#ffffff;border:1px solid #d9dee7;color:var(--green);font:25px var(--mono);box-shadow:0 3px 0 #d9dee7}.symbol-row b.wildcard{border-style:dashed;background:#f4f6f8}.gold .symbol-row b{border-color:#9ca3af;color:var(--accent);background:#f4f6f8;box-shadow:0 3px 0 #d9dee7}.gold .symbol-row b.wildcard{background:#d9dee7}.gold .pattern-label{color:var(--accent)}.pattern-or{font:italic 17px Georgia,serif;color:#6b7280}.pattern-desc{font-size:9px;color:#6b7280}.union-connector{display:flex;align-items:center;gap:12px;justify-content:center;margin:26px 0 15px}.union-connector span{height:1px;background:#d9dee7;flex:1}.union-connector small{font-size:9px;color:#6b7280}.sequence-union{display:flex;gap:5px;justify-content:center;flex-wrap:wrap}.sequence-union span{border:1px solid #d9dee7;border-radius:4px;padding:7px 9px;color:#6b7280;font:11px var(--mono);background:#f4f6f8}.sequence-union span.shared{background:var(--green);color:#fff;border-color:var(--green)}.sequence-union span.gold-seq{color:var(--accent);border-color:#d9dee7;background:#f4f6f8}.example-result{border-top:1px solid #d9dee7;padding-top:22px;margin-top:23px;display:flex;align-items:center;justify-content:space-between;font-size:11px;color:#6b7280;gap:10px}.example-result>span strong{font-size:24px;font-weight:500;color:var(--ink);margin-right:3px}.example-result small{font-size:9px;display:block;color:#6b7280;margin-top:7px}.example-result>div>strong{font:27px var(--mono);letter-spacing:-1.2px;color:var(--green)}.result-equals{color:#9ca3af;font-size:23px}.scene-foot{grid-column:1/-1;border-top:1px solid var(--line);display:flex;align-items:center;justify-content:space-between;gap:15px;font-size:10px;color:#6b7280}.next-scene{color:var(--green);font-size:11px;font-weight:600;padding:5px 0}.next-scene span{margin-left:15px}.sampling-example{padding-top:20px;padding-bottom:20px}.mini-pill{font-size:8px;letter-spacing:.4px;border:1px solid #d9dee7;padding:4px 7px;border-radius:4px}.sample-path{margin-top:21px}.sample-path>div{position:relative;padding-left:38px;margin:0 0 20px}.sample-path>div:not(:last-child):before{content:"";position:absolute;top:27px;bottom:-12px;left:10px;width:1px;background:#d9dee7}.step-number{position:absolute;left:0;top:-1px;display:flex;justify-content:center;align-items:center;border:1px solid #9ca3af;border-radius:50%;width:22px;height:22px;font:9px var(--mono);color:var(--green)}.sample-path strong{font-size:13px;font-weight:600}.sample-path p{font-size:10px;color:#6b7280;margin:8px 0;line-height:1.6}.weight-bars{display:flex;flex-direction:column;gap:6px;margin-top:10px;max-width:250px}.weight-bars>div{display:flex;gap:13px;align-items:center;font-size:10px}.weight-bars code{font:11px var(--mono);color:#6b7280;letter-spacing:2px;flex-shrink:0}.weight-bars i{width:calc(var(--bar) * .65);background:#9ca3af;height:7px;border-radius:2px}.weight-bars b{font:9px var(--mono);color:#6b7280}.fill-symbols{display:flex;gap:15px;align-items:center;font:14px var(--mono);color:#6b7280;margin-top:10px}.fill-symbols code{font:14px var(--mono);background:#ffffff;padding:7px 10px;border-radius:4px;color:#6b7280}.fill-symbols code span{color:#9ca3af}.fill-symbols code b{font-weight:400;color:var(--green)}.formula-card{border-top:1px solid #d9dee7;padding-top:16px}.formula-card>span{font-size:8px;letter-spacing:1.4px;color:#6b7280}.formula-card p{display:flex;gap:10px;align-items:center;font-size:12px;margin:10px 0;color:#6b7280}.formula-card b{font-weight:400;color:#6b7280}.formula-card small{font-size:8px;color:#6b7280}.idea-takeaway{margin-top:25px;border-left:2px solid #9ca3af;padding:0 0 0 16px;max-width:430px}.idea-takeaway>span{font-size:8px;letter-spacing:1.5px;color:#6b7280}.idea-takeaway p{font-size:12px;line-height:1.7;color:#6b7280;margin:7px 0 0}
.trajectory-scene{display:grid;grid-template-columns:minmax(0,1fr) 335px;gap:0}.chart-card{display:flex;flex-direction:column;min-height:0;padding:27px 26px 0}.chart-heading{display:flex;align-items:flex-start;justify-content:space-between;gap:10px;padding:0 6px}.chart-heading h2{font-size:21px;font-weight:500;letter-spacing:-.65px;margin:11px 0 16px}.chart-legend{display:flex;align-items:center;gap:17px;color:#6b7280;font-size:9px}.chart-legend span{display:flex;align-items:center;gap:6px}.legend-line{display:inline-block;width:17px;height:2px;background:var(--green)}.legend-point{display:inline-block;width:6px;height:6px;border:1px solid #6b7280;border-radius:50%;background:#ffffff}.legend-edit{display:inline-block;width:4px;height:4px;border-radius:50%;background:#9ca3af}.score-display{text-align:right;flex-shrink:0}.score-display>span{font-size:8px;letter-spacing:1.5px;color:#6b7280}.score-display>div{display:flex;align-items:baseline;justify-content:flex-end;gap:7px;margin-top:6px}.score-display strong{font-size:40px;font-weight:500;letter-spacing:-2px;color:var(--green);font-variant-numeric:tabular-nums}.score-display small{font:10px var(--mono);color:#9ca3af}.chart-container{position:relative;flex:1;min-height:200px;margin-top:12px}#chart{display:block;width:100%;height:100%;overflow:visible;font-family:var(--font)}.plot-point{cursor:pointer;outline:none}.plot-point:focus .hit-ring{stroke:var(--accent);stroke-width:2}.plot-point:hover .hit-ring{stroke:#6b7280;stroke-width:1}.chart-tooltip{position:absolute;pointer-events:none;z-index:5;background:var(--dark);color:#f4f6f8;padding:11px 13px;border:1px solid #6b7280;border-radius:7px;box-shadow:0 5px 20px #17343220;max-width:260px;font-size:10px;line-height:1.7}.chart-tooltip strong{display:block;font-weight:500}.chart-tooltip small{font-size:9px;color:#9ca3af}.chart-bottom{display:flex;align-items:center;justify-content:space-between;border-top:1px solid #f4f6f8;padding:15px 6px;font-size:9px;color:#6b7280;gap:10px}.chart-bottom>span{display:flex;align-items:center;gap:7px}.chart-bottom .live-dot{width:4px;height:4px}.chart-bottom .text-link{font-size:9px}.inspector{background:var(--dark);color:#f4f6f8;display:flex;flex-direction:column;min-height:0;position:relative;border-left:1px solid #1f2937}.inspector-top{display:flex;align-items:center;justify-content:space-between;padding:20px 20px 12px;color:#6b7280;font-size:8px;letter-spacing:1.4px}.inspector-top>div{display:flex;gap:3px}.icon-button{display:flex;align-items:center;justify-content:center;width:24px;height:24px;border:1px solid #6b7280;border-radius:4px;color:#9ca3af;font-size:14px;letter-spacing:0}.inspector-content{flex:1;min-height:0;display:flex;flex-direction:column}.inspection-meta{display:flex;align-items:center;justify-content:space-between;padding:0 20px;margin:8px 0 12px;font:9px var(--mono);color:#6b7280}.inspection-meta b{font-weight:400;color:#9ca3af}.inspection-meta b.failed{color:#dab484}.algorithm-info{padding:0 20px 17px}.algorithm-info h3{font-size:18px;letter-spacing:-.45px;font-weight:500;line-height:1.4;margin:0 0 8px;color:#f4f6f8}.algorithm-info p{font-size:10px;line-height:1.75;color:#9ca3af;margin:0}.algorithm-tags{display:flex;gap:5px;flex-wrap:wrap;margin-top:13px}.algorithm-tags span{border:1px solid #6b7280;padding:4px 6px;border-radius:4px;font-size:8px;color:#9ca3af}.event-score{display:flex;gap:10px;align-items:baseline;margin-top:13px}.event-score strong{font:22px var(--mono);color:#9ca3af}.event-score span{font-size:8px;color:#9ca3af}.event-score .improvement{color:#9ca3af;background:#6b7280;padding:3px 5px;border-radius:3px}.event-score .status-tag{color:#d1b898;background:#1f2937;padding:3px 5px;border-radius:3px}.source-toolbar{display:flex;align-items:center;justify-content:space-between;border-top:1px solid #6b7280;border-bottom:1px solid #6b7280;padding:9px 13px 9px 20px;font:9px var(--mono);color:#9ca3af;gap:6px}.source-toolbar>span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.source-toolbar>div{display:flex;gap:7px}.source-toolbar button{color:#9ca3af;font:8px var(--font);padding:3px}.source-toolbar button.active{color:#d9dee7}.source-view{flex:1;min-height:0;overflow:auto;scrollbar-width:thin;scrollbar-color:#6b7280 #111827;padding:13px 0;background:#111827}.source-code{display:block;font:10px/1.85 var(--mono);margin:0;padding:0 14px 15px;tab-size:4;white-space:pre;min-width:max-content}.code-line{display:block;min-height:1.85em}.line-no{display:inline-block;min-width:27px;margin-right:13px;color:#6b7280;user-select:none;text-align:right}.line-text{color:#9ca3af}.syn-comment{color:#6b7280}.syn-string{color:#9ca3af}.syn-keyword{color:#9ca3af}.syn-number{color:#d6ad83}.syn-preproc{color:#9eafd1}.patch-add{background:#1f2937;color:#9ca3af}.patch-remove{background:#3c302b;color:#d5a498}.patch-hunk{color:#78acbd}.patch-header{color:#9ca3af}.patch-view .code-line{padding:0 14px}.patch-view .source-code{padding-left:0;padding-right:0}.source-provenance{border-top:1px solid #1f2937;padding:11px 20px;color:#6b7280;font-size:8px;display:flex;align-items:center;justify-content:space-between;gap:8px}.source-provenance span{overflow:hidden;text-overflow:ellipsis;white-space:nowrap}.source-provenance button{font-size:8px;color:#9ca3af;white-space:nowrap}.inspector-empty{padding:33px 24px;color:#6b7280;display:flex;flex-direction:column;height:100%;justify-content:center}.inspector-empty>svg{width:50px;height:50px;stroke:#6b7280;fill:none;stroke-width:1;margin-bottom:28px}.inspector-empty h3{font-size:24px;font-weight:400;line-height:1.35;color:#d9dee7;letter-spacing:-.65px;margin:0 0 15px}.inspector-empty p{font-size:11px;line-height:1.9;max-width:240px;margin:0}.empty-hints{margin-top:30px;border-top:1px solid #6b7280;padding-top:18px;display:flex;flex-direction:column;gap:13px;font-size:10px}.empty-hints span{display:flex;align-items:center;gap:9px}.empty-hints i{display:inline-block;width:6px;height:6px;border-radius:50%;border:1px solid #9ca3af}.empty-hints span:last-child i{width:4px;height:4px;background:#6b7280;border:0}.event-browser{position:absolute;inset:0;background:var(--dark);z-index:3;display:flex;flex-direction:column;padding:18px}.event-browser-head{display:flex;align-items:center;justify-content:space-between}.event-browser-head strong{font-size:15px;font-weight:500}.event-filters{display:flex;gap:4px;margin:17px 0 12px}.event-filters button{font-size:9px;padding:6px 9px;border-radius:4px;color:#9ca3af}.event-filters button.active{background:#6b7280;color:#f4f6f8}.event-browser input{background:#1f2937;border:1px solid #6b7280;border-radius:5px;font-size:10px;padding:10px;color:#d9dee7;width:100%;outline-offset:1px}.event-browser input::placeholder{color:#6b7280}.event-list{overflow:auto;min-height:0;margin-top:13px;scrollbar-width:thin;scrollbar-color:#6b7280 transparent}.event-row{width:100%;display:grid;grid-template-columns:9px 1fr auto;gap:8px;align-items:start;text-align:left;border-bottom:1px solid #6b7280;padding:13px 1px}.event-row:hover,.event-row.selected{background:#1f2937}.event-row>i{height:6px;width:6px;margin-top:4px;border:1px solid #9ca3af;border-radius:50%}.event-row.edit>i{width:4px;height:4px;background:#6b7280;border:0}.event-row strong{display:block;font-size:10px;font-weight:500;color:#9ca3af;line-height:1.5}.event-row small{display:block;font:8px var(--mono);color:#6b7280;margin-top:4px}.event-row>span:last-child{font:10px var(--mono);color:#9ca3af;padding-top:3px}.no-results{font-size:11px;color:#6b7280;padding:24px 0}
.narrative-line{display:flex;gap:14px;align-items:center;height:53px;flex-shrink:0;padding:0 4px}.caption-index{font-size:8px;letter-spacing:1.1px;color:#6b7280;background:#f4f6f8;padding:5px 7px;border-radius:3px;flex-shrink:0;min-width:72px;text-align:center}.narrative-line p{font-size:11px;color:#6b7280;margin:0;line-height:1.6}.playback-bar{border-top:1px solid #d9dee7;padding:16px 0 13px;flex-shrink:0}.playback-main{display:flex;gap:15px;align-items:center}.play-button{display:flex;align-items:center;justify-content:center;gap:9px;background:var(--green);color:#f4f6f8;border-radius:6px;padding:12px 18px;min-width:120px;font-size:11px;font-weight:500}.play-button svg{width:13px;height:13px;fill:currentColor}.restart-button{font-size:21px;color:#6b7280;padding:3px}.mode-switch{display:flex;background:#f4f6f8;padding:3px;border-radius:6px;gap:2px;margin-right:10px}.mode-switch button{padding:9px 11px;font-size:10px;color:#6b7280;border-radius:4px}.mode-switch button.active{background:#ffffff;color:var(--green);box-shadow:0 1px 3px #29451d10}.scrubber{flex:1;padding:0 8px;min-width:80px}.scrubber-labels{display:flex;justify-content:space-between;color:#6b7280;font:8px var(--mono);gap:12px}.scrubber-labels>span:first-child{color:#6b7280;font-size:9px;white-space:nowrap}.scrubber-labels>span:first-child span{color:#6b7280}.scrubber-labels>span:last-child{font-family:var(--font);font-size:9px}.scrubber input{display:block;width:100%;height:12px;appearance:none;background:none;cursor:pointer;margin:7px 0 0;--progress:0%}.scrubber input::-webkit-slider-runnable-track{height:3px;border-radius:3px;background:linear-gradient(to right,var(--green) var(--progress),#d9dee7 var(--progress))}.scrubber input::-moz-range-track{height:3px;background:#d9dee7}.scrubber input::-moz-range-progress{background:var(--green);height:3px}.scrubber input::-webkit-slider-thumb{appearance:none;background:var(--green);border:2px solid var(--paper);width:11px;height:11px;border-radius:50%;margin-top:-4px;box-shadow:0 0 0 1px #9ca3af}.scrubber input::-moz-range-thumb{background:var(--green);border:2px solid var(--paper);width:8px;height:8px;border-radius:50%}.speed-control{display:flex;align-items:center;gap:8px;margin-left:10px;font-size:9px;color:#6b7280}.speed-control select{font:11px var(--mono);color:var(--green);background:#ffffff;border:1px solid #d9dee7;border-radius:5px;padding:9px 20px 9px 10px}.credits{display:flex;justify-content:space-between;color:#6b7280;font-size:8px;line-height:1.5;gap:10px;margin-top:3px}.credit-separator{margin:0 7px;color:#9ca3af}.keyboard-hint{white-space:nowrap}.keyboard-hint span{margin:0 5px}dialog{width:min(1120px,92vw);height:min(760px,86vh);border:1px solid #9ca3af;border-radius:12px;padding:0;background:#f4f6f8;color:var(--ink);box-shadow:0 30px 100px #14291950}dialog::backdrop{background:#13292285;backdrop-filter:blur(5px)}.dialog-top{display:flex;align-items:center;justify-content:space-between;padding:25px 30px;border-bottom:1px solid #d9dee7}.dialog-top h2{font-size:24px;letter-spacing:-.7px;font-weight:500;margin:8px 0 0}.dialog-close{display:flex;align-items:center;justify-content:center;font-size:25px;color:#6b7280;border:1px solid #d9dee7;width:32px;height:32px;border-radius:5px}.dialog-body{height:calc(100% - 101px);overflow:auto;padding:25px 30px;font-size:14px;line-height:1.8}.dialog-body>.source-view{height:100%;border-radius:7px;padding-top:16px}.dialog-body .source-code{font-size:12px}.statement-full{white-space:pre-wrap;font:14px/1.85 var(--font);max-width:850px}.about-copy{max-width:810px;color:#6b7280}.about-copy h3{font-size:18px;color:var(--ink);font-weight:500;margin:22px 0 10px}.about-copy ul{padding-left:20px}.about-copy li{padding:5px 0}.about-copy code{font:12px var(--mono);background:#f4f6f8;padding:2px 5px;border-radius:3px}.dialog-score{display:flex;gap:18px;color:#6b7280;font-size:12px;margin-bottom:16px}.toast{position:fixed;bottom:100px;left:50%;transform:translateX(-50%);background:#1f2937;color:#f4f6f8;padding:10px 17px;border:1px solid #6b7280;border-radius:7px;font-size:11px;z-index:10}.capture .playback-bar{pointer-events:none}.capture .credits .keyboard-hint{visibility:hidden}.capture{cursor:none}.capture button{cursor:none}
@media(min-width:1700px){.app{padding:34px 62px 23px}.masthead{padding-bottom:31px}.title-row{padding-bottom:30px}h1{font-size:70px}.title-right{padding-top:29px}.run-facts{font-size:14px;gap:28px}.run-facts strong{font-size:22px}.run-label{font-size:10px}.stage-nav{margin-bottom:25px}.stage-links button{font-size:14px;padding-bottom:16px}.stage-links{gap:34px}.reconstruction-label{font-size:11px}.statement-scene,.approach-scene{padding:0 60px;column-gap:9%;grid-template-rows:1fr 68px}.intro-copy h2{font-size:58px;margin:26px 0}.statement-lead{font-size:21px;max-width:610px}.supporting{font-size:15px;max-width:570px}.section-kicker{font-size:10px}.constraint-row{font-size:12px;margin-top:25px}.intro-copy>.text-link{font-size:13px}.string-example{padding:35px 37px}.example-topline{font-size:10px}.pattern-pair{gap:26px;margin-top:35px}.symbol-row b{width:63px;height:68px;font-size:30px}.pattern-label{font-size:10px}.pattern-desc{font-size:11px}.union-connector{margin:34px 0 22px}.union-connector small{font-size:11px}.sequence-union span{font-size:13px;padding:9px 12px}.example-result{margin-top:30px;padding-top:26px;font-size:14px}.example-result>span strong{font-size:31px}.example-result>div>strong{font-size:35px}.example-result small{font-size:11px}.scene-foot{font-size:12px}.next-scene{font-size:13px}.sampling-example{padding:28px 35px}.sample-path{margin-top:27px}.sample-path>div{padding-left:45px;margin-bottom:24px}.sample-path strong{font-size:16px}.sample-path p{font-size:12px}.weight-bars{max-width:320px}.weight-bars code{font-size:13px}.fill-symbols,.fill-symbols code{font-size:17px}.formula-card p{font-size:15px}.formula-card>span{font-size:9px}.formula-card small{font-size:10px}.idea-takeaway{max-width:560px;margin-top:34px}.idea-takeaway p{font-size:15px}.trajectory-scene{grid-template-columns:minmax(0,1fr) 402px}.chart-card{padding:32px 34px 0}.chart-heading h2{font-size:29px;margin-bottom:20px}.chart-legend{font-size:11px;gap:24px}.score-display strong{font-size:51px}.score-display>span{font-size:9px}.score-display small{font-size:12px}.chart-bottom{font-size:11px;padding:18px 6px}.chart-bottom .text-link{font-size:11px}.inspector-top{padding:24px 26px 14px;font-size:9px}.inspection-meta{padding:0 26px;font-size:10px}.algorithm-info{padding:0 26px 21px}.algorithm-info h3{font-size:23px}.algorithm-info p{font-size:12px}.algorithm-tags span{font-size:9px}.event-score strong{font-size:26px}.event-score span{font-size:9px}.source-toolbar{padding:11px 20px 11px 26px;font-size:11px}.source-toolbar button{font-size:9px}.source-code{font-size:12px}.source-provenance{padding:13px 26px;font-size:9px}.source-provenance button{font-size:9px}.narrative-line{height:64px;gap:17px}.caption-index{font-size:9px;min-width:83px}.narrative-line p{font-size:13px}.playback-bar{padding:20px 0 17px}.playback-main{gap:20px}.play-button{font-size:13px;padding:14px 20px;min-width:135px}.mode-switch button{font-size:12px;padding:10px 14px}.scrubber-labels>span:first-child{font-size:11px}.scrubber-labels>span:last-child{font-size:11px}.speed-control{font-size:11px}.speed-control select{font-size:13px}.credits{font-size:9px}.event-row strong{font-size:12px}.event-row small{font-size:10px}.event-row>span:last-child{font-size:12px}}
@media(max-height:850px) and (min-width:1000px){.app{padding-top:19px;padding-bottom:12px}.masthead{padding-bottom:18px}.title-row{padding-bottom:19px}h1{font-size:48px;margin-top:8px}.stage-nav{margin-bottom:16px}.intro-copy h2{font-size:37px;margin:15px 0}.intro-copy{padding:18px 0}.statement-lead{font-size:15px}.supporting{font-size:11px;margin-top:14px}.constraint-row{font-size:9px;margin-top:14px}.intro-copy>.text-link{margin-top:16px}.statement-scene,.approach-scene{grid-template-rows:1fr 48px}.string-example{padding:20px}.pattern-pair{margin-top:17px}.symbol-row b{width:40px;height:44px;font-size:22px}.union-connector{margin:18px 0 12px}.example-result{padding-top:16px;margin-top:16px}.sampling-example{padding:17px 22px}.sample-path{margin-top:16px}.sample-path>div{margin-bottom:13px}.sample-path strong{font-size:12px}.sample-path p{font-size:9px;margin:5px 0}.formula-card{padding-top:11px}.idea-takeaway{margin-top:17px}.chart-card{padding-top:19px}.chart-heading h2{font-size:19px;margin-bottom:11px}.chart-container{margin-top:7px}.algorithm-info h3{font-size:16px}.algorithm-info p{font-size:9px}.algorithm-tags{margin-top:8px}.event-score{margin-top:9px}.algorithm-info{padding-bottom:12px}.inspector-top{padding-top:14px;padding-bottom:6px}.narrative-line{height:43px}.playback-bar{padding:12px 0 9px}}
@media(max-width:1150px){.app{padding-left:24px;padding-right:24px}.trajectory-scene{grid-template-columns:minmax(0,1fr) 300px}.statement-scene,.approach-scene{padding-left:30px;padding-right:30px;column-gap:5%}.title-right .run-label{font-size:8px}.chart-card{padding-left:16px;padding-right:16px}.chart-heading h2{font-size:18px}.score-display strong{font-size:34px}.chart-legend{gap:10px;font-size:8px}.string-example{padding-left:18px;padding-right:18px}.sequence-union span{padding:6px}.intro-copy h2{font-size:38px}.statement-lead{font-size:15px}.credits{font-size:7px}.keyboard-hint{display:none}.speed-control>span{display:none}.chart-bottom>span{font-size:8px}.playback-main{gap:10px}.mode-switch{margin-right:0}.mode-switch button{padding:9px 8px}}
@media(max-width:850px){.app{height:auto;min-height:100svh;padding:20px}.masthead{padding-bottom:22px}.brand{font-size:13px}.brand-sub{font-size:7px}.masthead-right{font-size:8px;letter-spacing:.6px}.masthead-right>.mono,.masthead-right>.divider{display:none}.title-row{padding-bottom:24px}.title-right{display:none}h1{font-size:50px}.eyebrow{font-size:8px}.stage-links{gap:22px}.stage-links button{font-size:11px}.reconstruction-label{display:none}.workspace{flex:none}.scene{height:auto;min-height:530px}.statement-scene,.approach-scene{grid-template-columns:1fr;grid-template-rows:auto auto 60px;padding:0 26px;gap:0}.intro-copy{padding:29px 0}.intro-copy h2{font-size:40px;margin:20px 0}.statement-lead{font-size:16px;max-width:550px}.supporting{font-size:12px}.string-example,.sampling-example{margin-bottom:25px}.scene-foot{font-size:9px;gap:12px}.scene-foot>span{max-width:65%}.next-scene{font-size:10px}.trajectory-scene{display:flex;flex-direction:column}.chart-card{height:440px;padding:24px 17px 0}.chart-heading h2{font-size:19px;max-width:220px;line-height:1.3}.score-display strong{font-size:36px}.chart-legend{gap:12px;font-size:8px}.chart-container{min-height:230px}.inspector{height:500px;border-left:0;border-top:1px solid #6b7280}.inspector-top{padding:20px 24px 10px}.algorithm-info{padding:0 24px 16px}.algorithm-info h3{font-size:21px}.algorithm-info p{font-size:12px}.inspection-meta{padding:0 24px}.source-code{font-size:11px}.narrative-line{height:auto;min-height:62px;padding:13px 0;align-items:flex-start}.narrative-line p{font-size:11px}.caption-index{font-size:7px;min-width:62px}.playback-main{flex-wrap:wrap;gap:9px}.play-button{min-width:105px;padding:11px 12px;font-size:10px}.mode-switch{margin-right:auto}.mode-switch button{font-size:9px}.scrubber{flex-basis:100%;order:5;padding:5px 0}.speed-control{margin-left:0}.speed-control select{font-size:10px;padding:8px}.credits{margin-top:7px;font-size:8px;line-height:1.7}.credit-separator{margin:0 3px}.brand svg{width:22px}.dialog-top{padding:20px}.dialog-top h2{font-size:20px}.dialog-body{padding:18px}.statement-full{font-size:12px}.example-result>div>strong{font-size:25px}.pattern-pair{gap:14px}.symbol-row b{width:42px;height:48px}}
.statement-scene,.approach-scene{grid-template-rows:minmax(0,1fr) 60px}.intro-copy,.string-example,.sampling-example{min-width:0;min-height:0}.approach-scene .intro-copy{padding:20px 0}.approach-scene .intro-copy h2{font-size:clamp(36px,3vw,54px);margin:16px 0}.approach-scene .idea-takeaway{margin-top:22px}
@media(min-width:1700px){.statement-scene,.approach-scene{grid-template-rows:minmax(0,1fr) 68px}}
@media(max-height:850px) and (min-width:1000px){.statement-scene,.approach-scene{grid-template-rows:minmax(0,1fr) 48px}.approach-scene .intro-copy h2{font-size:34px;margin:13px 0}.approach-scene .idea-takeaway{margin-top:16px}.approach-scene .intro-copy{padding:15px 0}.approach-scene .sampling-example{padding-top:13px;padding-bottom:13px}.approach-scene .sample-path>div{margin-bottom:11px}}
@media(max-width:850px){.statement-scene,.approach-scene{grid-template-columns:minmax(0,1fr);grid-template-rows:auto auto 60px}.scene-foot>span{min-width:0}.next-scene{flex-shrink:0}.string-example .symbol-row b{width:32px;height:40px;font-size:20px}.string-example .pattern-pair{gap:10px}.string-example .pattern-or{font-size:13px}.string-example .sequence-union{gap:4px}.string-example .sequence-union span{font-size:9px;padding:6px 5px}.string-example .example-topline{font-size:8px;letter-spacing:1px}.string-example .example-topline .mono{font-size:8px}.string-example .example-result{font-size:9px;gap:6px}.string-example .example-result>div>strong{font-size:22px}.string-example .example-result small{font-size:8px}.string-example .pattern-label{font-size:7px;letter-spacing:1px}.string-example .pattern-desc{font-size:8px}.string-example .union-connector{gap:5px}.string-example .union-connector small{font-size:8px}.approach-scene .intro-copy{padding:27px 0}.approach-scene .intro-copy h2{font-size:37px;margin:20px 0}}
@media(prefers-reduced-motion:reduce){*{scroll-behavior:auto!important}}

/* AREX-2 presentation with a generous evidence panel. */
.brand-version{color:var(--green);font-weight:500;letter-spacing:.5px}
.title-row h1{font-size:clamp(38px,3.35vw,58px);line-height:1.13;letter-spacing:-1.8px;margin-top:12px;font-weight:500}
.title-row{gap:34px}.title-right{flex-shrink:0}.run-label{letter-spacing:1.3px}
.method-example{align-self:center;min-width:0;padding:30px 35px;border:1px solid #d9dee7;border-radius:11px;background:#f4f6f8}
.reflection-loop{margin:26px 0 0}.reflection-loop>div{position:relative;padding-left:52px}
.loop-icon{position:absolute;left:0;top:0;display:flex;align-items:center;justify-content:center;width:35px;height:35px;border:1px solid #9ca3af;border-radius:7px;background:#f4f6f8;color:var(--green);font:17px var(--mono)}
.reflection-loop strong{font-size:17px;font-weight:500}.reflection-loop p{margin:8px 0 0;font-size:13px;color:#6b7280;line-height:1.65}
.loop-arrow{display:block;margin:11px 0 11px 12px;font-size:18px;color:#9ca3af}
.method-return{display:flex;gap:12px;align-items:center;margin:24px 0 0;padding:14px 0;border-top:1px solid #d9dee7;color:#6b7280;font-size:12px}.method-return>span{font-size:19px}
.method-phases{display:grid;grid-template-columns:1fr auto 1fr;gap:24px;align-items:center;padding-top:13px;border-top:1px solid #d9dee7}.method-phases div>span{font-size:8px;letter-spacing:1.5px;color:#6b7280}.method-phases strong{display:block;margin:7px 0;font-weight:500;font-size:16px;color:#6b7280}.method-phases p{font-size:11px;color:#6b7280;margin:0}.method-phases>span{color:#6b7280;font-size:19px}
.inspector-tabs{display:flex;gap:0;padding:0 20px;background:#111827;border-bottom:1px solid #6b7280;flex-shrink:0}.inspector-tabs button{position:relative;flex:1;padding:17px 8px 15px;color:#9ca3af;font-size:13px;text-align:center}.inspector-tabs button.active{color:#d9dee7}.inspector-tabs button.active:after{position:absolute;content:"";height:2px;left:12px;right:12px;bottom:-1px;background:#9ca3af}
.editorial-content{flex:1;min-height:0;overflow:auto;padding:8px 28px 28px;scrollbar-width:thin;scrollbar-color:#6b7280 #111827;color:#9ca3af;font-size:14px;line-height:1.8}
.editorial-intro{padding-bottom:4px}.editorial-badge{display:inline-block;font-size:8px;letter-spacing:1.4px;color:#6b7280;border:1px solid #6b7280;padding:4px 7px;border-radius:4px}.editorial-intro h3{margin:15px 0 13px;font-size:30px;line-height:1.2;font-weight:500;letter-spacing:-.7px;color:#f4f6f8}.editorial-intro p{margin:0}.editorial-section{margin-top:23px;padding-top:20px;border-top:1px solid #6b7280}.editorial-section h4{color:#d9dee7;font-size:16px;font-weight:500;margin:0 0 10px}.editorial-section p{margin:0 0 13px}.editorial-content strong{color:#d9dee7;font-weight:500}.editorial-content var{color:#d9dee7;font-family:var(--font);font-style:normal}.editorial-content em{font-family:inherit;color:#9ca3af}
.editorial-equation{border:1px solid #6b7280;background:#111827;padding:14px 18px;margin:14px 0 18px;border-radius:6px;font-size:20px;line-height:1.6;text-align:center;color:#9ca3af}.editorial-steps{list-style:decimal;margin:17px 0 0;padding-left:23px}.editorial-steps li{padding:0 0 15px 5px}.editorial-steps li::marker{color:#6b7280}.inline-code{font-family:var(--mono);background:#6b7280;padding:1px 5px;border-radius:3px;color:#9ca3af}.estimator{display:flex;align-items:center;justify-content:center;gap:15px;font-size:17px}.fraction{display:inline-flex;flex-direction:column;text-align:center;line-height:1.6}.fraction>span:first-child{border-bottom:1px solid #6b7280;padding-bottom:4px}.fraction>span:last-child{padding-top:4px}.editorial-complexity{display:grid;grid-template-columns:1fr 1fr;gap:8px 16px;border:1px solid #6b7280;border-radius:6px;padding:15px 18px;margin:18px 0}.editorial-complexity>span{font-size:8px;letter-spacing:1px;color:#6b7280}.editorial-complexity>span:nth-child(3){grid-column:2;grid-row:1}.editorial-complexity>strong{font-size:17px;font-weight:400;color:#9ca3af}.editorial-note{font-size:11px;line-height:1.8;color:#6b7280}
.editorial-expanded{max-width:780px;margin:0 auto;font-size:15px;line-height:1.85;color:#6b7280}.editorial-expanded .editorial-badge{color:#6b7280;border-color:#9ca3af}.editorial-expanded .editorial-intro h3,.editorial-expanded h4{color:#1f2937}.editorial-expanded .editorial-section{border-color:#d9dee7}.editorial-expanded .editorial-equation{color:#6b7280;background:#f4f6f8;border-color:#9ca3af}.editorial-expanded .editorial-complexity{border-color:#d9dee7}.editorial-expanded .editorial-complexity strong{color:#6b7280}.editorial-expanded .editorial-note{color:#6b7280}
.capture button,.capture input,.capture select{pointer-events:none}
@media(min-width:851px){
  .app{zoom:1;max-width:none;height:auto;min-height:100svh;padding:26px 42px 0}
  .masthead{padding-bottom:23px}.title-row{padding-bottom:27px}.title-right{padding-top:25px}.stage-nav{margin-bottom:23px}
  .stage-links button{font-size:14px}.reconstruction-label{font-size:11px}.brand{font-size:18px}.brand-sub{font-size:9px}.masthead-right{font-size:11px}
  .run-facts{font-size:14px;gap:22px}.run-facts strong{font-size:23px}.run-label{font-size:10px}
  .statement-scene,.approach-scene{padding:0 56px;grid-template-rows:minmax(0,1fr) 66px;column-gap:8%}
  .intro-copy{padding:24px 0}.intro-copy h2,.approach-scene .intro-copy h2{font-size:52px;line-height:1.12;letter-spacing:-1.7px;margin:22px 0}
  .statement-lead{font-size:20px;line-height:1.75;max-width:670px}.supporting{font-size:14px;margin-top:21px}.constraint-row{font-size:12px;margin-top:23px}.intro-copy>.text-link{font-size:13px;margin-top:24px}.inline-alphabet{font-size:14px}.section-kicker{font-size:11px}.scene-foot{font-size:12px}.next-scene{font-size:13px}
  .idea-takeaway{max-width:620px}.approach-scene .idea-takeaway{margin-top:28px}.idea-takeaway>span{font-size:10px}.idea-takeaway p{font-size:16px;line-height:1.9;margin-top:10px}
  .string-example{padding:31px 32px}.example-topline{font-size:10px}.pattern-label{font-size:10px}.symbol-row b{width:58px;height:65px;font-size:29px}.pattern-desc{font-size:11px}.pattern-pair{gap:25px;margin-top:31px}.union-connector{margin:30px 0 20px}.union-connector small{font-size:11px}.sequence-union span{padding:9px 11px;font-size:13px}.example-result{margin-top:28px;padding-top:26px;font-size:14px}.example-result>span strong{font-size:30px}.example-result>div>strong{font-size:32px}.example-result small{font-size:11px}
  .trajectory-scene{grid-template-columns:minmax(0,1.6fr) minmax(0,1fr)}
  .chart-card{padding:27px 29px 0}.chart-heading h2{font-size:27px;line-height:1.3;margin:12px 0 18px}.chart-legend{font-size:11px;gap:20px}.score-display>span{font-size:10px}.score-display strong{font-size:50px}.score-display small{font-size:12px}.chart-container{margin-top:17px}.chart-bottom{font-size:11px;padding:18px 6px}.chart-bottom .text-link{font-size:11px}
  .inspector-top{padding:16px 26px 10px;font-size:10px}.icon-button{width:27px;height:27px;font-size:16px}.inspection-meta{padding:0 26px;margin:7px 0 12px;font-size:11px}.algorithm-info{padding:0 26px 19px}.algorithm-info h3{font-size:24px;line-height:1.3}.algorithm-info p{font-size:14px;line-height:1.75}.algorithm-tags{margin-top:14px}.algorithm-tags span{font-size:10px;padding:4px 7px}.event-score{margin-top:16px}.event-score strong{font-size:28px}.event-score span{font-size:10px}
  .source-toolbar{padding:12px 20px 12px 26px;font-size:12px}.source-toolbar button{font-size:11px;padding:3px 5px}.source-code{font-size:15px;line-height:1.8}.line-no{min-width:30px;margin-right:15px}.source-provenance{font-size:10px;padding:13px 26px}.source-provenance button{font-size:10px}
  .event-row strong{font-size:13px}.event-row small{font-size:11px}.event-row>span:last-child{font-size:13px}.event-browser{padding:23px}.event-browser-head strong{font-size:19px}.event-filters button{font-size:12px}.event-browser input{font-size:13px}
  .narrative-line{height:61px;gap:17px}.narrative-line p{font-size:13px}.caption-index{font-size:10px;min-width:85px}.playback-bar{padding:19px 0 15px}.play-button{font-size:13px;padding:14px 20px;min-width:138px}.mode-switch button{font-size:12px;padding:11px 14px}.scrubber-labels>span:first-child{font-size:11px}.scrubber-labels>span:last-child{font-size:11px}.speed-control{font-size:11px}.speed-control select{font-size:13px}.credits{font-size:10px}
}
@media(min-width:851px) and (max-width:1100px){.app{padding-left:32px;padding-right:32px}.title-row h1{font-size:39px}.masthead-right{font-size:9px}.run-facts{gap:13px;font-size:12px}.run-facts strong{font-size:20px}.chart-heading h2{font-size:23px}.chart-legend{font-size:10px;gap:13px}.chart-card{padding-left:18px;padding-right:18px}.statement-scene,.approach-scene{column-gap:5%;padding:0 37px}.intro-copy h2,.approach-scene .intro-copy h2{font-size:43px}.statement-lead{font-size:18px}.method-example{padding:25px}.string-example{padding:25px}.symbol-row b{width:47px;height:54px}.pattern-pair{gap:18px}.sequence-union span{padding:8px 7px;font-size:11px}}
@media(min-width:851px) and (max-height:850px){
  .app{padding-top:24px;padding-bottom:0}.masthead{padding-bottom:18px}.title-row{padding-bottom:20px}.title-row h1{font-size:40px;margin-top:9px}.stage-nav{margin-bottom:18px}
  .method-example{padding:23px 32px}.reflection-loop{margin-top:20px}.loop-arrow{margin-top:7px;margin-bottom:7px}.method-return{margin-top:18px;padding:10px 0}.method-phases{padding-top:10px}
  .inspector-tabs button{padding:12px 8px 11px;font-size:12px}.inspector-top{padding:9px 26px 4px}.inspection-meta{margin:4px 0 9px;font-size:10px}
  .algorithm-info{padding-bottom:12px}.algorithm-info h3{font-size:22px;margin-bottom:6px}.algorithm-info p{font-size:13px;line-height:1.6}.algorithm-tags{display:none}
  .event-score{margin-top:9px}.event-score strong{font-size:25px}.source-toolbar{padding-top:8px;padding-bottom:8px}.source-provenance{padding-top:9px;padding-bottom:9px}.source-code{font-size:14px;line-height:1.75}
  .narrative-line{height:53px}.playback-bar{padding-top:15px;padding-bottom:12px}
}
@media(max-width:850px){.title-row h1{font-size:33px;line-height:1.15;letter-spacing:-1.2px}.masthead-right{font-size:0;gap:0}.masthead-right .live-dot{margin-right:10px}.masthead-right .about-button{font-size:13px;margin-left:4px}.masthead{padding-bottom:24px}.method-example{padding:24px 20px;margin-bottom:25px}.reflection-loop strong{font-size:14px}.reflection-loop p{font-size:11px}.method-phases{gap:12px}.method-phases strong{font-size:13px}.method-phases p{font-size:9px}.method-return{font-size:10px}.method-phases div>span{font-size:7px}.scene-foot{font-size:8px}.scene-foot>span{max-width:58%}.next-scene{font-size:9px}.inspector{height:610px}.inspector-tabs button{font-size:11px;padding:15px 7px}.editorial-content{padding:4px 22px 23px;font-size:12px}.editorial-intro h3{font-size:25px}.editorial-section h4{font-size:14px}.editorial-equation{font-size:18px}.estimator{font-size:13px;gap:10px}.editorial-complexity>strong{font-size:15px}.editorial-content .editorial-note{font-size:10px}}

/* The title is in normal document flow. Scroll it away to use the full viewport. */
.presentation-header{flex-shrink:0}
.demo-deck{display:flex;flex-direction:column;min-width:0}
.stage-actions{display:flex;align-items:center;gap:22px}
.focus-view-button{padding:0 0 12px;color:var(--green);font-size:11px;white-space:nowrap}
.focus-view-button span{margin-left:7px}
.legend-edit{width:6px;height:6px;background:#6b7280}
.editorial-original-button{display:flex;align-items:center;justify-content:space-between;width:100%;margin-top:18px;padding:12px 15px;border:1px solid #6b7280;border-radius:5px;color:#9ca3af;font-size:12px;text-align:left}
.editorial-set{font-size:17px;line-height:1.8}
.editorial-expanded .editorial-original-button{color:#6b7280;border-color:#9ca3af;background:#f4f6f8}
.editorial-expanded .inline-code{color:#6b7280;background:#f4f6f8}
.original-editorial-slide{margin:0 0 28px}
.original-editorial-slide img{display:block;width:100%;height:auto;border:1px solid var(--line);background:white}
.original-editorial-slide figcaption{margin-top:10px;font-size:12px;color:var(--muted)}
@media(min-width:851px){
  .demo-deck{height:100svh;min-height:680px;padding:16px 0;flex-shrink:0}
  .stage-nav,.narrative-line,.playback-bar,.credits{flex-shrink:0}
  .stage-nav{margin-bottom:18px}
  .statement-scene,.approach-scene{padding-left:40px;padding-right:40px;column-gap:6%}
  .intro-copy h2,.approach-scene .intro-copy h2{font-size:clamp(38px,3.3vw,52px)}
  .statement-lead{font-size:18px}
  .chart-heading{gap:16px}.chart-heading h2{font-size:25px}
}
@media(min-width:851px) and (max-width:1300px){
  .reconstruction-label{display:none}.stage-actions{gap:0}
  .string-example{padding:24px}.symbol-row b{width:44px;height:53px;font-size:26px}.pattern-pair{gap:18px}
  .sequence-union span{padding:8px 6px;font-size:11px}.example-result{font-size:12px}.example-result>div>strong{font-size:27px}
  .chart-heading h2{font-size:22px}.score-display strong{font-size:42px}
}
@media(max-width:850px){.focus-view-button{display:none}.demo-deck{height:auto}.stage-actions{gap:0}}

/* Problem 164: interactive rules illustration and score-only comparison. */
.box-rules{display:grid;grid-template-columns:1fr 1fr;gap:20px;margin-top:22px}
.box-rules>div{padding-left:12px;border-left:2px solid #9ca3af}
.box-rules span{font-size:9px;letter-spacing:1.6px;color:#6b7280}
.box-rules p{font-size:13px;line-height:1.7;margin:8px 0 0;color:#6b7280}
.box-objective{font-size:12px!important;margin-top:19px!important;color:#6b7280}
.box-example{min-width:0;align-self:center;border:1px solid #d9dee7;border-radius:12px;background:#f4f6f8;padding:26px 28px}
.box-example .example-topline{display:flex;align-items:center;justify-content:space-between;gap:12px}
.example-intro{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-top:20px}
.example-intro h3{font-weight:500;font-size:22px;letter-spacing:-.5px;margin:0;color:#6b7280}
.energy-chip{display:flex;align-items:center;gap:9px;font-size:8px;letter-spacing:1px;white-space:nowrap;color:#6b7280}
.energy-chip strong{font:26px var(--mono);color:var(--accent)}
#boxDiagram{display:block;width:100%;height:auto;max-height:250px;margin:12px 0 3px}
.box-example-caption{min-height:40px;font-size:12px;line-height:1.7;color:#6b7280;margin:8px 0 16px}
.box-example-controls{display:flex;align-items:center;justify-content:space-between;padding-top:15px;border-top:1px solid #d9dee7;gap:16px}
.box-action{display:flex;align-items:center;gap:24px;background:var(--accent);color:#f4f6f8;border-radius:6px;padding:11px 16px;font-size:12px}
.box-action:hover{background:var(--accent)}.box-example-controls .text-link{font-size:11px}.box-example-controls button:disabled{opacity:.35;cursor:default}
.box-example-note{font-size:9px;line-height:1.6;color:#6b7280;margin:16px 0 0}
.chart-legend{flex-wrap:wrap;row-gap:10px;column-gap:16px!important}
.legend-baseline{display:inline-block;width:20px;border-top:2px dashed #9ca3af}
.baseline-score{font-size:11px!important;color:#6b7280;margin:9px 0 0;white-space:nowrap;font-weight:400}
.baseline-score b{font:12px var(--mono);margin-left:7px;color:#6b7280;font-weight:400}
.inspector-heading{display:flex;align-items:center;justify-content:space-between;gap:12px;padding:15px 26px;background:#111827;border-bottom:1px solid #6b7280;color:#d9dee7;font-size:13px;flex-shrink:0}
.inspector-heading span{font-size:8px;letter-spacing:1.2px;color:#9ca3af}
.analysis-label{display:block;margin-top:7px;color:#6b7280;font-size:9px}
.request-source{min-width:0;white-space:pre-wrap;overflow-wrap:anywhere}
@media(min-width:851px) and (max-height:850px){
  .box-example{padding:18px 24px}.example-intro{margin-top:12px}.example-intro h3{font-size:20px}#boxDiagram{max-height:215px;margin-top:5px}
  .box-example-caption{margin:4px 0 10px}.box-example-note{margin-top:10px}.box-example-controls{padding-top:11px}
  .statement-scene .intro-copy h2,.approach-scene .intro-copy h2{font-size:39px;margin:16px 0}.statement-scene .intro-copy,.approach-scene .intro-copy{padding:16px 0}
  .statement-lead{font-size:16px;line-height:1.7}.box-rules{margin-top:16px}.box-rules p{font-size:12px}.intro-copy>.text-link{margin-top:17px}
  .inspector-heading{padding:11px 26px}.analysis-label{margin-top:5px;font-size:8px}
  .chart-heading h2{font-size:22px;margin-bottom:14px}.chart-card{padding-top:20px}.score-display strong{font-size:42px}
}
@media(max-width:1100px) and (min-width:851px){
  .box-rules{gap:12px}.box-example{padding:18px}.example-intro h3{font-size:18px}.box-example .mini-pill{font-size:8px}
  .box-example .example-topline{font-size:8px}.inspector-heading span{display:none}.chart-heading{flex-wrap:wrap}.score-display{display:flex;align-items:center;gap:14px;text-align:left}.score-display>div{margin:0}.score-display strong{font-size:32px}.baseline-score{margin:0}
}
@media(max-width:850px){
  .box-example{padding:22px 18px;margin:0 0 25px}.box-rules{gap:15px}.box-rules p{font-size:11px}.box-rules span{font-size:8px}
  .example-intro h3{font-size:19px}.box-example .example-topline{font-size:8px}.box-example .mini-pill{font-size:8px}#boxDiagram{max-height:240px}
  .inspector-heading{padding:15px 20px;font-size:12px}.inspector-heading span{font-size:7px}.chart-legend{font-size:9px;gap:12px!important;max-width:210px}
  .baseline-score{font-size:9px!important}.baseline-score b{font-size:10px}.analysis-label{font-size:8px}.box-example-caption{font-size:11px}.source-code{font-size:12px}
}

/* File writes and the source history that precedes edit patches. */
.legend-write{display:inline-block;width:6px;height:6px;background:#9ca3af;border:1px solid #6b7280;border-radius:1px}
.file-history{display:flex;gap:8px;flex-wrap:wrap;padding:0 26px 12px;font-size:10px;color:#9ca3af}
.file-history button{border:1px solid #6b7280;border-radius:4px;padding:5px 7px;text-align:left}
.file-history button:hover{background:#1f2937}
.event-row.write>i{border-radius:1px;background:#9ca3af}
.event-filters{flex-wrap:wrap}.event-filters button{padding-left:8px;padding-right:8px}
.run-facts{gap:15px!important}.chart-legend{row-gap:8px}.baseline-score{font-size:10px!important}
@media(min-width:851px) and (max-height:850px){.file-history{padding-bottom:8px;font-size:9px}.algorithm-info{padding-bottom:10px}}
@media(max-width:850px){.file-history{padding:0 20px 10px;font-size:9px}.chart-card{height:auto}.chart-container{flex:0 0 340px;min-height:340px}.chart-legend{max-width:200px}.baseline-score{font-size:8px!important}.baseline-score b{margin-left:4px}.event-filters button{font-size:10px;padding:7px 8px}}

/* Embedded AREX-2 theme. The research page supplies the masthead and title. */
@font-face { font-family: 'Replay Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url('fonts/DejaVuSansMono.woff2') format('woff2'); }
@font-face { font-family: 'Replay Mono'; font-style: normal; font-weight: 400; font-display: swap; src: url('fonts/source-fallback.woff2') format('woff2'); unicode-range: U+3002,U+4E1D,U+4E2D,U+4EBA,U+57AE,U+5C14,U+5E74,U+62DC,U+6709,U+6BEB,U+6CA1,U+6E90,U+79D1,U+8001,U+80FD; }
:root { --ink: #111827; --muted: #6b7280; --green: var(--accent); --bright: var(--accent); --paper: #fff; --line: #d9dee7; --dark: #111827; --font: 'Helvetica Neue', Arial, sans-serif; }
html, body { margin: 0; min-height: 0; height: auto; background: #fff; }
body { padding-inline: clamp(20px,3vw,56px); }
.app { height: auto; min-height: 0; max-width: none; padding: 0; zoom: 1; }
.demo-deck { height: auto; min-height: var(--embedded-height,760px); padding: 0; }
.workspace { display: flex; flex-direction: column; flex: 1 0 auto; }
.stage-nav { min-height: 39px; margin-bottom: 20px; }
.stage-links { gap: 26px; min-width: 0; overflow-x: auto; scrollbar-width: none; }
.stage-links button { flex-shrink: 0; white-space: nowrap; font-size: 13px; font-weight: 400; color: var(--muted); }
.stage-links button.active { color: var(--green); font-weight: 500; }
.demo-view-nav { flex-shrink: 0; margin-bottom: 14px; }
.demo-view-nav .stage-links button { font-size: 14px; font-weight: 500; }
.stage-actions { display: none; }
.scene { height: auto; flex: 1; border-radius: 0; background: white; }
.video-scene { display: grid; place-items: center; min-height: 0; background: #f4f6f8; }
.video-scene video { display: block; width: 100%; max-height: calc(var(--embedded-height,760px) - 60px); aspect-ratio: 16 / 9; object-fit: contain; background: white; }
.is-video-view .workspace { flex: 1 1 auto; }
.statement-scene, .approach-scene { padding-inline: 28px; column-gap: 5%; grid-template-rows: minmax(0,1fr) 52px; }
.intro-copy h2, .statement-scene .intro-copy h2, .approach-scene .intro-copy h2 { font-size: 36px; letter-spacing: -.04em; font-weight: 450; line-height: 1.08; margin: 17px 0; }
.statement-lead { font-size: 15px; line-height: 1.8; color: #4b5563; }
.section-kicker { font: 9px/1.6 var(--mono); letter-spacing: .05em; }
.supporting, .box-objective { color: var(--muted); }
.box-rules > div { border-color: var(--line); }
.box-rules span, .box-rules p { color: var(--muted); }
.box-example, .method-example { border-radius: 2px; border-color: var(--line); background: #f4f6f8; }
.box-example { padding: 20px; }
.example-intro h3 { font-size: 20px; color: var(--ink); }
.energy-chip, .example-topline, .box-example-caption, .box-example-note { color: var(--muted); }
.energy-chip strong { color: var(--green); }
.box-action { border-radius: 2px; background: var(--accent); color: white; }
.box-action:hover { background: var(--green); }
.box-example-controls { border-color: var(--line); }
.mini-pill { border-color: var(--line); border-radius: 2px; }
.scene-foot { font-size: 10px; color: var(--muted); }
.next-scene { font-weight: 500; }
.trajectory-scene { grid-template-columns: minmax(0,1.6fr) minmax(0,1fr); }
.chart-card { padding: 24px 20px 0; }
.chart-container { min-height: var(--chart-min-height,376px); }
#chart { position: absolute; inset: 0; }
.chart-heading, .chart-bottom { flex-shrink: 0; }
.chart-heading { padding: 0; }
.chart-heading .section-kicker { display: none; }
.chart-heading h2 { font-size: 21px; margin: 0 0 18px; font-weight: 450; letter-spacing: -.035em; }
.chart-legend { color: var(--muted); font-size: 9px; }
.score-display > span { color: var(--muted); }
.score-display strong { font-size: 40px; color: var(--green); font-weight: 450; }
.score-display small { color: var(--muted); }
.baseline-score, .baseline-score b { color: var(--muted); }
.legend-line { background: var(--green); }
.legend-point { border-color: var(--green); background: white; }
.chart-bottom { border-color: var(--line); color: var(--muted); }
.inspector { border-color: #374151; }
.inspector-heading, .source-toolbar { background: #1f2937; border-color: #374151; color: #e5e7eb; }
.inspector-heading span, .inspector-top { color: #9ca3af; }
.inspector-heading { padding-inline: 20px; }
.inspector-top { padding-inline: 20px; }
.algorithm-info { padding-inline: 20px; }
.source-code { font-size: 13px; line-height: 1.8; }
.file-history { padding-inline: 20px; }
.event-browser { background: var(--dark); }
.narrative-line { min-height: 58px; height: auto; padding: 12px 0; gap: 13px; }
.narrative-line p { font-size: 12px; line-height: 1.6; color: var(--muted); }
.caption-index { border-radius: 0; background: #f4f6f8; color: var(--green); font: 9px/1.4 var(--mono); letter-spacing: .03em; }
.playback-bar { border-color: var(--line); padding: 16px 0 0; }
.play-button { background: var(--accent); color: white; border-radius: 2px; }
.play-button:hover { background: var(--green); }
.restart-button { color: var(--muted); }
.mode-switch { background: #f4f6f8; border-radius: 2px; }
.mode-switch button { color: var(--muted); }
.mode-switch button.active { color: var(--ink); background: white; box-shadow: none; }
.speed-control { color: var(--muted); }
.speed-control select { border-radius: 2px; border-color: var(--line); color: var(--ink); background: white; }
button:focus-visible, a:focus-visible, input:focus-visible, select:focus-visible, [tabindex]:focus-visible { outline: 2px solid var(--green); outline-offset: 3px; }
dialog { border-radius: 3px; margin: 20px auto; max-height: min(680px,calc(100vh - 40px)); }
.statement-full { max-width: 850px; margin-inline: auto; white-space: normal; font: 14px/1.85 var(--font); color: #4b5563; overflow-wrap: break-word; }
.statement-full h1, .statement-full h2, .statement-full h3, .statement-full h4 { margin: 30px 0 12px; color: var(--ink); font-weight: 500; line-height: 1.35; letter-spacing: -.025em; }
.statement-full h1 { font-size: 26px; }
.statement-full h2 { font-size: 22px; }
.statement-full h3, .statement-full h4 { font-size: 18px; }
.statement-full > :first-child { margin-top: 0; }
.statement-full p { margin: 12px 0; }
.statement-full ul, .statement-full ol { padding-left: 24px; margin: 14px 0; }
.statement-full li { padding-left: 3px; margin: 8px 0; }
.statement-full li > ul, .statement-full li > ol { margin-block: 6px; }
.statement-full a { color: var(--green); text-decoration: underline; text-underline-offset: 3px; }
.statement-full code { font: .92em var(--mono); background: #fff; padding: 2px 5px; border-radius: 2px; }
.statement-full pre { margin: 18px 0; padding: 16px 20px; border: 1px solid var(--line); background: #fff; border-radius: 2px; overflow-x: auto; white-space: pre; }
.statement-full pre code { padding: 0; background: none; font-size: 13px; line-height: 1.8; }
.statement-full .statement-format code { font: 14px/2 var(--font); }
.statement-full .katex { font-size: 1.08em; }
.statement-full .katex-display { overflow-x: auto; overflow-y: hidden; padding-block: 4px; }
.statement-full .label { padding: 2px 5px; background: var(--accent-soft); color: var(--green); font: 11px var(--mono); }
.statement-full font[color="red"] { color: var(--green); }
@media (min-width: 851px) {
  /* Match the chart's height while keeping long source files scrollable. */
  .inspector { contain: size; }
}
@media (max-width: 1100px) and (min-width: 851px) {
  .chart-heading { flex-wrap: wrap; }
  .score-display { display: flex; align-items: center; gap: 12px; }
  .score-display strong { font-size: 32px; }
  .intro-copy h2, .statement-scene .intro-copy h2, .approach-scene .intro-copy h2 { font-size: 32px; }
}
@media (max-width: 850px) {
  .app, .demo-deck { height: auto; min-height: 0; padding: 0; }
  .stage-links { gap: 20px; }
  .stage-links button { font-size: 12px; }
  .workspace { min-width: 0; }
  .statement-scene, .approach-scene { padding-inline: 18px; grid-template-columns: minmax(0,1fr); grid-template-rows: auto auto 58px; }
  .intro-copy { padding-block: 25px; }
  .intro-copy h2, .statement-scene .intro-copy h2, .approach-scene .intro-copy h2 { font-size: 32px; }
  .statement-lead { font-size: 14px; }
  .box-example { padding: 18px 14px; margin-bottom: 22px; }
  .box-example .mini-pill { font-size: 7px; }
  .example-intro { flex-wrap: wrap; }
  .example-intro h3 { font-size: 18px; }
  .scene-foot { font-size: 9px; }
  .next-scene { font-size: 10px; white-space: normal; text-align: right; }
  .next-scene span { margin-left: 5px; }
  .trajectory-scene { display: flex; }
  .chart-card { padding: 20px 14px 0; }
  .chart-heading { flex-wrap: wrap; }
  .chart-heading h2 { font-size: 21px; }
  .chart-legend { max-width: none; }
  .score-display { display: flex; align-items: center; flex-wrap: wrap; gap: 10px; text-align: left; }
  .score-display strong { font-size: 30px; }
  .score-display > div { margin: 0; }
  .baseline-score { margin: 0; }
  .chart-container { flex: 0 0 var(--chart-min-height,376px); min-height: var(--chart-min-height,376px); }
  .inspector { height: 550px; }
  .source-code { font-size: 12px; }
  .narrative-line { align-items: flex-start; flex-direction: column; gap: 6px; }
  .narrative-line p { font-size: 11px; }
  .playback-main { gap: 12px; }
  .play-button { padding-inline: 12px; min-width: 0; }
  .mode-switch button { padding-inline: 8px; }
  .scrubber { min-width: 0; }
}

/* Capture the complete interface at a deterministic time, without player controls. */
body.capture { height: 100svh; overflow: hidden; padding: 28px 40px; }
.capture .app, .capture .demo-deck { height: 100%; min-height: 0; }
.capture .workspace { flex: 1 1 0; min-height: 0; }
.capture .playback-bar, .capture .demo-view-nav, .capture #videoScene { display: none !important; }
.capture .stage-actions { display: block; }
.capture .narrative-line { min-height: 64px; }
.capture .narrative-line p { font-size: 15px; }
.capture .caption-index { font-size: 11px; }
.capture .intro-copy h2 { font-size: 48px; }
.capture .statement-lead { max-width: 650px; font-size: 19px; }
.capture .chart-heading h2 { font-size: 27px; }
.capture .chart-legend { font-size: 11px; }
.capture .score-display strong { font-size: 52px; }
.capture .algorithm-info h3 { font-size: 23px; }
.capture .algorithm-info p { font-size: 12px; }
.capture .source-code { font-size: 14px; }
.capture *, .capture *::before, .capture *::after { animation: none !important; transition: none !important; caret-color: transparent; }