/* Common grammar of every open exploration (v13): object + action + consequence together, editable entries,
   complete small enumerations, an explicit bridge from the example to the paper, recessed depth. Apache-2.0. */
.ex-lab{display:flex;flex-direction:column;gap:16px}
.ex-two{display:grid;grid-template-columns:minmax(0,1fr) minmax(0,1.1fr);gap:22px;align-items:start}
.ex-two>*{min-width:0}
.ex-object{min-width:0}
.ex-object svg{display:block;width:100%;height:auto;max-width:420px;margin:0 auto}
.ex-controls{display:flex;flex-direction:column;gap:12px;min-width:0}
.ex-controls .seg{display:block}
.ex-controls .seg-label{display:block;margin-bottom:6px}
.ex-controls .seg-options{display:flex;flex-wrap:wrap;gap:6px}
.ex-controls .btn{min-height:44px}
.ex-rule{font-size:16px;line-height:1.45;padding:8px 12px;border-left:3px solid var(--wine-line);background:var(--panel);margin:0}
.ex-rule b{color:var(--wine)}
.ex-result{padding:12px 14px;background:var(--teal-tint);border-left:3px solid var(--teal);font-size:16px;line-height:1.45}
.ex-result:focus{outline:3px solid var(--focus);outline-offset:3px}
.ex-result p{margin:6px 0}
.ex-result.is-warn{background:var(--ochre-tint);border-left-color:var(--ochre)}
.ex-result.is-fail{background:var(--red-tint);border-left-color:var(--red)}
.ex-bridge{font-size:16px;line-height:1.45;padding:10px 14px;border:1px solid var(--wine-line);border-radius:8px;background:#fff}
.ex-bridge .ex-tag,.ex-tag{display:inline-block;font-size:12.5px;letter-spacing:.04em;text-transform:uppercase;color:var(--wine);border:1px solid var(--wine-line);border-radius:4px;padding:0 5px;margin-right:6px;vertical-align:1px}
.ex-tag.is-proof{color:var(--teal);border-color:var(--teal-line)}
.ex-tag.is-example{color:var(--ochre);border-color:var(--ochre-line)}
.ex-tag.is-open{color:var(--red);border-color:var(--red)}
.ex-count{font-size:16px;font-variant-numeric:tabular-nums}
.ex-count strong{font-size:19px;color:var(--wine)}
.ex-legend{font-size:14.5px;color:var(--muted);line-height:1.4}
.ex-scroll{overflow-x:auto;max-width:100%;-webkit-overflow-scrolling:touch}
.ex-scroll>.katex-display,.ex-scroll .katex-display{margin:6px 0}
.ex-equation{overflow-x:auto;max-width:100%;padding:4px 0;font-size:16px}
.ex-table{border-collapse:collapse;width:100%;font-size:15.5px;font-variant-numeric:tabular-nums}
.ex-table caption{text-align:left;font-size:15px;color:var(--muted);padding-bottom:6px;caption-side:top}
.ex-table th,.ex-table td{border-bottom:1px solid var(--soft-line);padding:6px 8px;text-align:left;vertical-align:middle}
.ex-table thead th{font-size:14px;color:var(--muted);font-weight:700}
.ex-table tr.is-on{background:var(--wine-tint)}
.ex-table tr.is-dim td{color:var(--muted)}
.ex-table td.num,.ex-table th.num{text-align:right}
.ex-table .btn{min-height:40px;padding:4px 10px}
.ex-entry{display:flex;flex-direction:column;gap:6px}
.ex-entry .ex-entry-row{display:flex;flex-wrap:wrap;gap:8px;align-items:flex-end}
.ex-entry label{display:flex;flex-direction:column;gap:4px;font-size:15px;color:var(--muted)}
.ex-entry input[type=text],.ex-entry textarea{font-family:var(--mono);font-size:16px;padding:8px 10px;border:1px solid var(--control-line);border-radius:7px;background:#fff;min-height:44px;max-width:100%}
.ex-entry textarea{width:100%;min-height:150px;line-height:1.35;resize:vertical}
.ex-entry .btn{min-height:44px}
.ex-entry .input-error{color:var(--red);font-size:15px;min-height:0}
.ex-entry .input-error:empty{display:none}
.ex-chips{display:flex;flex-wrap:wrap;gap:6px}
.ex-chips .btn{min-height:44px;min-width:44px}
.ex-cards{display:grid;grid-template-columns:repeat(auto-fill,minmax(120px,1fr));gap:8px}
.ex-card{border:1px solid var(--line);border-radius:8px;background:#fff;padding:8px 10px;font-size:15px;line-height:1.35;min-width:0}
.ex-card.is-on{border-color:var(--wine);box-shadow:0 0 0 1px var(--wine) inset;background:var(--wine-tint)}
.ex-card.is-dim{opacity:.55}
.ex-card .btn{width:100%;min-height:44px}
.ex-number-line{display:block;width:100%;height:auto}
.ex-steps{list-style:none;margin:0;padding:0;display:flex;flex-direction:column;gap:6px}
.ex-steps li{padding:6px 10px;border-left:3px solid var(--soft-line);background:var(--panel)}
.ex-steps li.is-on{border-left-color:var(--wine);background:var(--wine-tint)}
.ex-verdict-ok{color:var(--teal);font-weight:700}
.ex-verdict-bad{color:var(--red);font-weight:700}
.ex-note{font-size:15px;color:var(--muted)}
.ex-section{display:flex;flex-direction:column;gap:10px;padding-top:14px;border-top:1px solid var(--soft-line)}
.ex-section>h3{font-size:19px}
.ex-section>h3:first-child{margin-top:0}

/* Verifier "Compare with an actual run" panel, shared by the twelve stages. */
.vf-run{margin-top:4px}
.vf-events{display:flex;flex-direction:column;gap:10px}
.vf-waiting{font-size:16px;color:var(--muted);margin:0}
.vf-pipeline{grid-template-columns:repeat(6,minmax(0,1fr))}
.vf-counters{display:grid;grid-template-columns:auto 1fr;gap:2px 12px;font-size:15px;margin:4px 0 8px}
.vf-counters dt{color:var(--muted)}
.vf-counters dd{margin:0;font-variant-numeric:tabular-nums}
.vf-run h4{font-size:16px;margin:12px 0 4px}
.vf-mini{border:1px solid var(--soft-line);border-radius:8px;padding:12px;background:#fff}

.lab-dot{border-style:dashed!important}

@media(max-width:760px){
 .ex-two{grid-template-columns:minmax(0,1fr);gap:16px}
}
@media(max-width:640px){
 .ex-table{font-size:14.5px}
 .ex-table th,.ex-table td{padding:5px 5px}
 .ex-result,.ex-bridge{font-size:15.5px}
 .ex-object svg{max-width:330px}
 .vf-pipeline{grid-template-columns:repeat(4,minmax(0,1fr))}
 .ex-cards{grid-template-columns:repeat(auto-fill,minmax(96px,1fr))}
}
@media(prefers-reduced-motion:reduce){.ex-lab *{transition:none!important;animation:none!important}}

/* Shell (v13): keep the programmatic focus ring of the title clear of the eyebrow. The phone tool row (Map, Undo,
   Redo, Reset in one pinned line) lives in style.css. */
#scene-eyebrow{margin-bottom:8px}

/* A table wider than its box: the shell lifts the caption above the scrolling part, adds a cue, fades the hidden
   edge and makes the box focusable (app.mjs, updateScrollBoxes). Nothing changes when the table fits. */
.ex-scroll-head{display:flex;flex-wrap:wrap;align-items:baseline;justify-content:space-between;gap:2px 12px}
.ex-scroll-caption{flex:1 1 220px;margin:0;font-size:15px;color:var(--muted);line-height:1.4;min-width:0}
.ex-scroll-cue{margin:0 0 0 auto;font-size:14px;color:var(--wine);white-space:nowrap}
.ex-scroll.is-wide:not(.at-end){-webkit-mask-image:linear-gradient(to right,#000 calc(100% - 30px),transparent);mask-image:linear-gradient(to right,#000 calc(100% - 30px),transparent)}
.ex-scroll.is-wide.at-end:not(.at-start){-webkit-mask-image:linear-gradient(to right,transparent,#000 30px);mask-image:linear-gradient(to right,transparent,#000 30px)}
.ex-scroll.is-wide:not(.at-start):not(.at-end){-webkit-mask-image:linear-gradient(to right,transparent,#000 30px,#000 calc(100% - 30px),transparent);mask-image:linear-gradient(to right,transparent,#000 30px,#000 calc(100% - 30px),transparent)}
.ex-scroll.is-wide:focus-visible{-webkit-mask-image:none;mask-image:none;outline:3px solid var(--focus);outline-offset:-3px}
.browser .btn.is-off{opacity:.45;cursor:default}

/* Shared fixes requested by the chapter owners (v13 integration):
   the segmented frame clips an outside focus ring; tap targets in tables; wrapped segmented choices. */
.seg-options .btn:focus-visible{outline:3px solid var(--focus);outline-offset:-4px}
.ex-table .btn{min-height:44px}
.ex-controls .seg-options{border:0;background:none;overflow:visible}
.ex-controls .seg-options .btn{border:1px solid var(--control-line);border-radius:7px}
.ex-controls .seg-options .btn[aria-pressed=true]{border-color:var(--wine)}