.ex-page-intro{border-bottom:1px solid var(--line);padding-block:2.5rem 1.5rem}.ex-page-intro .eyebrow{margin-bottom:.7rem}.ex-page-intro h1{font-size:clamp(2.2rem,4vw,3rem)}.ex-page-intro>p:last-child{color:var(--muted);max-width:62ch;margin-top:.9rem}.ex-lab{padding-block:1.5rem 3rem}.ex-awaiting{color:var(--muted);padding:1.5rem;display:block}.ex-brief{border:1px solid var(--border-subtle);border-radius:var(--radius);background:var(--surface-section);padding:clamp(1rem,2vw,1.5rem)}.ex-eyebrow{font:12px/1.5 var(--font-note);letter-spacing:.12em;color:var(--text-alert);text-transform:uppercase}.ex-brief h2{margin-top:.4rem;font-size:clamp(1.5rem,2.6vw,2rem)}.ex-statement{max-width:75ch;margin-top:.7rem}.ex-fictional,.ex-reference{color:var(--muted);max-width:75ch;margin-top:.5rem;font-size:14px}.ex-reference{color:var(--text-link)}.ex-feedback{border-left:4px solid var(--brand-green);background:var(--surface-card);border-radius:var(--radius);margin-top:1rem;padding:.75rem 1rem;display:block}.ex-grid{grid-template-columns:minmax(210px,.9fr) minmax(0,1.5fr) minmax(300px,1.15fr);align-items:start;gap:1rem;margin-top:1.25rem;display:grid}.ex-tray,.ex-program,.ex-controls{border:1px solid var(--border-subtle);border-radius:var(--radius);background:var(--surface-section);min-width:0;padding:1rem}.ex-controls{flex-direction:column;gap:.9rem;display:flex;position:sticky;top:1rem}.ex-tray h3,.ex-program h3,.ex-controls h3{font-size:1.05rem}.ex-section-head{flex-wrap:wrap;justify-content:space-between;align-items:center;gap:.75rem;display:flex}.ex-hint{color:var(--muted);max-width:70ch;margin-top:.4rem;font-size:13.5px}.ex-empty{border:1px dashed var(--border-interactive);border-radius:var(--radius);color:var(--muted);margin-top:.75rem;padding:.9rem;font-size:14px}.ex-tray-drop{margin-top:.25rem}.ex-tray-list,.ex-program-list{flex-direction:column;gap:.4rem;margin:.75rem 0 0;padding:0;list-style:none;display:flex}.ex-card{background:var(--surface-elevated);border:1px solid var(--border-interactive);border-radius:var(--radius);align-items:flex-start;gap:.5rem;min-width:0;padding:.6rem .7rem;display:flex}.ex-card-program{flex:12rem;align-items:center}.ex-card.is-dragging{opacity:.45}.ex-card-tray{flex-wrap:wrap}.ex-card-tray .ex-card-body{flex:8rem;min-width:0}.ex-card-tray .ex-btn{flex-basis:100%}.ex-grip{cursor:grab;color:var(--muted);-webkit-user-select:none;user-select:none;padding:.35rem .2rem;font-size:1.1rem;line-height:1}.ex-card:active .ex-grip{cursor:grabbing}.ex-code{font-family:var(--font-note);white-space:pre;color:var(--text-primary);font-size:14px;display:block;overflow-x:auto}.ex-meaning{color:var(--muted);margin-top:.3rem;font-size:12.5px}.ex-insert{height:.9rem;list-style:none}.ex-insert-zone{align-items:center;height:100%;display:flex}.ex-insert-marker{background:0 0;border-radius:3px;width:100%;height:3px}.ex-insert.is-active .ex-insert-marker{background:var(--brand-green);box-shadow:0 0 0 1px var(--brand-green)}.ex-program-line{margin-left:calc(var(--ex-indent,0) * 1.4rem);border-radius:var(--radius);background:var(--surface-card);border-left:4px solid #0000;flex-wrap:wrap;align-items:center;gap:.4rem;padding:.25rem .35rem;display:flex}.ex-line-number{font-family:var(--font-note);color:var(--muted);text-align:right;min-width:1.6rem;font-size:12.5px}.ex-state-label{font:12px/1.4 var(--font-note);color:var(--muted);flex:none}.ex-line-tools{flex-wrap:wrap;flex-basis:100%;justify-content:flex-end;gap:.35rem;display:flex}.ex-program-line.is-structural-error{border-left-color:var(--text-alert);background:color-mix(in srgb, var(--brand-red) 14%, var(--surface-card))}.ex-line-current{border-left-color:var(--focus-ring);background:var(--surface-elevated)}.ex-line-executed{border-left-color:var(--brand-green)}.ex-line-skipped{border-left-style:dashed;border-left-color:var(--border-interactive);opacity:.72}.ex-line-skipped .ex-code{text-decoration:line-through;-webkit-text-decoration-color:var(--border-interactive);text-decoration-color:var(--border-interactive)}.ex-line-fault{border-left-color:var(--text-alert);background:color-mix(in srgb, var(--brand-red) 16%, var(--surface-card))}.ex-line-current .ex-card-program{outline:2px solid var(--focus-ring);outline-offset:2px}.ex-program-line:focus-within,.ex-tray-list li:focus-within{outline:2px solid var(--focus-ring);outline-offset:3px}.ex-btn,.ex-icon-btn,.ex-chip{font:inherit;color:var(--text-primary);background:var(--surface-elevated);border:1px solid var(--border-interactive);border-radius:var(--radius);text-align:center;justify-content:center;align-items:center;gap:.4rem;min-height:44px;padding:.5rem .75rem;display:inline-flex}.ex-btn-primary{background:var(--brand-green);color:var(--selection-text);border-color:var(--brand-green);font-weight:650}.ex-btn-quiet{background:0 0}.ex-icon-btn{padding:.4rem .55rem;font-size:12.5px}.ex-icon-danger{color:var(--text-alert);border-color:color-mix(in srgb, var(--brand-red) 55%, var(--border-interactive))}.ex-chip{min-width:40px;min-height:40px;padding:.3rem .6rem}.ex-chip[aria-pressed=true]{border-color:var(--brand-green);box-shadow:inset 0 0 0 1px var(--brand-green)}.ex-btn:disabled,.ex-icon-btn:disabled,.ex-chip:disabled{opacity:.5}.ex-field{flex-direction:column;gap:.4rem;display:flex}.ex-field>label{font-weight:650}.ex-input{font:inherit;color:var(--text-primary);background:var(--surface-input);border:1px solid var(--border-interactive);border-radius:var(--radius);max-width:10rem;min-height:44px;padding:.6rem .7rem}.ex-field[data-invalid=true] .ex-input{border-color:var(--text-alert)}.ex-shortcuts{border:0;gap:.4rem;margin:0;padding:0;display:flex}.ex-error{color:var(--text-alert);font-size:14px}.ex-run-actions{flex-wrap:wrap;gap:.5rem;display:flex}.ex-console{border:1px solid var(--border-subtle);border-radius:var(--radius);background:var(--surface-input);padding:.75rem}.ex-console-lines{font-family:var(--font-note);margin:.4rem 0 0;padding-left:1.2rem;font-size:14px}.ex-console-lines li{color:var(--text-primary)}.ex-console-empty{color:var(--muted);margin-top:.4rem;font-size:14px}.ex-comparison{font-family:var(--font-note);color:var(--text-link);margin-top:.6rem;font-size:14px}.ex-branch{color:var(--muted);margin-top:.3rem;font-size:13.5px}.ex-playback{flex-wrap:wrap;align-items:center;gap:.5rem;display:flex}.ex-step-count{color:var(--muted);font-size:13px}.ex-verification{border-top:1px solid var(--border-subtle);padding-top:.9rem}.ex-cases{flex-direction:column;gap:.6rem;margin:.75rem 0 0;padding:0;list-style:none;display:flex}.ex-case{border:1px solid var(--border-subtle);border-radius:var(--radius);background:var(--surface-card);border-left-width:4px;padding:.6rem .7rem}.ex-case-passed{border-left-color:var(--brand-green)}.ex-case-failed{border-left-color:var(--text-alert)}.ex-case-title{font-weight:650}.ex-case-facts{gap:.2rem;margin:.4rem 0;display:grid}.ex-case-facts>div{flex-wrap:wrap;gap:.5rem;display:flex}.ex-case-facts dt{color:var(--muted);min-width:5.5rem}.ex-case-facts dd{margin:0}.ex-ok{border-left:4px solid var(--brand-green);background:var(--surface-card);border-radius:var(--radius);margin-top:.5rem;padding:.6rem .75rem;display:block}.ex-warning{border-left:4px solid var(--brand-red);background:var(--surface-card);border-radius:var(--radius);margin-top:.75rem;padding:.6rem .75rem;font-size:14px;display:block}.ex-note{border-radius:var(--radius);margin-top:.6rem;padding:.6rem .75rem;font-size:14px}.ex-note-incomplete{border-left:4px solid var(--border-interactive);background:var(--surface-card);color:var(--text-secondary)}.ex-note-error{border-left:4px solid var(--text-alert);background:color-mix(in srgb, var(--brand-red) 12%, var(--surface-card))}.ex-footnote{color:var(--muted);margin-top:1.5rem;font-size:13px}.ex-footnote code{font-family:var(--font-note)}.ex-sr{clip:rect(0 0 0 0);white-space:nowrap;border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (max-width:1100px){.ex-grid{grid-template-columns:minmax(0,1fr) minmax(300px,1fr)}.ex-tray{grid-column:1/-1}.ex-controls{position:static}}@media (max-width:760px){.ex-grid{grid-template-columns:minmax(0,1fr)}.ex-program-line{margin-left:calc(var(--ex-indent,0) * .9rem)}.ex-line-tools{justify-content:flex-start}.ex-icon-btn{flex:auto}.ex-tray .ex-meaning{display:none}.ex-tray-list,.ex-program-list{gap:.3rem}.ex-tray .ex-card{padding:.45rem .55rem}}@media (prefers-reduced-motion:reduce){.ex-lab *,.ex-page-intro *{scroll-behavior:auto!important;transition:none!important;animation:none!important}}