/* twin serve, version B (the flowchart), by the "UI for beginners" rules: light, calm, big text,
   few colours with a meaning: blue = step, yellow = question, green = saves data, red = error. */
:root {
  --bg: #fbfaf7; --panel: #ffffff; --ink: #1d2433; --soft: #5b6475; --faint: #8a93a3; --line: #e6e2d9;
  --accent: #2f5bd3; --accent-bg: #eef2fd;
  --step: #eaf1ff; --step-line: #6b93e6; --step-ink: #1c3b8a;
  --q: #fff6d6; --q-line: #e3bd3a; --q-ink: #5c4500;
  --save: #e6f6ea; --save-line: #5fbd7c; --save-ink: #1b5e2f;
  --err: #fdecec; --err-line: #e06c6c; --err-ink: #9b1c1c;
  --end: #f1efe9; --end-line: #b9b3a6;
  --here: #c2410c; --arrow: #9aa3b2;
}
* { box-sizing: border-box; }
body { margin: 0; background: var(--bg); color: var(--ink); font: 17px/1.5 system-ui, -apple-system, "Segoe UI", sans-serif; }
button { font: inherit; cursor: pointer; }
header { display: flex; align-items: baseline; gap: 14px; flex-wrap: wrap; padding: 14px 24px; border-bottom: 1px solid var(--line); background: var(--panel); }
header .brand { font-weight: 700; font-size: 19px; }
header .claim { color: var(--soft); font-size: 15px; }
header .repo { margin-left: auto; font-size: 15px; color: var(--soft); }
header .repo b { color: var(--ink); font-weight: 600; }
.app { display: grid; grid-template-columns: minmax(280px, 340px) 1fr; min-height: calc(100vh - 56px); }
.app > * { min-width: 0; }
@media (max-width: 860px) { .app { grid-template-columns: 1fr; } header { padding: 12px 16px; } header .repo { margin-left: 0; }
  .map { padding: 16px !important; } .chat { border-right: none !important; border-bottom: 1px solid var(--line); } }

/* chat (left) */
.chat { border-right: 1px solid var(--line); background: var(--panel); display: flex; flex-direction: column; }
.examples { padding: 16px 18px 6px; display: flex; flex-wrap: wrap; gap: 8px; }
.examples span { width: 100%; font-size: 13px; color: var(--faint); }
.chip { border: 1px solid var(--line); background: var(--bg); border-radius: 999px; padding: 5px 12px; font-size: 14px; color: var(--ink);
        max-width: 100%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.thread { flex: 1; padding: 10px 18px 18px; display: flex; flex-direction: column; gap: 14px; overflow-y: auto; }
.you { align-self: flex-end; max-width: 92%; background: var(--accent); color: #fff; padding: 10px 14px; border-radius: 16px 16px 4px 16px; overflow-wrap: anywhere; }
.twin { background: var(--bg); border: 1px solid var(--line); padding: 12px 14px; border-radius: 16px 16px 16px 4px; cursor: pointer; }
.twin.current { border-color: var(--accent); }
.twin p { margin: 0 0 8px; } .twin p:last-child { margin-bottom: 0; }
.twin.bad { border-color: var(--err-line); color: var(--err-ink); cursor: default; }
.how { font-size: 14px; color: var(--soft); }
.ask { border-top: 1px solid var(--line); padding: 14px 18px; }
.ask textarea { width: 100%; min-height: 96px; resize: vertical; font: inherit; font-size: 16px; padding: 10px 12px; border: 1px solid var(--line);
                border-radius: 12px; background: var(--bg); color: var(--ink); }
.ask .row { display: flex; justify-content: space-between; align-items: center; margin-top: 8px; gap: 8px; }
.ask .hint { font-size: 13px; color: var(--faint); }
.go { background: var(--accent); color: #fff; border: none; border-radius: 10px; padding: 8px 16px; }
.go:disabled { opacity: .6; cursor: wait; }

/* map (right) */
.map { padding: 18px 24px 30px; position: relative; }
.map h1 { font-size: 22px; margin: 0 0 2px; overflow-wrap: anywhere; }
.map .sub { color: var(--soft); margin: 0 0 10px; font-size: 16px; }
.intro { max-width: 560px; color: var(--soft); margin-top: 40px; }
.intro h1 { color: var(--ink); }
.bar { display: flex; flex-wrap: wrap; gap: 8px 16px; align-items: center; margin-bottom: 10px; }
.legend { display: flex; flex-wrap: wrap; gap: 12px; font-size: 14px; color: var(--soft); }
.legend i { display: inline-block; width: 14px; height: 14px; margin-right: 5px; vertical-align: -2px; border: 1.5px solid; }
.tools { display: flex; gap: 8px; margin-left: auto; }
.tool { border: 1px solid var(--line); background: #fff; border-radius: 10px; padding: 5px 12px; font-size: 15px; color: var(--ink); }
.tool.on { border-color: var(--accent); color: var(--accent); background: var(--accent-bg); }
.tabs { display: flex; flex-wrap: wrap; gap: 8px; margin-bottom: 10px; }
.tab { border: 1px solid var(--line); background: #fff; border-radius: 10px; padding: 5px 12px; font-size: 15px; text-align: left; color: var(--ink); }
.tab small { display: block; color: var(--faint); font-size: 12px; overflow-wrap: anywhere; }
.tab.on { border-color: var(--accent); background: var(--accent-bg); }
.crumbs { font-size: 15px; margin-bottom: 8px; color: var(--soft); }
.crumbs button { border: none; background: none; color: var(--accent); padding: 0; }
.others { font-size: 14px; color: var(--soft); margin-top: 8px; }
details.more-info { margin-top: 18px; font-size: 14px; color: var(--soft); }

/* the flowchart: SVG (arrows, diamonds, the moving dot) under absolutely placed text boxes */
.scaler { transform-origin: top left; }
.chart { position: relative; }
.chart svg { position: absolute; left: 0; top: 0; overflow: visible; }
.node { position: absolute; display: flex; flex-direction: column; justify-content: center; align-items: center; text-align: center;
        padding: 6px 12px; font-size: 16px; line-height: 1.3; cursor: pointer; transition: box-shadow .15s, opacity .2s; overflow-wrap: anywhere; }
.node:hover { box-shadow: 0 0 0 3px #c9d6f7; }
.node.dashed, ol.list .card.dashed { border-style: dashed !important; }
.node.stopped { border-bottom: 3px dashed var(--faint) !important; }
.node .may-fail, ol.list .may-fail { display: block; font-size: 11.5px; color: var(--soft); margin-top: 2px; }
.node .layer .may-fail, ol.list .layer .may-fail { display: inline; margin-top: 0; font-weight: 400; letter-spacing: 0;
  text-transform: none; }
.node .limit, ol.list .limit { display: block; font-size: 12px; color: #8a5a00; font-weight: 600; margin-top: 2px; }
.ai-tag { display: inline-block; font-size: 10px; font-weight: 700; letter-spacing: .04em; color: var(--accent);
          border: 1px solid var(--accent); border-radius: 999px; padding: 0 5px; margin-top: 2px; }
.paths-note { font-size: 13px; color: var(--faint); margin: -4px 0 10px; }
.node .layer { display: block; font-size: 11px; font-weight: 700; letter-spacing: .05em; text-transform: uppercase;
               color: var(--faint); margin: 0 0 1px; }
ol.list .layer { font-size: 11px; font-weight: 700; letter-spacing: .05em; text-transform: uppercase; color: var(--faint); }
.node small { display: block; font-size: 12.5px; color: var(--soft); margin-top: 2px; font-weight: 500; }
.node.step { background: var(--step); border: 1.5px solid var(--step-line); border-radius: 8px; color: var(--step-ink); font-weight: 600; }
.node.chapter { background: var(--step); border: 1.5px solid var(--step-line); border-radius: 8px; color: var(--step-ink); font-weight: 600;
                box-shadow: 4px 4px 0 -1px #fff, 4px 4px 0 0 var(--step-line); }
.node.chapter small { color: var(--accent); font-weight: 600; }
.node.save { background: var(--save); border: 1.5px solid var(--save-line); border-radius: 8px; color: var(--save-ink); font-weight: 600; }
.node.start, .node.end { background: var(--end); border: 1.5px solid var(--end-line); border-radius: 999px; font-weight: 600; }
.node.error { background: var(--err); border: 1.5px solid var(--err-line); border-radius: 999px; color: var(--err-ink); font-weight: 600; font-size: 15px; }
.node.note { background: #fff; border: 1.5px dashed var(--end-line); border-radius: 999px; color: var(--soft); font-size: 15px; }
.node.q { background: transparent; color: var(--q-ink); font-weight: 700; padding: 0 56px; }
.node.q, .node.q:hover, .node.q.picked, .node.q.lit { box-shadow: none; }
.node.picked { box-shadow: 0 0 0 3px var(--accent); }
.node.lit { box-shadow: 0 0 0 4px var(--accent); }
.dimmed .node:not(.lit) { opacity: 0.45; }
polygon.picked, polygon.lit { stroke: var(--accent); stroke-width: 4; }
polygon.hover { stroke: #c9d6f7; stroke-width: 4; }
.here { position: absolute; color: #fff; background: var(--here); border-radius: 10px; padding: 6px 10px; font-size: 14px; font-weight: 700;
        line-height: 1.25; text-align: center; }
.here::after { content: ""; position: absolute; right: -9px; top: 50%; margin-top: -8px; border: 8px solid transparent; border-right: 0; border-left-color: var(--here); }
.elabel { position: absolute; font-size: 13px; font-weight: 700; padding: 0 4px; background: var(--bg); }
.elabel.yes { color: #1b5e2f; } .elabel.no { color: var(--err-ink); }

/* side panel: code names, file:line and the real code only here */
.panel { position: fixed; right: 0; top: 0; bottom: 0; width: min(380px, 92vw); background: #fff; border-left: 1px solid var(--line);
         box-shadow: -8px 0 24px rgba(0,0,0,.06); padding: 20px; transform: translateX(105%); transition: transform .2s; overflow-y: auto; z-index: 5; }
.panel.open { transform: none; }
@media (min-width: 861px) { body.panel-open .map { margin-right: min(380px, 92vw); } }
.panel h2 { font-size: 19px; margin: 0 0 6px; }
.panel .kind { font-size: 13px; color: var(--faint); text-transform: uppercase; letter-spacing: .04em; }
.panel .row { margin: 10px 0; font-size: 15px; }
.panel .row b { display: block; font-size: 13px; color: var(--faint); font-weight: 600; }
.panel code, .panel pre { font: 13px/1.5 ui-monospace, Menlo, monospace; overflow-wrap: anywhere; }
.panel pre { background: #f6f5f1; border: 1px solid var(--line); border-radius: 8px; padding: 8px 10px; white-space: pre-wrap; }
.panel ul { margin: 4px 0; padding-left: 18px; }
.panel .close { position: absolute; right: 14px; top: 12px; border: none; background: none; font-size: 22px; color: var(--soft); }
.panel .actions { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 12px; }
.panel a.tool { text-decoration: none; }

/* list view (version A): the fallback, default on phones */
ol.list { list-style: none; margin: 8px 0 0; padding: 0; counter-reset: s; }
ol.list li { position: relative; padding: 0 0 12px 44px; }
ol.list li::before { counter-increment: s; content: counter(s); position: absolute; left: 0; top: 8px; width: 30px; height: 30px; border-radius: 50%;
                     border: 2px solid var(--line); background: #fff; color: var(--soft); display: flex; align-items: center; justify-content: center; font-weight: 700; font-size: 14px; }
ol.list .card { background: #fff; border: 1px solid var(--line); border-radius: 12px; padding: 10px 14px; cursor: pointer; }
ol.list .card.q { background: var(--q); border-color: var(--q-line); } ol.list .card.save { background: var(--save); border-color: var(--save-line); }
ol.list .card.start, ol.list .card.end { background: var(--end); } ol.list .card.chapter { border-color: var(--step-line); background: var(--step); }
ol.list .say { font-weight: 600; } ol.list .note { font-size: 14px; color: var(--soft); }
ol.list .err { display: inline-block; background: var(--err); border: 1px solid var(--err-line); color: var(--err-ink); border-radius: 8px; padding: 0 8px; font-size: 15px; }
ol.list .mark { display: inline-block; margin-top: 6px; background: var(--here); color: #fff; border-radius: 999px; padding: 1px 10px; font-size: 14px; font-weight: 700; }
.measure { position: absolute; visibility: hidden; left: -9999px; top: 0; }
#progress { padding: 10px 16px; border-top: 1px solid #d8dee8; font-size: 14px; }
#progress[hidden] { display: none; }
#cancel { margin-left: 8px; }
.snapshot { color: #536078; font-size: 12px; overflow-wrap: anywhere; }
.change-tag { display: block; font-size: 11px; font-weight: bold; color: #754700; }
.comparison { padding: 8px; background: #fff1ca; overflow-wrap: anywhere; }

.map-version { display: flex; align-items: baseline; gap: 12px; margin: 8px 0; font-size: 12px; color: #536078; }
.map-version .snapshot { margin: 0; }
.snapshot-details { overflow-wrap: anywhere; min-width: 0; }
.snapshot-details summary { cursor: pointer; }

/* overview: the whole app before any question */
header #home { margin-left: 0; }
.ov-counts { display: flex; flex-wrap: wrap; gap: 8px; margin: 6px 0 16px; }
.ov-count { background: #fff; border: 1px solid var(--line); border-radius: 999px; padding: 3px 12px; font-size: 14px; color: var(--soft); }
.ov-group { margin: 0 0 18px; }
.ov-group h2 { font-size: 18px; margin: 0 0 8px; }
.ov-group h3 { font-size: 15px; margin: 12px 0 6px; color: var(--soft); }
.ov-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(250px, 1fr)); gap: 10px; margin-bottom: 8px; }
.ov-card { background: #fff; border: 1px solid var(--line); border-radius: 12px; padding: 10px 12px; display: flex; flex-direction: column; gap: 4px; min-width: 0; }
.ov-card > small { color: var(--faint); font-size: 12.5px; overflow-wrap: anywhere; }
.ov-title { border: none; background: none; padding: 0; text-align: left; font-weight: 700; font-size: 16px; color: var(--ink); }
.ov-title:hover, .ov-item:hover { color: var(--accent); }
.ov-route { display: flex; align-items: baseline; gap: 8px; border: 1px solid var(--line); background: var(--bg); border-radius: 8px;
            padding: 3px 8px; font: 13px/1.4 ui-monospace, Menlo, monospace; color: var(--ink); text-align: left; overflow-wrap: anywhere; min-width: 0; }
.ov-route:hover { border-color: var(--accent); }
.http { font-weight: 700; font-size: 11px; min-width: 44px; color: var(--step-ink); }
.http.post, .http.put, .http.patch { color: var(--save-ink); } .http.delete { color: var(--err-ink); }
.ov-list summary { cursor: pointer; font-weight: 700; font-size: 17px; }
.ov-list ul { list-style: none; margin: 8px 0 0; padding: 0; display: grid; grid-template-columns: repeat(auto-fill, minmax(250px, 1fr)); gap: 6px 14px; }
.ov-list li { min-width: 0; }
.ov-item { border: 1px solid var(--line); background: #fff; border-radius: 8px; padding: 2px 8px; font-size: 14.5px; color: var(--ink); overflow-wrap: anywhere; max-width: 100%; }
.ov-item.dashed { border-style: dashed; }
.ov-list li small { display: block; font-size: 12px; color: var(--faint); } .ov-list li small.guess { color: #8a5a00; }
.name-chips { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin-top: 8px; }
.name-chips span { font-size: 13px; color: var(--faint); }
.ov-more { border: none; background: none; padding: 2px 0; text-align: left; font-size: 13px; color: var(--accent); }
.ov-route { word-break: break-word; overflow-wrap: break-word; }

/* Goal 1: one method, fully mapped (the algorithm view). Same colours as the flowchart: blue step, yellow question,
   red error, grey start / end; a loop / try box is purple; dashed = not mapped yet. */
.coverage { font-size: 15px; color: var(--soft); background: var(--bg); border: 1px solid var(--line); border-radius: 8px;
            padding: 6px 10px; display: inline-block; margin: 2px 0 6px; }
.mm .chart { position: relative; }
.mm .chart svg { position: absolute; left: 0; top: 0; overflow: visible; }
.mm-node { position: absolute; padding: 6px 10px; font-size: 14px; line-height: 1.35; border: 2px solid var(--step-line);
           background: var(--step); color: var(--step-ink); border-radius: 4px; cursor: pointer; overflow: hidden;
           overflow-wrap: anywhere; font-family: ui-monospace, SFMono-Regular, Menlo, monospace; }
.measure .mm-node { position: static; }
.mm-node small { display: block; font-family: system-ui, sans-serif; color: var(--save-ink); font-size: 12px; }
.mm-node.decision { background: var(--q); border-color: var(--q-line); color: var(--q-ink); font-family: system-ui, sans-serif; border-radius: 18px; }
.mm-node.start, .mm-node.end { background: var(--end); border-color: var(--end-line); color: var(--ink); border-radius: 999px; }
.mm-node.error, .mm-node.throw { background: var(--err); border-color: var(--err-line); color: var(--err-ink); }
.mm-node.error { border-radius: 999px; font-family: system-ui, sans-serif; }
.mm-node.return { background: var(--end); border-color: var(--end-line); color: var(--ink); }
.mm-node.loop, .mm-node.try, .mm-node.catch, .mm-node.finally { background: #f3efff; border-color: #8b74d8; color: #3b2a7a; }
.mm-node.break, .mm-node.continue { background: #f3efff; border-color: #8b74d8; color: #3b2a7a; border-style: dotted; }
.mm-node.unmapped { background: #f4f4f4; border: 2px dashed var(--faint); color: var(--soft); font-family: system-ui, sans-serif; }
.mm-node.folded { border-width: 3px; box-shadow: 4px 4px 0 #d9d2f5; font-family: system-ui, sans-serif; }
.mm-node.picked { outline: 3px solid var(--accent); }
.mm-edge { stroke: var(--arrow); }
.mm-edge.back, .mm-edge.continue { stroke: #8b74d8; stroke-dasharray: 6 4; }
.mm-edge.break { stroke: #8b74d8; }
.mm-edge.exception { stroke: var(--err-line); }
.mm-edge.finally { stroke: #d08a1d; stroke-dasharray: 2 4; }
.mm-label { position: absolute; font-size: 12px; color: var(--soft); background: var(--bg); padding: 0 4px; border-radius: 4px; white-space: nowrap; }
.mm-label.exception { color: var(--err-ink); } .mm-label.finally { color: #8a5a0f; }
.mm-label.back, .mm-label.continue, .mm-label.break { color: #3b2a7a; }
.mm-node.method { background: var(--save); border-color: var(--save-line); color: var(--save-ink); border-radius: 999px; font-family: system-ui, sans-serif; }
.mm-node.call { background: var(--accent-bg); border-color: var(--accent); color: var(--ink); }
.mm-node small { overflow-wrap: anywhere; }
.mm-edge.call, .mm-edge.returns { stroke: var(--save-line); }
.mm-label.returns { color: var(--save-ink); }
.mm-node.lines { background: var(--bg); border: 2px solid var(--end-line); color: var(--ink); font-family: system-ui, sans-serif; }

/* the brief: what the software is, before any code (Phase 2, step 1) */
.brief-top { max-width: 820px; margin-bottom: 22px; }
.brief-top h2, .brief-limits h2 { font-size: 18px; margin: 14px 0 6px; }
.brief-quote { margin: 0 0 4px; padding: 10px 14px; border-left: 4px solid var(--accent); background: var(--accent-bg);
               border-radius: 0 10px 10px 0; font-size: 18px; }
.brief-summary { font-size: 17px; margin: 0; }
.brief-none { color: var(--soft); background: #fff; border: 1px dashed var(--line); border-radius: 10px; padding: 10px 14px; }
.brief-card .brief-title { font-size: 16.5px; overflow-wrap: anywhere; }
.brief-card .brief-say { font-size: 15px; color: var(--ink); }
.brief-card.dashed { border-style: dashed; }
.brief-said { margin: 2px 0; font-size: 14px; color: var(--soft); font-style: italic; overflow-wrap: anywhere; }
.brief-entries { display: flex; flex-direction: column; gap: 4px; margin-top: 4px; }
.brief-proof { align-self: flex-start; border: none; background: none; padding: 2px 0; font-size: 13px; color: var(--accent); text-align: left; }
.brief-proof:hover { text-decoration: underline; }
.brief-section .how { margin: -4px 0 8px; }
.brief-all { margin-top: 2px; }
.brief-limits { max-width: 820px; margin: 10px 0 16px; }
.brief-limits ul { margin: 0; padding-left: 20px; color: var(--soft); font-size: 15px; }
.brief-technical { margin: 4px 0 24px; text-align: left; }

/* explanation-first flow (Phase 2, step 2) */
.node .explain-short, .card .explain-short { color: var(--soft); font-size: 12.5px; }
.node .open-inside { color: var(--accent); cursor: pointer; }
.node .open-inside:hover { text-decoration: underline; }
.panel .name-source { font-size: 13px; color: var(--faint); margin: 0 0 8px; }
.panel .name-source.ai { color: #8a5a00; }
.panel .explain { margin: 12px 0; }
.panel .explain h3 { font-size: 14px; margin: 0 0 4px; display: flex; align-items: center; gap: 8px; }
.panel .explain .tag { font-size: 11px; font-weight: 600; border-radius: 999px; padding: 1px 8px; }
.panel .explain .tag.fact { background: var(--save); color: var(--save-ink); }
.panel .explain .tag.unknown { background: var(--q); color: var(--q-ink); }
.panel .explain ul { font-size: 15px; }
.panel .explain li { margin: 3px 0; }
.panel .explain li.err { color: var(--err-ink); }
.panel .explain.evidence { margin-top: 18px; border-top: 1px solid var(--line); padding-top: 10px; }
.panel .actions { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 10px; }
.panel .tool.advanced { color: var(--soft); }
.impl { margin-top: 10px; }
.impl-head { font-size: 13px; color: var(--soft); margin: 0 0 4px; overflow-wrap: anywhere; }
.impl-code { background: #f6f5f1; border: 1px solid var(--line); border-radius: 8px; padding: 6px 0; overflow-x: auto; max-height: 60vh; }
.impl-line { display: flex; gap: 10px; padding: 0 10px; font: 12.5px/1.5 ui-monospace, Menlo, monospace; white-space: pre; }
.impl-line.here { background: var(--q); }
.impl-no { color: var(--faint); min-width: 3ch; text-align: right; user-select: none; }
.coverage-summary { margin: 0 0 4px; font-size: 16px; }
.coverage-details { margin: 0 0 10px; font-size: 14px; color: var(--soft); }
.coverage-details summary { cursor: pointer; color: var(--accent); }
.coverage-details .coverage { margin: 6px 0 0; }

/* grounded AI text (Phase 2, step 3) */
.refs { white-space: nowrap; }
.ref { border: 1px solid var(--step-line); background: var(--step); color: var(--step-ink); border-radius: 6px; font-size: 11px;
       padding: 0 5px; margin-left: 2px; line-height: 1.5; cursor: pointer; }
.ref.said { border-style: dashed; }
.ref.summary { border-style: dotted; background: transparent; color: var(--soft); }
.grounded li.quoted { font-style: italic; }
.busy-note { font-size: 14px; color: var(--soft); margin: 6px 0 0; }
.grounded { margin: 4px 0; padding-left: 18px; }
.grounded li { margin: 3px 0; }
.chat-answer { margin-bottom: 6px; }
.chat-answer .by { font-size: 12.5px; color: var(--faint); margin: 0 0 4px; }
.chat-answer .unknowns summary { cursor: pointer; font-size: 14px; color: #8a5a00; }
.panel .explain .tag.ai, .brief-top .tag.ai { background: #f3e8ff; color: #5b21b6; }
.ai-explain .ai-part { display: block; font-size: 13px; color: var(--soft); margin-top: 6px; }
.tool.ai { margin: 8px 0; border-color: #c4b5fd; color: #5b21b6; }
.brief-top .explain h3 { font-size: 16px; display: flex; gap: 8px; align-items: center; margin: 12px 0 4px; }
.brief-top .explain .tag { font-size: 11px; font-weight: 600; border-radius: 999px; padding: 1px 8px; }
.chat-note { font-size: 14px; color: var(--soft); margin: 4px 0; }
.chat-answer .uncertain { color: #8a5a00; margin: 4px 0; }
/* (S3) analysis coverage & limitations: a quiet line when nothing was found, an amber edge when something was not read */
.ov-coverage { border: 1px solid var(--line); border-radius: 10px; padding: 8px 12px; margin: 12px 0; background: var(--panel); }
.ov-coverage summary { cursor: pointer; font-size: 15px; color: var(--soft); overflow-wrap: anywhere; }
.ov-coverage.limited { border-left: 4px solid #c98a00; }
.ov-coverage.limited summary { color: #6b4700; font-weight: 600; }
.cov-group h3 { font-size: 15px; margin: 10px 0 2px; }
.cov-group ul { list-style: none; margin: 4px 0 0; padding: 0; display: grid; gap: 6px; }
.cov-group li { min-width: 0; }
.cov-group li small { display: block; font-size: 12.5px; color: var(--soft); }
.cov-at { display: block; font: 12px/1.4 ui-monospace, Menlo, monospace; color: var(--accent); overflow-wrap: anywhere; }
/* (UX S1.1) how a question was routed: chosen by names, the choices, or nothing established */
.routing { margin-top: 8px; display: grid; gap: 6px; }
.routing p { margin: 0; }
.routing-at { font: 12px/1.4 ui-monospace, Menlo, monospace; color: var(--accent); overflow-wrap: anywhere; }
.routing-choices { display: grid; gap: 6px; }
.routing-choice { display: flex; flex-wrap: wrap; align-items: baseline; gap: 6px; min-width: 0; }
.routing-choice small { font-size: 12px; color: var(--faint); }

/* (SHOPIZER-CART-1) business journey: a list first (phones too), certainty said in words, the source one click away */
.map.journey h2 { font-size: 17px; margin: 18px 0 6px; }
.journey-coverage { font-size: 13px; color: var(--soft); margin: 4px 0 10px; }
.journey-crumbs { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin: 8px 0; }
.journey-crumbs .crumb { border: none; background: none; color: var(--step-ink); padding: 2px 4px; font-size: 14px; }
.journey-crumbs .crumb.on { font-weight: 700; color: inherit; }
.journey-crumbs .sep { color: var(--faint); }
.journey-views { margin: 6px 0 12px; }
.journey-list { list-style: none; padding: 0; margin: 0; counter-reset: chapter; }
.journey-chapter { border: 1.5px solid var(--step-line); background: var(--step); border-radius: 8px; padding: 10px 12px; margin: 0 0 10px;
                   counter-increment: chapter; overflow-wrap: anywhere; }
.journey-chapter.rule { background: var(--q); border-color: var(--q-line); }
.journey-chapter.begin, .journey-chapter.end { background: var(--end); border-color: var(--end-line); }
.journey-chapter .chapter-title { border: none; background: none; padding: 0; font: inherit; font-weight: 700; font-size: 16px; color: var(--step-ink);
                                  text-align: left; cursor: pointer; }
.journey-chapter .chapter-title::before { content: counter(chapter) ". "; }
.journey-chapter .summary { margin: 3px 0; font-size: 14px; }
.journey-chapter .code-name, .journey-fact .code-name { color: var(--faint); font-size: 12px; }
.journey-rules, .journey-facts, .journey-methods, .journey-params { padding-left: 18px; margin: 6px 0; font-size: 14px; }
.journey-rule summary { cursor: pointer; font-weight: 600; }
.rule-side { margin: 4px 0 4px 10px; }
.cert { display: inline-block; font-size: 11px; font-weight: 700; padding: 0 6px; border-radius: 999px; border: 1px solid; vertical-align: 1px; }
.cert.proven { color: #1d6b3a; border-color: #7fbf95; background: #ecf8f0; }
.cert.possible { color: #7a5600; border-color: #e3bd3a; background: #fff6d6; }
.cert.unknown { color: #6b6b6b; border-color: #b9b3a6; background: #f1efe9; border-style: dashed; }
.badge { display: inline-block; margin-left: 6px; font-size: 11px; padding: 0 6px; border-radius: 4px; background: #f1efe9; }
.badge.warn { background: #fff6d6; } .badge.err { background: var(--err); color: var(--err-ink); }
.journey .src { border: 1px solid var(--line); background: #fff; border-radius: 4px; font-size: 12px; padding: 0 6px; cursor: pointer; }
.journey .sometimes, .journey .uncertain { color: #7a5600; }
.journey-op, .journey-ends, .journey-unknowns, .journey-unplaced { margin: 10px 0 16px; overflow-wrap: anywhere; }
.journey-unknowns li { margin: 4px 0; font-size: 14px; }
.journey-rules, .journey-facts, .journey-methods ul { list-style: none; padding-left: 4px; }
.journey .cond { display: inline; font-size: 12px; } .journey .cond[open] { display: block; }
.journey .cond summary { display: inline; cursor: pointer; } .journey .cond ul { margin: 2px 0 4px 14px; padding: 0; list-style: disc; }
.journey-choices { margin: 4px 0 12px; } .journey-choices .chip { margin: 2px 4px 2px 0; }

/* E3.5 AC6: the rule a requirement opened in the Developer view */
.journey li.focused { outline: 2px solid var(--accent, #c48a00); outline-offset: 2px; border-radius: 6px; }

/* (demo, docs/drishya/demo-mode.md) what this page is, above everything else */
.demo-banner { margin: 0; padding: 8px 24px; font-size: 14px; color: var(--ink); background: var(--panel); border-bottom: 1px solid var(--line); }
.demo-banner a { color: inherit; }
.demo-banner .feedback { font-weight: 600; }