/* The model lab (Plan v2-2, Task 7): tokens (D-16, variant B, as in landing.css), then the layout, the drone, the
   drills, the views, the inspector, the timeline and the tour. Everything, the tokens included, is scoped under
   .imbse-lab2, so nothing leaks into a host page. The run-replay timeline inside keeps styles.css.
   Rule: no light-blue (--hit) text on a light background; --hit is a fill, or text on --black only. Text on --paper
   and --card is --ink, --accent or --muted. */
.imbse-lab2 {
  --paper: #eeeeea;
  --ink: #14171f;
  --accent: #1d3f8f;
  --rule: #cdd0d4;
  --muted: #5d6270;
  --card: #fafaf8;
  --black: #0b0d12;
  --on-black: #f2f2ee;
  --hit: #8fb0ff;
  --hit-soft: #dce6ff;
  --serif: Charter, "Bitstream Charter", "Sitka Text", Cambria, Georgia, serif;
  --sans: "Helvetica Neue", Helvetica, Arial, system-ui, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  position: relative;
  background: var(--paper);
  color: var(--ink);
  font: 15px/1.5 var(--sans);
  padding-bottom: 48px;
}
.imbse-lab2 *, .imbse-lab2 *::before, .imbse-lab2 *::after { box-sizing: border-box; }
.imbse-lab2 a { color: var(--accent); }
.imbse-lab2 button { font: inherit; color: inherit; }
.imbse-lab2 code { font-family: var(--mono); font-size: 0.9em; }

/* Said once, inside the mount, so an embedded lab says it too. */
.imbse-lab2 .lab-illustrative { margin: 0 0 22px; color: var(--muted); font-size: 15px; }

/* ---- Layout: three columns on a desk, two on a laptop, one on a phone ---- */
.imbse-lab2 .lab-grid2 {
  display: grid;
  grid-template-columns: minmax(280px, 330px) minmax(0, 1fr) minmax(290px, 350px);
  gap: 24px;
  align-items: start;
}
.imbse-lab2 .lab-col { min-width: 0; }
.imbse-lab2 .lab-col > section + section { margin-top: 28px; }
.imbse-lab2 h2 {
  font: 600 12px/1.3 var(--sans); letter-spacing: 0.12em; text-transform: uppercase; color: var(--accent);
  margin: 0 0 10px; padding-bottom: 8px; border-bottom: 1px solid var(--rule);
}
.imbse-lab2 .lab-hint, .imbse-lab2 .lab-view-note { color: var(--muted); font-size: 14px; margin: 0 0 8px; }
.imbse-lab2 .lab-inspector {
  position: sticky; top: 16px; max-height: calc(100vh - 32px); overflow: auto;
  background: var(--card); border: 1px solid var(--rule); border-radius: 4px; padding: 16px 18px;
}
@media (max-width: 1099px) {
  .imbse-lab2 .lab-grid2 { grid-template-columns: minmax(280px, 340px) minmax(0, 1fr); }
  .imbse-lab2 .lab-inspector { grid-column: 1 / -1; position: static; max-height: none; }
}
@media (max-width: 899px) {
  .imbse-lab2 .lab-grid2 { grid-template-columns: minmax(0, 1fr); gap: 24px; }
}
/* Where the centre column is wide enough, the structure view fits its box instead of scrolling. */
@media (min-width: 900px) {
  .imbse-lab2 .lab-view .view-structure { max-width: 100%; height: auto; }
}

/* ---- The drone ---- */
.imbse-lab2 .lab-drone-art { background: var(--card); border: 1px solid var(--rule); border-radius: 4px; padding: 6px; }
.imbse-lab2 .drone-svg { max-width: 100%; }
.imbse-lab2 .lab-parts { display: none; flex-wrap: wrap; gap: 6px; margin-top: 8px; }
.imbse-lab2 .lab-parts button {
  min-height: 36px; padding: 4px 10px; border: 1px solid var(--rule); border-radius: 18px; background: var(--card);
  font-size: 13px; cursor: pointer;
}
.imbse-lab2 .lab-parts button.lit { background: var(--hit-soft); border-color: var(--accent); }
.imbse-lab2 .lab-parts button[aria-pressed="true"] { background: var(--accent); border-color: var(--accent); color: var(--on-black); }
.imbse-lab2 .lab-parts button:hover { border-color: var(--ink); }
/* Some drone parts are small at phone width: the part buttons give every part a full-size tap target. */
@media (max-width: 899px) { .imbse-lab2 .lab-parts { display: flex; } }

/* ---- The drills ---- */
.imbse-lab2 .lab-drills-head {
  display: flex; align-items: baseline; justify-content: space-between; gap: 12px; border-bottom: 1px solid var(--rule); margin: 0 0 10px;
}
.imbse-lab2 .lab-drills-head h2 { border-bottom: 0; margin: 0; }
.imbse-lab2 .drill-note { margin: 0 0 10px; padding-left: 10px; border-left: 3px solid var(--ink); font-weight: 600; font-size: 14px; }
.imbse-lab2 .lab-result > .drill-note:only-child { margin: 0 0 6px; border-left: 0; padding-left: 0; }
.imbse-lab2 .drill-list { display: flex; flex-wrap: wrap; gap: 6px; }
.imbse-lab2 .drill-list button {
  padding: 5px 10px; border: 1px solid var(--rule); border-radius: 3px; background: transparent; font-size: 13px;
  cursor: pointer; text-align: left;
}
.imbse-lab2 .drill-list button:hover { border-color: var(--ink); }
.imbse-lab2 .drill-list button[aria-pressed="true"] { background: var(--ink); border-color: var(--ink); color: var(--on-black); }
.imbse-lab2 .drill-prompt {
  font: 19px/1.4 var(--serif); margin: 14px 0 12px; padding-left: 12px; border-left: 3px solid var(--accent);
}
.imbse-lab2 .drill-panel [data-action="run"] {
  display: inline-block; padding: 11px 20px; border: 0; border-radius: 3px; background: var(--accent); color: var(--on-black);
  font: 600 15px/1.2 var(--sans); cursor: pointer; box-shadow: 0 1px 0 var(--black);
}
.imbse-lab2 .drill-panel [data-action="run"]:hover { background: var(--black); }
.imbse-lab2 .drill-panel [data-action="run"]:focus-visible { outline: 3px solid var(--ink); outline-offset: 2px; }
.imbse-lab2 .lab-result { background: var(--card); border: 1px solid var(--rule); border-left: 4px solid var(--accent); border-radius: 4px;
  padding: 14px 18px 8px; margin: 0 0 18px; }
.imbse-lab2 .lab-result[hidden] { display: none; }
.imbse-lab2 .drill-result-title { font: 700 17px/1.25 var(--sans); margin: 0 0 8px; }
.imbse-lab2 .drill-result { font-size: 14px; }
.imbse-lab2 .drill-result .drill-result { margin: 0; }
.imbse-lab2 .drill-passages-more { margin: 0 0 10px; }
.imbse-lab2 .drill-passages-more summary { cursor: pointer; font-weight: 600; color: var(--accent); margin-bottom: 8px; }
.imbse-lab2 .drill-result p { margin: 0 0 8px; }
.imbse-lab2 .drill-count { font-weight: 600; }
.imbse-lab2 .drill-change { color: var(--accent); }
.imbse-lab2 .drill-reqs { width: 100%; border-collapse: collapse; margin: 10px 0 14px; font-size: 13px; }
.imbse-lab2 .drill-reqs caption { text-align: left; color: var(--muted); font-size: 12px; padding-bottom: 4px; }
.imbse-lab2 .drill-reqs th, .imbse-lab2 .drill-reqs td { text-align: left; vertical-align: top; padding: 5px 6px 5px 0; border-bottom: 1px solid var(--rule); }
.imbse-lab2 .drill-reqs thead th { font-weight: 600; color: var(--muted); font-size: 12px; }
.imbse-lab2 .drill-reqs .status-detail { color: var(--muted); font-size: 12px; overflow-wrap: anywhere; }
.imbse-lab2 .drill-passages { margin: 0; padding-left: 0; list-style: none; }
.imbse-lab2 .drill-passages li { margin: 0 0 10px; padding-left: 10px; border-left: 2px solid var(--rule); }
.imbse-lab2 .passage-id { font: 600 12px var(--mono); color: var(--accent); }
.imbse-lab2 .passage-file { font-size: 12px; color: var(--muted); }
.imbse-lab2 .drill-passages q { display: block; font: 14px/1.45 var(--serif); quotes: "“" "”"; }

/* Status words: always words; the colour only reinforces them. */
.imbse-lab2 .status-word { font-weight: 600; white-space: nowrap; }
.imbse-lab2 .status-word[data-status="pass"] { color: var(--accent); }
.imbse-lab2 .status-word[data-status="fail"] { background: var(--ink); color: var(--on-black); padding: 0 5px; border-radius: 2px; }
.imbse-lab2 .status-word[data-status="open"], .imbse-lab2 .status-word[data-status="not evaluated"],
.imbse-lab2 .status-word[data-status="text-only"] { color: var(--muted); font-style: italic; font-weight: 400; white-space: normal; }

/* ---- The views ---- */
.imbse-lab2 .lab-state { margin: 0 0 12px; font-size: 14px; color: var(--muted); }
.imbse-lab2 .lab-state strong { color: var(--ink); }
/* Run's one-line announcement, for screen readers only. */
.imbse-lab2 .lab-announce { position: absolute; width: 1px; height: 1px; margin: -1px; padding: 0; overflow: hidden;
  clip: rect(0 0 0 0); clip-path: inset(50%); white-space: nowrap; border: 0; }
.imbse-lab2 .lab-link { border: 0; background: none; padding: 0; color: var(--accent); text-decoration: underline; cursor: pointer; }
.imbse-lab2 .lab-tabs { display: flex; flex-wrap: wrap; gap: 2px 18px; border-bottom: 1px solid var(--rule); margin: 0 0 8px; }
.imbse-lab2 .lab-tabs button {
  border: 0; background: none; padding: 8px 0 7px; margin-bottom: -1px; border-bottom: 3px solid transparent;
  font-weight: 600; font-size: 14px; color: var(--muted); cursor: pointer;
}
.imbse-lab2 .lab-tabs button[aria-selected="true"] { color: var(--ink); border-bottom-color: var(--accent); }
.imbse-lab2 .lab-tabs button:hover { color: var(--ink); }
.imbse-lab2 .lab-view {
  background: var(--card); border: 1px solid var(--rule); border-radius: 4px; padding: 12px; overflow: auto;
  max-height: 72vh; min-height: 160px;
}
.imbse-lab2 .lab-view:focus { outline: none; }
.imbse-lab2 .lab-view .view { border: 0; background: none; padding: 0; border-radius: 0; }
.imbse-lab2 .lab-loading { color: var(--muted); }
.imbse-lab2 .lab-view .node rect { fill: var(--card); stroke: var(--ink); stroke-width: 1.2; }
.imbse-lab2 .lab-view .node text { font: 12px var(--sans); fill: var(--ink); }
.imbse-lab2 .lab-view .edge { stroke: var(--muted); }
.imbse-lab2 .lab-view .port rect { fill: var(--paper); stroke: var(--accent); }
.imbse-lab2 .lab-view .port-label, .imbse-lab2 .lab-view .edge-label, .imbse-lab2 .lab-view .col-head { fill: var(--muted); }
.imbse-lab2 .lab-view .node.hl-lit rect, .imbse-lab2 .lab-view .port.hl-lit rect { fill: var(--hit-soft); stroke: var(--accent); stroke-width: 2; }
.imbse-lab2 .lab-view .node.hl-selected rect, .imbse-lab2 .lab-view .port.hl-selected rect { stroke: var(--accent); stroke-width: 3.5; }
.imbse-lab2 .lab-view .node.hl-selected text { font-weight: 700; }
.imbse-lab2 .lab-view g[data-handle]:focus-visible rect { stroke: var(--black); stroke-width: 3.5; }
.imbse-lab2 .lab-view .trace { font-size: 13px; }
.imbse-lab2 .lab-view .trace th, .imbse-lab2 .lab-view .trace td { border-bottom-color: var(--rule); }
.imbse-lab2 .lab-view .trace .doc { color: var(--muted); border-left-color: var(--rule); }
.imbse-lab2 .lab-view .trace .none { color: var(--muted); }
.imbse-lab2 .lab-view .ref { color: var(--accent); font-weight: 600; border-radius: 2px; padding: 0 3px; }
.imbse-lab2 .lab-view .ref.hl-lit { background: var(--hit-soft); }
.imbse-lab2 .lab-view .ref.hl-selected { outline: 2px solid var(--accent); outline-offset: 1px; }

/* ---- The inspector ---- */
.imbse-lab2 .inspector { font-size: 14px; }
.imbse-lab2 .inspector header h3, .imbse-lab2 .inspector-empty h3 { font: 700 22px/1.15 var(--sans); margin: 0 0 4px; letter-spacing: -0.01em; }
.imbse-lab2 .inspector h3:focus { outline: none; }
.imbse-lab2 .inspector .kind { margin: 0; color: var(--muted); font-size: 13px; }
.imbse-lab2 .inspector .qname { margin: 2px 0 12px; color: var(--muted); font-size: 12px; overflow-wrap: anywhere; }
.imbse-lab2 .inspector h4 {
  font: 600 11px/1.3 var(--sans); letter-spacing: 0.12em; text-transform: uppercase; color: var(--accent);
  margin: 18px 0 6px; padding-top: 10px; border-top: 1px solid var(--rule);
}
.imbse-lab2 .inspector h5 { font: 600 12px var(--sans); color: var(--ink); margin: 10px 0 4px; }
.imbse-lab2 .inspector .status, .imbse-lab2 .inspector .value { font-size: 15px; color: var(--ink); margin: 0 0 10px; }
.imbse-lab2 .inspector .detail { color: var(--muted); font-size: 13px; overflow-wrap: anywhere; }
.imbse-lab2 .inspector .muted { color: var(--muted); font-size: 13px; }
.imbse-lab2 .inspector .source-changed { margin: 6px 0 4px; padding-left: 8px; border-left: 3px solid var(--accent); font-weight: 600; }
.imbse-lab2 .inspector blockquote { margin: 6px 0 10px; padding: 2px 0 2px 10px; border-left: 2px solid var(--accent); background: none; }
.imbse-lab2 .inspector blockquote[data-relation="differs"] { border-left-style: dashed; }
.imbse-lab2 .inspector blockquote p { margin: 0; font: 14px/1.45 var(--serif); }
.imbse-lab2 .inspector .item-id { font: 600 12px var(--mono); color: var(--accent); }
.imbse-lab2 .inspector .source-figure, .imbse-lab2 .inspector .source-note {
  font: 600 12px var(--sans) !important; color: var(--accent); margin-top: 2px !important;
}
.imbse-lab2 .inspector cite { display: block; font: normal 12px var(--sans); color: var(--muted); }
.imbse-lab2 .inspector .traces { margin: 0; }
.imbse-lab2 .inspector .traces dt { font-size: 12px; color: var(--muted); margin-top: 6px; }
.imbse-lab2 .inspector .traces dd { margin: 0; }
.imbse-lab2 .inspector .traces ul { list-style: none; padding: 0; margin: 2px 0 0; display: flex; flex-wrap: wrap; gap: 4px 6px; }
.imbse-lab2 .inspector .traces button, .imbse-lab2 .lab-picks button {
  border: 1px solid var(--rule); border-radius: 3px; background: var(--paper); padding: 2px 8px; font-size: 13px;
  color: var(--accent); cursor: pointer;
}
.imbse-lab2 .inspector .traces button:hover, .imbse-lab2 .lab-picks button:hover { border-color: var(--accent); }
.imbse-lab2 .lab-picks { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; }
.imbse-lab2 form.whatif {
  margin: 0 0 6px; padding: 12px; background: var(--paper); border: 1px solid var(--rule); border-radius: 4px;
  display: flex; flex-wrap: wrap; align-items: center; gap: 8px;
}
.imbse-lab2 form.whatif label { flex-basis: 100%; font-weight: 600; }
.imbse-lab2 form.whatif input {
  width: 8em; padding: 6px 8px; border: 1px solid var(--ink); border-radius: 3px; background: #fff; font: 15px var(--sans);
  color: var(--ink); margin: 0 4px;
}
.imbse-lab2 form.whatif input:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
.imbse-lab2 form.whatif [data-action="whatif"] {
  padding: 6px 14px; border: 0; border-radius: 3px; background: var(--accent); color: var(--on-black); font-weight: 600; cursor: pointer;
}
.imbse-lab2 form.whatif [data-action="reset"] {
  border: 0; background: none; padding: 0; color: var(--accent); text-decoration: underline; cursor: pointer; font-size: 13px;
}
.imbse-lab2 .whatif-error, .imbse-lab2 .whatif-note { flex-basis: 100%; margin: 0; font-size: 13px; }
.imbse-lab2 .whatif-error { color: var(--ink); font-weight: 600; padding-left: 8px; border-left: 3px solid var(--ink); }
.imbse-lab2 .whatif-note { color: var(--accent); }

/* ---- How it was built ---- */
.imbse-lab2 .lab-timeline { margin-top: 56px; padding-top: 8px; }
.imbse-lab2 .lab-timeline-intro { max-width: 70ch; color: var(--muted); margin: 0 0 16px; }
.imbse-lab2 .built-switch { display: flex; flex-wrap: wrap; gap: 8px; margin: 0 0 20px; }
.imbse-lab2 .built-switch-btn {
  font: 600 15px/1.2 var(--sans); padding: 10px 16px; min-height: 44px; border: 2px solid var(--ink);
  background: var(--card); color: var(--ink); cursor: pointer;
}
.imbse-lab2 .built-switch-btn[aria-pressed="true"] { background: var(--ink); color: var(--paper); }
.imbse-lab2 .built-switch-btn:focus-visible { outline: 3px solid var(--accent); outline-offset: 2px; }
.imbse-lab2 .built-scorecard { max-width: 70ch; margin: 0 0 20px; padding: 12px 16px; background: var(--card); border-left: 4px solid var(--accent); }
.imbse-lab2 .built-scorecard p { margin: 0 0 8px; }
.imbse-lab2 .built-scorecard .built-scorecard-note { color: var(--muted); font-size: 14px; margin: 0; }
.imbse-lab2 .built-loading { color: var(--muted); margin: 0 0 12px; }
.imbse-lab2 .lab-timeline .imbse-lab { font: 15px/1.5 var(--sans); }
/* The run-replay lab keeps its layout; only its colours move into the lab's one blue family. */
.imbse-lab2 .lab-timeline .run-label { background: var(--card); border-left-color: var(--accent); }
.imbse-lab2 .lab-timeline .run-meta { color: var(--muted); }
.imbse-lab2 .lab-timeline .decision-accepted { color: var(--accent); }
.imbse-lab2 .lab-timeline .decision-rejected { color: var(--ink); font-weight: 700; }
.imbse-lab2 .lab-timeline .step.current, .imbse-lab2 .lab-timeline .run-picker button[aria-current="true"] {
  border-color: var(--accent); box-shadow: 0 0 0 2px rgba(29, 63, 143, 0.2);
}
.imbse-lab2 .lab-timeline .review blockquote, .imbse-lab2 .lab-timeline .panel blockquote { border-left-color: var(--accent); background: var(--card); }

/* ---- The groundwork timeline (Plan v2-3): five stages above the run-replay lab ---- */
.imbse-lab2 .lab-groundwork > h3, .imbse-lab2 .lab-runs > h3 { font: 700 22px/1.2 var(--sans); letter-spacing: -0.01em; margin: 18px 0 6px; }
.imbse-lab2 .lab-runs { margin-top: 48px; padding-top: 4px; border-top: 1px solid var(--rule); }
.imbse-lab2 .gw-label { margin: 0 0 16px; padding: 8px 12px; background: var(--card); border-left: 4px solid var(--accent); font-size: 14px; }
.imbse-lab2 .gw-stages {
  list-style: none; margin: 0 0 10px; padding: 0; display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 0;
  counter-reset: none;
}
.imbse-lab2 .gw-stages li { position: relative; }
/* The rail joining the stages. */
.imbse-lab2 .gw-stages li + li::before {
  content: ""; position: absolute; top: 21px; left: -50%; right: 50%; height: 2px; background: var(--rule); z-index: 0;
}
.imbse-lab2 .gw-stage {
  position: relative; z-index: 1; width: 100%; display: flex; flex-direction: column; align-items: center; gap: 2px;
  padding: 0 4px 8px; border: 0; background: none; cursor: pointer; color: var(--ink);
}
.imbse-lab2 .gw-num {
  display: grid; place-items: center; width: 44px; height: 44px; border-radius: 50%; border: 2px solid var(--ink);
  background: var(--card); font: 700 17px var(--sans);
}
.imbse-lab2 .gw-name { font: 700 15px/1.2 var(--sans); }
.imbse-lab2 .gw-count { font-size: 12px; color: var(--muted); }
.imbse-lab2 .gw-stage:hover .gw-num { border-color: var(--accent); }
.imbse-lab2 .gw-stage[aria-current="step"] .gw-num { background: var(--accent); border-color: var(--accent); color: var(--on-black); }
.imbse-lab2 .gw-stage[aria-current="step"] .gw-name { color: var(--accent); text-decoration: underline; text-underline-offset: 4px; }
.imbse-lab2 .gw-stage:focus { outline: none; }
.imbse-lab2 .gw-stage:focus-visible .gw-num { outline: 3px solid var(--ink); outline-offset: 3px; }
.imbse-lab2 .gw-blurb { max-width: 70ch; margin: 4px auto 18px; text-align: center; font: 17px/1.45 var(--serif); }
.imbse-lab2 .gw-body {
  display: grid; grid-template-columns: minmax(240px, 300px) minmax(0, 1fr); gap: 24px; align-items: start;
}
.imbse-lab2 .gw-steps { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: 6px; }
.imbse-lab2 .gw-step {
  width: 100%; text-align: left; padding: 8px 10px; border: 1px solid var(--rule); border-radius: 3px; background: var(--card);
  cursor: pointer; font-size: 14px; line-height: 1.35;
}
.imbse-lab2 .gw-step:hover { border-color: var(--ink); }
.imbse-lab2 .gw-step[aria-current="true"] { border-color: var(--accent); box-shadow: inset 4px 0 0 var(--accent); font-weight: 600; }
.imbse-lab2 .gw-step:focus-visible, .imbse-lab2 .gw-nav button:focus-visible { outline: 3px solid var(--ink); outline-offset: 2px; }
.imbse-lab2 .gw-step-title { display: block; }
.imbse-lab2 .gw-status { font-size: 12px; font-weight: 600; white-space: nowrap; }
.imbse-lab2 .gw-step .gw-status { display: inline-block; margin-top: 3px; }
.imbse-lab2 .gw-status[data-status="pass"] { color: var(--accent); }
.imbse-lab2 .gw-status[data-status="fail"] { background: var(--ink); color: var(--on-black); padding: 0 5px; border-radius: 2px; }
.imbse-lab2 .gw-status[data-status="open"] { color: var(--ink); border: 1px dashed var(--ink); padding: 0 5px; border-radius: 2px; }
.imbse-lab2 .gw-status[data-status="count"] { color: var(--muted); font-weight: 400; }
.imbse-lab2 .gw-detail {
  min-width: 0; background: var(--card); border: 1px solid var(--rule); border-radius: 4px; padding: 16px 20px 10px; font-size: 14px;
}
.imbse-lab2 .gw-detail h4 { font: 700 19px/1.25 var(--sans); margin: 0 0 4px; }
.imbse-lab2 .gw-detail h4:focus { outline: none; }
.imbse-lab2 .gw-detail h5 { font: 700 15px/1.3 var(--sans); margin: 14px 0 6px; }
.imbse-lab2 .gw-detail h5 .gw-status { margin-left: 6px; }
.imbse-lab2 .gw-provenance { margin: 0 0 12px; color: var(--muted); font-size: 13px; }
.imbse-lab2 .gw-ask { margin: 0 0 8px; color: var(--muted); }
.imbse-lab2 details.gw-ask summary { cursor: pointer; color: var(--accent); font-weight: 600; }
.imbse-lab2 details.gw-ask p { margin: 4px 0 0; }
.imbse-lab2 .gw-summary { margin: 0 0 12px; font: 16px/1.45 var(--serif); }
.imbse-lab2 .gw-detail blockquote {
  margin: 4px 0 6px; padding: 2px 0 2px 10px; border-left: 2px solid var(--accent); font: 14px/1.45 var(--serif); background: none;
}
.imbse-lab2 .gw-cands, .imbse-lab2 .gw-conflicts, .imbse-lab2 .gw-values, .imbse-lab2 .gw-options, .imbse-lab2 .gw-findings,
.imbse-lab2 .gw-warnings {
  list-style: none; margin: 0 0 10px; padding: 0;
}
.imbse-lab2 .gw-cand { padding: 10px 0; border-top: 1px solid var(--rule); }
.imbse-lab2 .gw-cand-head { margin: 0 0 4px; }
.imbse-lab2 .gw-kind { color: var(--muted); font-size: 12px; }
.imbse-lab2 .gw-statement { margin: 0 0 4px; }
.imbse-lab2 .gw-doc { margin: 0; color: var(--muted); font-size: 12px; }
.imbse-lab2 .gw-dropped { padding-left: 10px; border-left: 3px solid var(--ink); }
.imbse-lab2 .gw-dropped .gw-claimed {
  border-left-style: dashed; border-left-color: var(--muted); text-decoration: line-through; text-decoration-color: var(--muted);
}
.imbse-lab2 .gw-note { margin: 4px 0 0; font-weight: 600; }
.imbse-lab2 .gw-findings li, .imbse-lab2 .gw-warnings li { margin: 0 0 10px; }
.imbse-lab2 .gw-gate { font-weight: 700; }
.imbse-lab2 .gw-code {
  margin: 4px 0 0; padding: 8px 10px; background: var(--black); color: var(--on-black); border-radius: 3px; overflow-x: auto;
  font: 12.5px/1.45 var(--mono); white-space: pre;
}
.imbse-lab2 .gw-code code { font-size: inherit; }
.imbse-lab2 .gw-sysml { margin: 0 0 12px; }
.imbse-lab2 .gw-sysml summary { cursor: pointer; font-weight: 600; color: var(--accent); }
.imbse-lab2 .gw-ops { margin: 0 0 10px; }
.imbse-lab2 .gw-conflict { padding: 4px 0 10px; border-top: 1px solid var(--rule); }
.imbse-lab2 .gw-values li { margin: 0 0 8px; }
.imbse-lab2 .gw-resolution { margin: 6px 0 2px; padding-left: 8px; border-left: 3px solid var(--accent); }
.imbse-lab2 .gw-illustrative { margin: 0 0 12px; padding: 6px 10px; background: var(--paper); border-left: 4px solid var(--ink); font-weight: 600; }
.imbse-lab2 .gw-options { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; }
.imbse-lab2 .gw-option { background: var(--paper); border: 1px solid var(--rule); border-top: 4px solid var(--accent); border-radius: 3px; padding: 10px 12px; }
.imbse-lab2 .gw-option h5 { margin: 0 0 6px; }
.imbse-lab2 .gw-option p { margin: 0 0 8px; }
.imbse-lab2 .gw-option dl { margin: 0 0 8px; }
.imbse-lab2 .gw-option dt { font: 600 11px/1.3 var(--sans); letter-spacing: 0.1em; text-transform: uppercase; color: var(--accent); margin-top: 6px; }
.imbse-lab2 .gw-option dd { margin: 0; }
.imbse-lab2 .gw-cites { color: var(--muted); font-size: 12px; }
.imbse-lab2 .gw-ref { font-weight: 600; color: var(--ink); }
.imbse-lab2 .gw-detail .review { background: none; border: 0; padding: 0; margin: 0 0 8px; }
.imbse-lab2 .gw-detail .review h3 { display: none; }
.imbse-lab2 .gw-detail .review h4 {
  font: 600 11px/1.3 var(--sans); letter-spacing: 0.12em; text-transform: uppercase; color: var(--accent); margin: 14px 0 4px;
}
.imbse-lab2 .gw-detail code, .imbse-lab2 .gw-detail li, .imbse-lab2 .gw-ref { overflow-wrap: anywhere; }
.imbse-lab2 .gw-detail .changes { padding-left: 18px; }
.imbse-lab2 .gw-detail .changes ul { padding-left: 16px; }
.imbse-lab2 .gw-nav {
  display: flex; align-items: center; justify-content: space-between; gap: 8px; margin: 14px 0 4px; padding-top: 10px;
  border-top: 1px solid var(--rule);
}
.imbse-lab2 .gw-nav button {
  padding: 8px 14px; border: 1px solid var(--accent); border-radius: 3px; background: var(--card); color: var(--accent); font-weight: 600; cursor: pointer;
}
.imbse-lab2 .gw-nav [data-gw-go="1"] { background: var(--accent); color: var(--on-black); }
.imbse-lab2 .gw-nav button:disabled { opacity: 0.4; cursor: default; }
.imbse-lab2 .gw-pos { color: var(--muted); font-size: 13px; }
@media (max-width: 1099px) { .imbse-lab2 .gw-options { grid-template-columns: minmax(0, 1fr); } }
@media (max-width: 899px) {
  .imbse-lab2 .gw-body { grid-template-columns: minmax(0, 1fr); gap: 14px; }
  .imbse-lab2 .gw-steps { flex-direction: row; overflow-x: auto; padding-bottom: 4px; }
  .imbse-lab2 .gw-steps li { flex: 0 0 200px; }
  .imbse-lab2 .gw-step { height: 100%; }
}
@media (max-width: 559px) {
  .imbse-lab2 .gw-num { width: 36px; height: 36px; font-size: 15px; }
  .imbse-lab2 .gw-stages li + li::before { top: 17px; }
  .imbse-lab2 .gw-name { font-size: 13px; }
  .imbse-lab2 .gw-count { font-size: 11px; }
  .imbse-lab2 .gw-blurb { font-size: 15px; text-align: left; }
  .imbse-lab2 .gw-detail { padding: 12px 12px 8px; }
}

/* ---- Errors ---- */
/* Two classes, so the run-replay lab's red `.imbse .error` (styles.css) cannot win inside the lab. */
.imbse.imbse-lab2 .error { color: var(--ink); border-left: 3px solid var(--ink); padding-left: 10px; font-weight: 600; }

/* ---- The tour: a spotlight dims the page but the target; a dark callout sits beside it, clamped to the window ---- */
.imbse-lab2 .lab-tour-layer { position: fixed; inset: 0; pointer-events: none; z-index: 1000; }
.imbse-lab2 .lab-tour-layer[hidden], .imbse-lab2 .lab-tour-spot[hidden] { display: none; }
.imbse-lab2 .lab-tour-spot {
  position: fixed; border-radius: 4px; pointer-events: none; box-shadow: 0 0 0 100vmax rgba(11, 13, 18, 0.55);
}
.imbse-lab2 .lab-tour {
  position: fixed; pointer-events: auto; background: var(--black); color: var(--on-black); border-radius: 4px;
  padding: 14px 18px 12px; box-shadow: 0 10px 30px rgba(11, 13, 18, 0.28); box-sizing: border-box;
}
.imbse-lab2 .lab-tour:focus { outline: none; }
.imbse-lab2 .lab-tour:focus-visible { outline: 2px solid var(--hit); outline-offset: 2px; }
.imbse-lab2 .lab-tour-text { margin: 0 0 8px; font-size: 15px; font-weight: 600; line-height: 1.35; }
.imbse-lab2 .lab-tour-count { margin: 0 0 10px; font: 12px var(--mono); color: var(--hit); }
.imbse-lab2 .lab-tour-buttons { display: flex; flex-wrap: wrap; gap: 8px; }
.imbse-lab2 .lab-tour-buttons button {
  padding: 6px 12px; border: 1px solid var(--on-black); border-radius: 3px; background: transparent; color: var(--on-black); cursor: pointer;
}
.imbse-lab2 .lab-tour-buttons [data-tour="next"] { background: var(--on-black); color: var(--black); font-weight: 600; }
.imbse-lab2 .lab-tour-buttons [data-tour="skip"] { border-color: transparent; text-decoration: underline; margin-left: auto; }
.imbse-lab2 .lab-tour-buttons button:focus-visible { outline: 2px solid var(--hit); outline-offset: 2px; }
.imbse-lab2 .tour-target { outline: 3px solid var(--accent); outline-offset: 4px; border-radius: 2px; }
/* The last step's target is the page header's link, outside the lab: marked from inside, so by class on the document. */

@media (prefers-reduced-motion: reduce) { .imbse-lab2 * { transition: none !important; scroll-behavior: auto !important; } }

/* Plan v2-4 Task 6: the slider, its ticks and "Your change". Dark text on light only; no --hit. */
.imbse-lab2 .drill-slider { margin: 14px 0 4px; padding: 12px; background: var(--paper); border: 1px solid var(--rule); border-radius: 4px; }
.imbse-lab2 .drill-slider h4 { margin: 0 0 8px; font: 700 15px/1.25 var(--sans); }
.imbse-lab2 .slider-row { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 10px; }
.imbse-lab2 .slider-row label { flex-basis: 100%; font: 600 14px var(--sans); }
.imbse-lab2 .slider-row input[type="range"] { flex: 1 1 180px; min-width: 0; min-height: 28px; accent-color: var(--accent); }
.imbse-lab2 .slider-row input[type="range"]:focus-visible, .imbse-lab2 .slider-box:focus-visible { outline: 2px solid var(--accent); outline-offset: 2px; }
.imbse-lab2 .slider-box {
  width: 6.5em; padding: 6px 8px; border: 1px solid var(--ink); border-radius: 3px; background: #fff; font: 15px var(--sans); color: var(--ink);
}
.imbse-lab2 .slider-ticks { position: relative; height: 3.2em; margin: 4px 14px 0 0; }
.imbse-lab2 .slider-tick {
  position: absolute; top: 0; transform: translateX(-50%); max-width: 9em; border: 0; border-top: 6px solid var(--ink); background: none;
  padding: 3px 2px 0; font: 12px/1.25 var(--sans); color: var(--ink); text-align: center; cursor: pointer;
}
.imbse-lab2 .slider-tick:hover .tick-name { text-decoration: underline; }
.imbse-lab2 .slider-tick:focus-visible { outline: 2px solid var(--accent); outline-offset: 1px; }
.imbse-lab2 .tick-name { display: block; color: var(--muted); }
.imbse-lab2 .tick-value { font-weight: 600; }
.imbse-lab2 .slider-live { margin: 8px 0 0; font-size: 13px; }
.imbse-lab2 .drill-mine caption { font: 700 14px var(--sans); color: var(--ink); }
.imbse-lab2 .drill-mine tr[data-changed="true"] th, .imbse-lab2 .drill-mine tr[data-vs-drill] th {
  border-left: 3px solid var(--ink); padding-left: 6px;
}
.imbse-lab2 .req-mark { display: inline-block; margin-top: 2px; font: 600 12px var(--sans); color: var(--accent); }
@media (max-width: 480px) {
  .imbse-lab2 .slider-tick { max-width: 6.5em; }
  .imbse-lab2 .slider-ticks { height: 4.4em; }
}