/* Sounding by Munetris: certificate checker */
:root {
  --bg: #f4f7f8;
  --surface: #ffffff;
  --surface-2: #eef3f5;
  --ink: #0d2230;
  --muted: #536472;
  --line: #d7e0e5;
  --accent: #0d6b74;
  --accent-ink: #ffffff;
  --accent-soft: #e0f0f1;
  --ok: #1d7448;
  --ok-soft: #e3f3ea;
  --info: #285c8c;
  --info-soft: #e6eef7;
  --warn: #9a5800;
  --warn-soft: #fbf0dc;
  --bad: #b3222b;
  --bad-soft: #fbe6e7;
  --shadow: 0 1px 2px rgba(13, 34, 48, 0.06), 0 4px 16px rgba(13, 34, 48, 0.05);
  --radius: 10px;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
  --serif: "Iowan Old Style", "Palatino Linotype", Palatino, Georgia, serif;
  --mono: ui-monospace, "SFMono-Regular", "Cascadia Mono", Menlo, Consolas, monospace;
  color-scheme: light;
}

@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --bg: #0a161e;
    --surface: #102029;
    --surface-2: #142a35;
    --ink: #e4edf1;
    --muted: #93a6b2;
    --line: #233a48;
    --accent: #4db1ba;
    --accent-ink: #062027;
    --accent-soft: #123940;
    --ok: #55c48d;
    --ok-soft: #12301f;
    --info: #86b5e3;
    --info-soft: #152b40;
    --warn: #f0a641;
    --warn-soft: #33260f;
    --bad: #ff7a7f;
    --bad-soft: #3a1619;
    --shadow: none;
    color-scheme: dark;
  }
}

:root[data-theme="dark"] {
    --bg: #0a161e;
    --surface: #102029;
    --surface-2: #142a35;
    --ink: #e4edf1;
    --muted: #93a6b2;
    --line: #233a48;
    --accent: #4db1ba;
    --accent-ink: #062027;
    --accent-soft: #123940;
    --ok: #55c48d;
    --ok-soft: #12301f;
    --info: #86b5e3;
    --info-soft: #152b40;
    --warn: #f0a641;
    --warn-soft: #33260f;
    --bad: #ff7a7f;
    --bad-soft: #3a1619;
    --shadow: none;
    color-scheme: dark;
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font: 16px/1.55 var(--sans);
}

a { color: var(--accent); }
code { font-family: var(--mono); font-size: 0.9em; background: var(--surface-2); padding: 0.05em 0.35em; border-radius: 4px; }

.wrap { max-width: 880px; margin: 0 auto; padding: 0 16px; }

/* Header */
.top { border-bottom: 1px solid var(--line); background: var(--surface); }
.top-inner { display: flex; align-items: center; justify-content: space-between; height: 60px; }
.brand { display: flex; align-items: center; gap: 10px; color: var(--ink); text-decoration: none; }
.mark { width: 30px; height: 30px; }
.mark-bg { fill: var(--ink); }
.mark-line { stroke: var(--surface); stroke-width: 1.6; fill: none; stroke-linecap: round; }
.mark-lead { fill: var(--accent); }
.word { font-family: var(--serif); font-size: 1.35rem; font-weight: 600; letter-spacing: 0.01em; }
.by { color: var(--muted); font-size: 0.9rem; }
.tag { font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--accent); border: 1px solid var(--accent); border-radius: 999px; padding: 2px 10px; }

.tools-nav { display: flex; align-items: center; gap: 4px; }
.tools-nav a { color: var(--muted); text-decoration: none; font-size: 0.9rem; padding: 6px 10px; border-radius: 6px; }
.tools-nav a:hover { color: var(--ink); background: var(--surface-2); }
.tools-nav a[aria-current="page"] { color: var(--accent); font-weight: 600; background: var(--accent-soft); }

[hidden] { display: none !important; }

/* Intro */
.intro { padding: 40px 0 20px; }
h1 { font-family: var(--serif); font-weight: 600; font-size: clamp(1.7rem, 4.2vw, 2.45rem); line-height: 1.15; margin: 0 0 14px; letter-spacing: -0.01em; max-width: 22em; }
.lede { font-size: 1.08rem; color: var(--muted); margin: 0 0 16px; max-width: 40em; }
.privacy { display: flex; gap: 10px; align-items: flex-start; margin: 0; padding: 10px 14px; background: var(--accent-soft); border-radius: var(--radius); font-size: 0.93rem; max-width: 46em; }
.privacy svg { flex: none; width: 18px; height: 18px; margin-top: 2px; }
.lock-arc { fill: none; stroke: var(--accent); stroke-width: 1.8; }
.lock-body { fill: var(--accent); }

/* Cards */
.card { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); box-shadow: var(--shadow); padding: 20px; margin: 20px 0; }

.input-card { position: relative; }
.label { display: block; font-weight: 600; margin-bottom: 8px; }
textarea {
  width: 100%; min-height: 190px; resize: vertical;
  font: 13.5px/1.5 var(--mono);
  color: var(--ink); background: var(--surface-2);
  border: 1px solid var(--line); border-radius: 8px; padding: 12px;
}
textarea:focus, button:focus-visible, .button:focus-within, summary:focus-visible, a:focus-visible {
  outline: 2px solid var(--accent); outline-offset: 2px;
}
textarea::placeholder { color: var(--muted); opacity: 0.75; }

.actions { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-top: 12px; }
.spacer { flex: 1; }
.hint { color: var(--muted); font-size: 0.86rem; margin: 12px 0 0; }

button, .button {
  font: inherit; font-size: 0.95rem; cursor: pointer; border-radius: 8px;
  padding: 9px 16px; border: 1px solid transparent; line-height: 1.2;
  display: inline-flex; align-items: center; gap: 6px; text-decoration: none;
}
button:disabled { cursor: default; opacity: 0.8; }
.primary { background: var(--accent); color: var(--accent-ink); font-weight: 600; }
.primary:hover { filter: brightness(1.08); }
.secondary { background: var(--surface); color: var(--ink); border-color: var(--line); }
.secondary:hover { border-color: var(--accent); }
.link { background: none; color: var(--accent); padding: 9px 6px; }
.link:hover { text-decoration: underline; }
.mini { font-size: 0.75rem; padding: 2px 8px; background: var(--surface); border: 1px solid var(--line); color: var(--muted); border-radius: 6px; vertical-align: 1px; }
.mini:hover { color: var(--ink); border-color: var(--accent); }

.file-button { position: relative; overflow: hidden; }
.file-button input { position: absolute; inset: 0; opacity: 0; cursor: pointer; }

.file-list { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 10px; }
.chip { display: inline-flex; align-items: center; gap: 4px; background: var(--surface-2); border: 1px solid var(--line); border-radius: 999px; padding: 3px 4px 3px 12px; font-size: 0.85rem; font-family: var(--mono); }
.chip-x { padding: 0 8px; background: none; color: var(--muted); font-size: 1.1rem; line-height: 1; }
.chip-x:hover { color: var(--bad); }

.drop-overlay { display: none; }
.input-card.dragging .drop-overlay {
  display: flex; position: absolute; inset: 0; align-items: center; justify-content: center;
  border: 2px dashed var(--accent); border-radius: var(--radius); background: color-mix(in srgb, var(--surface) 88%, transparent);
  font-weight: 600; color: var(--accent); pointer-events: none;
}

.alert { margin: 20px 0; padding: 14px 16px; border-radius: var(--radius); background: var(--bad-soft); color: var(--ink); border-left: 4px solid var(--bad); }

/* Results */
.results { scroll-margin-top: 16px; }
.summary { display: flex; flex-wrap: wrap; gap: 12px; align-items: center; justify-content: space-between; padding: 14px 16px; border-radius: var(--radius); margin: 24px 0 16px; border-left: 4px solid; }
.summary p { margin: 0; }
.tone-ok { background: var(--ok-soft); border-color: var(--ok); }
.tone-warn { background: var(--warn-soft); border-color: var(--warn); }
.tone-bad { background: var(--bad-soft); border-color: var(--bad); }

.panel { background: var(--surface); border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin: 16px 0; }
.panel h2 { font-size: 1rem; margin: 0 0 10px; }

.result {
  --tone: var(--ok); --tone-soft: var(--ok-soft);
  background: var(--surface); border: 1px solid var(--line); border-top: 4px solid var(--tone);
  border-radius: var(--radius); box-shadow: var(--shadow); padding: 18px; margin: 16px 0;
}
.status-ok { --tone: var(--ok); --tone-soft: var(--ok-soft); }
.status-notice { --tone: var(--info); --tone-soft: var(--info-soft); }
.status-warning { --tone: var(--warn); --tone-soft: var(--warn-soft); }
.status-critical, .status-expired, .status-not-yet-valid { --tone: var(--bad); --tone-soft: var(--bad-soft); }
.status-host { --tone: var(--accent); --tone-soft: var(--accent-soft); }

.result-head { display: flex; justify-content: space-between; align-items: flex-start; gap: 12px; }
.result-head h3 { margin: 0; font-size: 1.15rem; word-break: break-word; }
.sub { margin: 2px 0 0; color: var(--muted); font-size: 0.9rem; word-break: break-word; }
.pills { display: flex; flex-wrap: wrap; gap: 6px; justify-content: flex-end; flex: none; }
.pill-bad { background: var(--bad-soft) !important; color: var(--bad) !important; }
.result.has-problem { border-top-color: var(--bad); }
.pill { flex: none; background: var(--tone-soft); color: var(--tone); font-weight: 600; font-size: 0.82rem; padding: 4px 12px; border-radius: 999px; white-space: nowrap; }

.gauge { margin: 16px 0 6px; }
.gauge-bar { height: 10px; background: var(--surface-2); border-radius: 999px; overflow: hidden; border: 1px solid var(--line); }
.gauge-fill { height: 100%; background: var(--tone); border-radius: 999px; min-width: 0; }
.gauge-labels { display: flex; justify-content: space-between; gap: 8px; font-size: 0.82rem; color: var(--muted); margin-top: 6px; }
.gauge-mid { color: var(--tone); font-weight: 600; text-align: center; }

.findings { list-style: none; padding: 0; margin: 12px 0 0; display: grid; gap: 6px; }
.finding { display: flex; gap: 10px; align-items: baseline; padding: 8px 12px; border-radius: 8px; background: var(--surface-2); font-size: 0.93rem; border-left: 3px solid var(--muted); }
.finding .level { flex: none; font-size: 0.72rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.06em; min-width: 5.2em; }
.level-ok { border-color: var(--ok); } .level-ok .level { color: var(--ok); }
.level-info { border-color: var(--info); } .level-info .level { color: var(--info); }
.level-warn { border-color: var(--warn); background: var(--warn-soft); } .level-warn .level { color: var(--warn); }
.level-bad { border-color: var(--bad); background: var(--bad-soft); } .level-bad .level { color: var(--bad); }

.more { margin-top: 14px; }
.more summary { cursor: pointer; color: var(--accent); font-weight: 600; font-size: 0.93rem; }
.details { display: grid; grid-template-columns: max-content 1fr; gap: 6px 18px; margin: 12px 0 0; font-size: 0.9rem; }
.details dt { color: var(--muted); }
.details dd { margin: 0; word-break: break-word; min-width: 0; }
.mono { font-family: var(--mono); font-size: 0.82rem; }
.plain { list-style: none; margin: 0; padding: 0; }

.result-actions { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 16px; }

.chain-list { list-style: none; margin: 0 0 6px; padding: 0; display: grid; gap: 0; }
.chain-list li { display: grid; grid-template-columns: 1fr auto; gap: 2px 12px; padding: 8px 0 8px 14px; border-left: 3px solid var(--tone, var(--ok)); position: relative; }
.chain-list li.status-ok { --tone: var(--ok); }
.chain-name { font-weight: 600; word-break: break-word; }
.chain-meta { color: var(--muted); font-size: 0.85rem; text-align: right; }
.chain-link { grid-column: 1 / -1; font-size: 0.8rem; color: var(--muted); }
.chain-link.broken { color: var(--bad); font-weight: 600; }

/* Upsell + FAQ */
.upsell { display: flex; gap: 20px; align-items: center; justify-content: space-between; margin-top: 36px; background: linear-gradient(135deg, var(--surface), var(--accent-soft)); }
.upsell h2 { font-family: var(--serif); font-size: 1.4rem; margin: 0 0 6px; }
.upsell p { margin: 0; color: var(--muted); max-width: 36em; }
.upsell .button { flex: none; }

.faq { margin: 36px 0 24px; }
.faq h2 { font-family: var(--serif); font-size: 1.4rem; margin: 0 0 10px; }
.faq details { border-top: 1px solid var(--line); padding: 12px 0; }
.faq details:last-child { border-bottom: 1px solid var(--line); }
.faq summary { cursor: pointer; font-weight: 600; }
.faq p { color: var(--muted); margin: 8px 0 0; }

.foot { border-top: 1px solid var(--line); color: var(--muted); font-size: 0.85rem; padding: 18px 0 28px; margin-top: 20px; }
.foot-inner { display: flex; flex-wrap: wrap; gap: 8px 20px; justify-content: space-between; }

.offscreen { position: fixed; left: -9999px; top: 0; }

/* Simple pages (root, 404) */
.simple { padding: 64px 0; }
.simple p { color: var(--muted); max-width: 36em; }

@media (max-width: 640px) {
  .intro { padding-top: 28px; }
  .tag { display: none; }
  .tools-nav a { padding: 6px 7px; font-size: 0.85rem; }
  .by { display: none; }
  .card { padding: 16px; }
  .result { padding: 14px; }
  .result-head { flex-direction: column; }
  .details { grid-template-columns: 1fr; gap: 0; }
  .details dt { margin-top: 8px; }
  .upsell { flex-direction: column; align-items: flex-start; }
  .chain-list li { grid-template-columns: 1fr; }
  .chain-meta { text-align: left; }
  .actions .spacer { display: none; }
}

@media (prefers-reduced-motion: reduce) {
  * { scroll-behavior: auto !important; }
}

/* ---------- Bearing ---------- */
.wrap.wide { max-width: 1180px; }
.mark-ring { fill: none; stroke: var(--surface); stroke-width: 1.1; opacity: 0.55; }
.mark-needle-back { fill: var(--surface); opacity: 0.85; }

.visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }

.workbench { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 20px; align-items: start; margin: 20px 0; }
.workbench > .card, .expr-col > .card { margin: 0; }
.expr-col { display: grid; gap: 20px; min-width: 0; }

.card-head { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 8px; margin-bottom: 8px; }
.card-head .label { margin: 0; }
.card-head h2 { font-size: 1rem; margin: 0; }
.example-flag { font-size: 0.72rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.06em; color: var(--info); background: var(--info-soft); border-radius: 999px; padding: 2px 8px; }
.file-link { position: relative; overflow: hidden; }
.file-link input { position: absolute; inset: 0; opacity: 0; cursor: pointer; }

.pd-card { position: relative; }
.pd-card textarea { min-height: 440px; font-size: 13px; tab-size: 2; white-space: pre; overflow-x: auto; }
.status { margin: 8px 0 0; font-size: 0.86rem; }
.status-ok { color: var(--ok); }
.status-bad { color: var(--bad); }
textarea[aria-invalid], input[aria-invalid] { border-color: var(--bad); }

.expr {
  width: 100%; font: 15px/1.4 var(--mono); color: var(--ink); background: var(--surface-2);
  border: 1px solid var(--line); border-radius: 8px; padding: 11px 12px;
}
.expr:focus, .filter:focus { outline: 2px solid var(--accent); outline-offset: 2px; }
.expr-card .hint { margin-top: 8px; }

.chips { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 12px; }
.chip {
  font: 12.5px/1.3 var(--mono); padding: 5px 9px; border-radius: 6px;
  background: var(--surface-2); color: var(--ink); border: 1px solid var(--line);
}
.chip:hover { border-color: var(--accent); color: var(--accent); }

.result-card { min-height: 160px; }
.result-card .result-head { align-items: center; margin-bottom: 4px; }
.pill.tone-ok { background: var(--ok-soft); color: var(--ok); }
.pill.tone-warn { background: var(--warn-soft); color: var(--warn); }
.pill.tone-bad { background: var(--bad-soft); color: var(--bad); }
button.small { font-size: 0.85rem; padding: 6px 12px; }
.muted { color: var(--muted); margin: 0; }
.tip { color: var(--muted); font-size: 0.86rem; margin: 12px 0 0; }

.nodes { list-style: none; margin: 10px 0 0; padding: 0; display: grid; gap: 8px; }
.node { background: var(--surface-2); border-radius: 8px; padding: 9px 12px; border-left: 3px solid var(--accent); min-width: 0; }
.node-top { display: flex; justify-content: space-between; align-items: baseline; gap: 10px; }
.node-path {
  background: none; border: 0; padding: 0; color: var(--muted); font: 12px/1.4 var(--mono);
  text-align: left; word-break: break-all; cursor: pointer;
}
.node-path:hover { color: var(--accent); text-decoration: underline; }
.node-kind { flex: none; font-size: 0.7rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); }
.node-value { font: 14px/1.45 var(--mono); margin-top: 3px; word-break: break-word; white-space: pre-wrap; }
.empty { color: var(--muted); font-style: italic; font-family: var(--sans); }
.node-xml summary { cursor: pointer; color: var(--accent); font-size: 0.82rem; margin-top: 6px; }
.node-xml pre { margin: 6px 0 0; padding: 10px; background: var(--surface); border: 1px solid var(--line); border-radius: 6px; overflow-x: auto; font: 12px/1.45 var(--mono); max-height: 320px; }

.scalar { margin-top: 10px; font: 600 1.35rem/1.35 var(--mono); padding: 12px 14px; background: var(--surface-2); border-radius: 8px; word-break: break-word; white-space: pre-wrap; border-left: 3px solid var(--accent); }
.scalar-boolean { text-transform: lowercase; }

.paths-card { margin-top: 0; }
.paths-card .hint { margin: 0 0 10px; }
.count { color: var(--muted); font-size: 0.85rem; font-variant-numeric: tabular-nums; }
.filter { font: inherit; font-size: 0.9rem; padding: 7px 10px; border: 1px solid var(--line); border-radius: 8px; background: var(--surface-2); color: var(--ink); min-width: 0; width: 240px; max-width: 100%; }
.paths-scroll { max-height: 420px; overflow: auto; border: 1px solid var(--line); border-radius: 8px; }
.paths { width: 100%; border-collapse: collapse; font-size: 0.88rem; }
.paths th { position: sticky; top: 0; background: var(--surface-2); text-align: left; font-weight: 600; color: var(--muted); font-size: 0.78rem; text-transform: uppercase; letter-spacing: 0.05em; padding: 8px 12px; border-bottom: 1px solid var(--line); }
.paths td { padding: 6px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
.paths tr:last-child td { border-bottom: 0; }
.path-btn { background: none; border: 0; padding: 0; font: 12.5px/1.45 var(--mono); color: var(--accent); text-align: left; word-break: break-all; cursor: pointer; }
.path-btn:hover { text-decoration: underline; }
.path-btn.kind-attribute { color: var(--info); }
.path-value { font: 12.5px/1.45 var(--mono); color: var(--ink); word-break: break-word; }

@media (max-width: 900px) {
  .workbench { grid-template-columns: minmax(0, 1fr); }
  .expr-col { order: -1; }
  .pd-card textarea { min-height: 260px; }
}
@media (max-width: 640px) {
  .result-card .result-head { flex-direction: row; justify-content: space-between; }
  .filter { width: 100%; }
  .paths th:last-child, .paths td:last-child { max-width: 40vw; }
}

@media (max-width: 760px) {
  .top-inner { flex-wrap: wrap; height: auto; padding-block: 10px 0; row-gap: 6px; }
  .tools-nav { width: 100%; overflow-x: auto; padding-bottom: 8px; scrollbar-width: none; }
  .tools-nav::-webkit-scrollbar { display: none; }
  .tools-nav a { flex: none; }
}

/* ---------- Passage ---------- */
.mark-route { fill: none; stroke: var(--surface); stroke-width: 1.8; stroke-linecap: round; stroke-dasharray: 2.4 2.6; }
.mark-dot { fill: var(--surface); }

.src-card { position: relative; }
.src-card textarea { min-height: 460px; font-size: 12.5px; white-space: pre; overflow-x: auto; tab-size: 2; }
.check-card { max-height: 640px; overflow: auto; }
.check-card .findings { margin-top: 4px; }
.counts { display: flex; flex-wrap: wrap; gap: 6px; }
.count-pill { font-size: 0.8rem; font-weight: 600; padding: 3px 10px; border-radius: 999px; font-variant-numeric: tabular-nums; }
.count-pill.tone-ok { background: var(--ok-soft); color: var(--ok); }
.count-pill.tone-warn { background: var(--warn-soft); color: var(--warn); }
.count-pill.tone-bad { background: var(--bad-soft); color: var(--bad); }
.count-pill.tone-info { background: var(--info-soft); color: var(--info); }
.finding .finding-text { flex: 1; min-width: 0; }
.line-link { flex: none; background: none; border: 0; padding: 0 0 0 6px; font: 12px/1.4 var(--mono); color: var(--accent); cursor: pointer; white-space: nowrap; }
.line-link:hover { text-decoration: underline; }

.stat-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 8px; margin: 18px 0 0; }
.stat-grid div { background: var(--surface-2); border-radius: 8px; padding: 8px 10px; }
.stat-grid dt { font-size: 0.74rem; color: var(--muted); text-transform: uppercase; letter-spacing: 0.05em; }
.stat-grid dd { margin: 2px 0 0; font: 600 1.25rem/1.2 var(--mono); font-variant-numeric: tabular-nums; }
.services h3 { font-size: 0.9rem; margin: 18px 0 8px; }
.services ul { list-style: none; margin: 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px; }
.services li { display: inline-flex; gap: 6px; align-items: baseline; background: var(--surface-2); border: 1px solid var(--line); border-radius: 6px; padding: 4px 9px; font: 12.5px/1.3 var(--mono); }
.svc-count { color: var(--muted); }

.mono-cell { font: 12.5px/1.5 var(--mono); word-break: break-word; }
.num { white-space: nowrap; font-size: 0.86rem; }
.pad { padding: 6px 0; }

/* Flow diagram */
.flow-card .hint { margin: 0 0 12px; }
.flow-scroll { overflow-x: auto; border: 1px solid var(--line); border-radius: 8px; background: var(--bg); padding: 16px; }
.flow { width: max-content; min-width: 100%; }
.kind { font-size: 0.68rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); }
.proc-head { display: inline-flex; align-items: center; gap: 8px; background: var(--ink); color: var(--surface); padding: 6px 12px; border-radius: 999px; }
.proc-head .kind { color: inherit; opacity: 0.7; }
.proc-head .blk-name { font-weight: 600; }
.proc-body { margin-top: 14px; padding-left: 14px; border-left: 2px solid var(--line); }

.blk { border: 1px solid var(--line); border-radius: 10px; background: var(--surface); }
.blk.anon { border: 0; background: none; }
.blk-head { list-style: none; display: flex; align-items: center; gap: 8px; padding: 8px 12px; cursor: pointer; border-radius: 10px; }
.blk-head::-webkit-details-marker { display: none; }
.blk-head::before { content: "\25BE"; color: var(--muted); font-size: 0.8rem; width: 0.8em; }
details.blk:not([open]) > .blk-head::before { content: "\25B8"; }
.blk-name { font-weight: 600; }
.blk-body { padding: 4px 12px 12px; }
.blk-seq > .blk-head { background: var(--surface-2); }
.blk-choice { border-color: color-mix(in srgb, var(--info) 40%, var(--line)); }
.blk-choice > .blk-head { background: var(--info-soft); }
.blk-all { border-color: color-mix(in srgb, var(--accent) 40%, var(--line)); }
.blk-all > .blk-head { background: var(--accent-soft); }
.is-loop { box-shadow: inset 3px 0 0 var(--accent); }
.loop-tag { font-size: 0.75rem; color: var(--accent); font-weight: 600; }

.steps { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; align-items: flex-start; gap: 16px; }
.step { position: relative; }
.step + .step::before { content: ""; position: absolute; left: 22px; top: -16px; height: 16px; border-left: 2px solid var(--line); }

.act { border: 1px solid var(--line); border-radius: 8px; background: var(--surface); padding: 8px 12px; min-width: 200px; max-width: 340px; box-shadow: var(--shadow); }
.act-top { display: flex; align-items: center; gap: 8px; }
.act-op { border-left: 4px solid var(--accent); }
.op-svc { font: 600 14px/1.35 var(--mono); margin-top: 2px; word-break: break-word; }
.op-svc.small { font-size: 13px; font-weight: 500; }
.op-name { color: var(--muted); font-size: 0.86rem; margin-top: 1px; }
.op-more { margin-top: 6px; }
.op-more summary { cursor: pointer; font-size: 0.8rem; color: var(--accent); }
.msg { margin-top: 6px; }
.msg-head { font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.06em; color: var(--muted); display: flex; gap: 6px; }
.msg-name { text-transform: none; letter-spacing: 0; font-family: var(--mono); }
.assigns { list-style: none; margin: 4px 0 0; padding: 0; display: grid; gap: 2px; }
.assign-line, .assign-inline { font: 12px/1.45 var(--mono); word-break: break-word; }
.assign-inline { display: inline; }
.to { color: var(--ink); font-weight: 600; }
.arrow { color: var(--muted); margin: 0 4px; }
.from { color: var(--info); }
.lit { color: var(--warn); }
.act-assign { display: flex; align-items: baseline; gap: 8px; min-width: 0; padding: 5px 10px; box-shadow: none; background: var(--surface-2); }
.act-repeat { display: inline-flex; align-items: center; gap: 6px; min-width: 0; font: inherit; font-size: 0.88rem; color: var(--accent); background: var(--accent-soft); border: 1px dashed var(--accent); cursor: pointer; box-shadow: none; }
.act-repeat:hover { filter: brightness(1.05); }
.loop-icon { font-size: 1.05rem; }
.act-other { border-left: 4px solid var(--muted); }

.branches { display: flex; gap: 14px; align-items: flex-start; margin-top: 8px; }
.branch { border-top: 2px solid var(--info); padding-top: 8px; min-width: 220px; }
.branch.never { border-top-style: dashed; border-top-color: var(--warn); opacity: 0.8; }
.branch.fallthrough { border-top: 2px dashed var(--line); min-width: 150px; }
.blk-all .branch { border-top-color: var(--accent); }
.branch-head { margin-bottom: 8px; display: grid; gap: 4px; }
.case { font-size: 0.86rem; }
.case-if { color: var(--muted); }
.case-missing { color: var(--bad); text-decoration: underline wavy; }
.case-never { color: var(--warn); }
.case-cond { font: 11.5px/1.4 var(--mono); color: var(--muted); max-width: 320px; word-break: break-word; }

.faults { margin-top: 14px; display: grid; gap: 10px; }
.fault { border: 1px solid color-mix(in srgb, var(--bad) 45%, var(--line)); background: var(--bad-soft); border-radius: 8px; padding: 8px 12px 12px; }
.fault-head { display: flex; align-items: center; gap: 8px; margin-bottom: 8px; }
.fault-head .kind { color: var(--bad); }
.fault-code { font: 12.5px/1.3 var(--mono); }

.mark-badge { display: inline-grid; place-items: center; min-width: 1.4em; height: 1.4em; padding: 0 4px; border-radius: 999px; font-size: 0.72rem; font-weight: 700; margin-left: auto; }
.mb-bad { background: var(--bad); color: var(--surface); }
.mb-warn { background: var(--warn); color: var(--surface); }
.mb-info { background: var(--info-soft); color: var(--info); }
.marked-bad { outline: 2px solid var(--bad); outline-offset: 1px; }
.marked-warn { outline: 2px solid color-mix(in srgb, var(--warn) 70%, transparent); outline-offset: 1px; }
.flash { animation: flash 1.4s ease-out; }
@keyframes flash { 0%, 30% { box-shadow: 0 0 0 4px var(--accent); } 100% { box-shadow: 0 0 0 0 transparent; } }
@media (prefers-reduced-motion: reduce) { .flash { animation: none; outline: 3px solid var(--accent); } }

@media (max-width: 900px) {
  .check-card { max-height: none; }
  .stat-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
.fallthrough .muted-inline { font-size: 0.86rem; }