@import url('https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500&family=IBM+Plex+Sans:wght@400;500&display=swap');

:root {
  --font-mono: 'IBM Plex Mono', ui-monospace, monospace;
  --font-sans: 'IBM Plex Sans', system-ui, sans-serif;

  --bg:    #ffffff;
  --bg2:   #f6f6f4;
  --bg3:   #ebeae5;
  --text:  #2a2a28;
  --muted: #78766f;
  --border:  rgba(60, 58, 50, 0.15);
  --border2: rgba(60, 58, 50, 0.30);

  --accent:  #3B8BD4;
  --success: #1D9E75;
  --warn:    #BA7517;
  --danger:  #E24B4A;
  --purple:  #7F77DD;
  --teal:    #5DCAA5;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg:    #1c1b18;
    --bg2:   #232220;
    --bg3:   #2c2b28;
    --text:  #e6e4dc;
    --muted: #a09e94;
    --border:  rgba(220, 218, 208, 0.12);
    --border2: rgba(220, 218, 208, 0.22);
  }
}

* { box-sizing: border-box; }
html, body { height: 100%; margin: 0; }
body {
  background: var(--bg); color: var(--text);
  font-family: var(--font-mono); font-size: 12px; line-height: 1.4;
}
button, input, select { font: inherit; color: inherit; }

.root { display: flex; flex-direction: column; height: 100%; }
.layout {
  display: grid; grid-template-columns: 240px 1fr;
  flex: 1; min-height: 0;
}
.main { display: flex; flex-direction: column; overflow: hidden; min-width: 0; position: relative; }

/* ─── toolbar ──────────────────────────────────────────────────────────── */
.toolbar {
  display: flex; align-items: center; gap: 14px;
  height: 64px; padding: 10px 20px;
  background: var(--bg2); border-bottom: 0.5px solid var(--border2);
}
.tb-logo {
  display: flex; align-items: center; gap: 8px;
  background: transparent; border: 0; padding: 4px 8px 4px 4px;
  margin: 0; cursor: pointer; border-radius: 6px;
  color: var(--accent); transition: background 0.12s;
}
.tb-logo:hover { background: var(--bg); }
.tb-logo-icon { width: 22px; height: 22px; flex-shrink: 0; }
.tb-logo-name { font-family: var(--font-mono); font-weight: 600; font-size: 17px; color: var(--text); letter-spacing: -0.01em; }
.tb-logo-ver  { font-family: var(--font-mono); font-weight: 400; font-size: 12px; color: var(--muted); align-self: flex-end; padding-bottom: 2px; }
.tb-spacer { flex: 1; }
.tb-project {
  font-family: var(--font-mono); font-size: 12px; color: var(--muted);
  border: 0.5px solid var(--border2); background: var(--bg);
  border-radius: 6px; padding: 6px 12px;
}
.tb-drop {
  font-family: var(--font-mono); font-size: 13px; font-weight: 500;
  color: var(--accent); background: transparent;
  border: 1px solid var(--accent); border-radius: 8px;
  padding: 9px 18px; cursor: pointer; transition: all 0.15s;
}
.tb-drop:hover { background: var(--accent); color: #fff; }
.tb-url {
  font-family: var(--font-mono); font-size: 13px; font-weight: 500;
  color: var(--text); background: transparent;
  border: 1px solid var(--border2); border-radius: 8px;
  padding: 9px 14px; cursor: pointer; transition: all 0.15s;
}
.tb-url:hover { border-color: var(--accent); color: var(--accent); }
.tb-clear {
  font-family: var(--font-mono); font-size: 13px; font-weight: 500;
  color: var(--muted); background: transparent;
  border: 1px solid var(--border2); border-radius: 8px;
  padding: 9px 14px; cursor: pointer; transition: all 0.15s;
}
.tb-clear:hover { border-color: var(--warn, #d97757); color: var(--warn, #d97757); }

/* ─── git URL modal ────────────────────────────────────────────────────── */
.gm-overlay {
  position: fixed; inset: 0; z-index: 9999;
  background: rgba(0, 0, 0, 0.45);
  display: flex; align-items: center; justify-content: center;
}
.gm-card {
  background: var(--bg); color: var(--text);
  border: 1px solid var(--border2); border-radius: 12px;
  padding: 22px 24px; width: min(520px, 92vw);
  box-shadow: 0 12px 40px rgba(0,0,0,0.25);
  font-family: var(--font-mono);
}
.gm-title { font-size: 15px; font-weight: 600; margin-bottom: 4px; }
.gm-hint  { font-size: 12px; color: var(--muted); margin-bottom: 16px; }
.gm-label { display: block; font-size: 11px; color: var(--muted); margin: 10px 0 4px; }
.gm-input {
  width: 100%; padding: 8px 10px;
  border: 1px solid var(--border2); border-radius: 6px;
  background: var(--bg2); color: var(--text);
  font-family: var(--font-mono); font-size: 12px;
}
.gm-input:focus { outline: none; border-color: var(--accent); }
.gm-input:disabled { opacity: 0.6; }
.gm-status { font-size: 11px; color: var(--muted); margin-top: 12px; min-height: 16px; }
.gm-status.err { color: var(--danger); }
.gm-status.ok  { color: var(--success); }
.gm-actions { display: flex; gap: 8px; justify-content: flex-end; margin-top: 14px; }
.gm-load, .gm-cancel {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500;
  padding: 8px 16px; border-radius: 6px; cursor: pointer;
  transition: all 0.15s;
}
.gm-cancel { background: transparent; color: var(--muted); border: 1px solid var(--border2); }
.gm-cancel:hover:not(:disabled) { color: var(--text); border-color: var(--border2); }
.gm-load   { background: var(--accent); color: #fff; border: 1px solid var(--accent); }
.gm-load:hover:not(:disabled) { filter: brightness(1.08); }
.gm-load:disabled, .gm-cancel:disabled { opacity: 0.5; cursor: default; }

.tab-pills {
  display: flex; gap: 4px; background: var(--bg3);
  padding: 5px; border-radius: 10px;
}
.tab-pill {
  font-family: var(--font-mono); font-size: 13px; font-weight: 500;
  padding: 8px 16px; border-radius: 7px; border: none; background: transparent;
  color: var(--muted); cursor: pointer; transition: all 0.15s;
  letter-spacing: 0.01em;
}
.tab-pill:hover:not(.active):not(.disabled) { color: var(--text); }
.tab-pill.active {
  background: var(--bg); color: var(--accent);
  box-shadow: 0 1px 3px rgba(0,0,0,.08);
  font-weight: 600;
}
.tab-pill.disabled { opacity: 0.4; cursor: not-allowed; }

/* ─── navigator (left pane) ───────────────────────────────────────────── */
.navigator {
  background: var(--bg2); border-right: 0.5px solid var(--border2);
  display: flex; flex-direction: column; overflow: hidden; min-width: 0;
}

/* legacy sidebar kept for compat (unused at runtime) */
.sidebar {
  background: var(--bg2); border-right: 0.5px solid var(--border2);
  display: flex; flex-direction: column; overflow: hidden; min-width: 0;
}
.sb-head {
  font-family: var(--font-mono); font-size: 10px; font-weight: 500;
  color: var(--muted); text-transform: uppercase; letter-spacing: 0.07em;
  padding: 10px 14px 6px; display: flex; align-items: center; justify-content: space-between;
}
.sb-count {
  background: var(--bg3); border-radius: 3px; padding: 1px 5px;
  font-size: 9px; color: var(--muted);
}
.sb-filter { padding: 4px 10px 8px; border-bottom: 0.5px solid var(--border); }
.sb-filter input {
  width: 100%; font-family: var(--font-mono); font-size: 11px;
  padding: 4px 8px; border-radius: 4px;
  border: 0.5px solid var(--border2); background: var(--bg); color: var(--text);
  outline: none;
}
.sb-filter input:focus { border-color: var(--accent); }
.sb-list { overflow-y: auto; flex: 1; padding: 4px 0; }
.sb-empty { color: var(--muted); padding: 8px 14px; font-size: 11px; }

.file-item {
  display: flex; align-items: center; gap: 7px;
  padding: 5px 14px; cursor: pointer; font-family: var(--font-mono);
  border-left: 2px solid transparent; transition: all 0.1s;
  min-width: 0;
}
.file-item:hover { background: var(--bg3); }
.file-item.active { background: var(--bg3); border-left-color: var(--accent); color: var(--accent); }
.ext-badge {
  font-family: var(--font-mono); font-size: 9px; font-weight: 500;
  padding: 1px 4px; border-radius: 2px; flex-shrink: 0;
  text-transform: lowercase;
}
.file-name {
  font-size: 11px; flex: 1; min-width: 0;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.file-cx { font-size: 9px; font-weight: 500; flex-shrink: 0; }
.sb-twirl {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  width: 8px; flex-shrink: 0; line-height: 1;
}

.sb-fn-list {
  background: var(--bg);
  border-left: 2px solid var(--border2);
  margin-left: 14px;
  padding: 2px 0 4px;
}
.sb-fn-empty {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  padding: 4px 12px; font-style: italic;
}
.sb-fn {
  display: flex; align-items: center; gap: 6px;
  width: 100%; padding: 3px 14px 3px 12px;
  background: transparent; border: none;
  font-family: var(--font-mono); font-size: 11px; color: var(--text);
  cursor: pointer; text-align: left;
  transition: background 0.1s;
}
.sb-fn:hover { background: var(--bg2); }
.sb-fn.active {
  background: var(--bg3);
  color: var(--accent);
  font-weight: 500;
}
.sb-fn-name {
  flex: 1; min-width: 0;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.sb-fn-cx { font-size: 9px; flex-shrink: 0; }

.dir-item {
  display: flex; align-items: center; gap: 6px;
  padding: 4px 14px 4px 10px; cursor: pointer;
  font-family: var(--font-mono);
  border-left: 2px solid transparent;
  min-width: 0;
}
.dir-item:hover { background: var(--bg3); }
.dir-icon { font-size: 11px; flex-shrink: 0; }
.dir-name {
  font-size: 11px; flex: 1; min-width: 0;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
  color: var(--text); font-weight: 500;
}
.dir-count {
  font-size: 9px; color: var(--muted); flex-shrink: 0;
  background: var(--bg3); border-radius: 3px; padding: 1px 5px;
}

/* ─── trace: breadcrumb trail ─────────────────────────────────────────── */
.trace-crumbs {
  display: flex; align-items: center; gap: 6px;
  padding: 6px 12px; background: var(--bg2);
  border-bottom: 0.5px solid var(--border);
  overflow-x: auto;
}
.crumb-nav {
  font-family: var(--font-mono); font-size: 14px; line-height: 1;
  width: 30px; height: 30px;
  border: 0.5px solid var(--border2); background: var(--bg); color: var(--text);
  border-radius: 6px; cursor: pointer; flex-shrink: 0;
  display: flex; align-items: center; justify-content: center;
  transition: all 0.15s;
}
.crumb-nav:hover:not(:disabled) { background: var(--bg3); border-color: var(--accent); color: var(--accent); }
.crumb-nav:disabled { opacity: 0.35; cursor: not-allowed; }
.crumb-trail {
  display: flex; align-items: center; gap: 4px;
  flex: 1; min-width: 0; overflow-x: auto;
  flex-wrap: nowrap;
}
.crumb {
  font-family: var(--font-mono); font-size: 12px;
  padding: 5px 11px; border-radius: 5px;
  border: 0.5px solid var(--border2); background: var(--bg); color: var(--muted);
  cursor: pointer; flex-shrink: 0;
  transition: all 0.15s;
}
.crumb:hover { color: var(--text); border-color: var(--accent); }
.crumb.current {
  color: var(--text); border-color: var(--accent); background: var(--bg3); font-weight: 500;
}
.crumb.origin { border-left-width: 2px; border-left-color: var(--success); }
.crumb-sep {
  font-family: var(--font-mono); font-size: 12px; color: var(--muted); flex-shrink: 0;
}
.crumb-clear {
  font-family: var(--font-mono); font-size: 10px;
  padding: 3px 8px; border-radius: 4px;
  border: 0.5px solid var(--border2); background: transparent; color: var(--muted);
  cursor: pointer; flex-shrink: 0;
}
.crumb-clear:hover { color: var(--danger); border-color: var(--danger); }

/* complexity color tokens */
.cx-low-fg  { color: var(--success); }
.cx-mid-fg  { color: var(--warn); }
.cx-high-fg { color: var(--danger); }

.cx-low  { background: #E1F5EE; color: #0F6E56; }
.cx-mid  { background: #FAEEDA; color: #854F0B; }
.cx-high { background: #FCEBEB; color: #A32D2D; }
@media (prefers-color-scheme: dark) {
  .cx-low  { background: #085041; color: #9FE1CB; }
  .cx-mid  { background: #633806; color: #FAC775; }
  .cx-high { background: #501313; color: #F7C1C1; }
}

/* ─── warning bar (skipped files, etc) ────────────────────────────────── */
.warnbar {
  font-family: var(--font-mono); font-size: 11px;
  color: var(--warn);
  padding: 6px 14px;
  background: var(--bg2);
  border-bottom: 0.5px solid var(--border);
}
.warnbar[hidden] { display: none; }

/* ─── stat bar ─────────────────────────────────────────────────────────── */
.statbar {
  display: flex; border-bottom: 0.5px solid var(--border2);
  background: var(--bg);
}
.stat-cell {
  flex: 1; padding: 10px 14px;
  border-right: 0.5px solid var(--border);
  min-width: 0;
}
.stat-cell.last { border-right: none; }
.stat-lbl {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.07em; margin-bottom: 3px;
}
.stat-val {
  font-family: var(--font-mono); font-size: 18px; font-weight: 500; line-height: 1;
}
.stat-sub {
  font-size: 10px; color: var(--muted); margin-top: 2px;
  font-family: var(--font-mono);
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}

/* ─── main tab content ─────────────────────────────────────────────────── */
.tab-content { flex: 1; overflow: hidden; display: flex; flex-direction: column; min-height: 0; }
.tab-content > * { flex: 1; min-height: 0; }

/* ─── overview ─────────────────────────────────────────────────────────── */
.ov-grid {
  display: grid; grid-template-columns: 1fr 1fr;
  gap: 10px; padding: 12px; overflow-y: auto;
}
.ov-card {
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 8px; padding: 11px 13px;
}
.ov-title {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.07em; margin-bottom: 9px;
}
.bar-rows { display: flex; flex-direction: column; gap: 5px; }
.bar-row { display: flex; align-items: center; gap: 7px; }
.bar-label {
  font-family: var(--font-mono); font-size: 10px; width: 88px;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.bar-track {
  flex: 1; height: 5px; background: var(--bg2);
  border-radius: 2px; overflow: hidden;
}
.bar-fill { height: 100%; border-radius: 2px; transition: width 0.4s; }
.bar-count {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  min-width: 36px; text-align: right;
}

/* ─── view hint (explainer banner above each view) ─────────────────────── */
.view-hint {
  font-family: var(--font-sans); font-size: 13px; color: var(--muted);
  padding: 12px 20px; background: var(--bg);
  border-bottom: 0.5px solid var(--border2);
  line-height: 1.5;
}
.view-hint-name {
  font-family: var(--font-mono); font-size: 13px; font-weight: 600;
  color: var(--accent); letter-spacing: 0.02em;
}
.view-hint-stat {
  display: block; margin-top: 4px;
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
.view-hint-stat-only {
  font-family: var(--font-mono); font-size: 11px;
  padding: 8px 20px;
}

/* wrappers that hold a view-hint + scrollable body */
.ov-root, .lib-root {
  display: flex; flex-direction: column; height: 100%; min-height: 0;
}
.ov-root > .ov-grid, .lib-root > .lib-grid { flex: 1; min-height: 0; }

/* ─── walk ─────────────────────────────────────────────────────────────── */
.walk-root { display: flex; flex-direction: column; height: 100%; min-height: 0; }

.walk-scope {
  display: flex; align-items: center; gap: 12px; flex-wrap: wrap;
  padding: 12px 20px; background: var(--bg2);
  border-bottom: 0.5px solid var(--border2);
}
.walk-scope-tag {
  font-family: var(--font-mono); font-size: 11px; font-weight: 600;
  letter-spacing: 0.08em; color: var(--accent);
  border: 1px solid var(--accent); border-radius: 4px;
  padding: 3px 9px;
}
.walk-scope-text { flex: 1; font-family: var(--font-sans); font-size: 13px; color: var(--text); }
.walk-toggle-all {
  font-family: var(--font-mono); font-size: 12px; color: var(--text);
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 6px; padding: 6px 12px; cursor: pointer;
  transition: all 0.12s;
}
.walk-toggle-all:hover { border-color: var(--accent); color: var(--accent); }
.walk-controls { display: inline-flex; gap: 6px; flex-wrap: wrap; }
.walk-chip-more {
  align-self: flex-start;
  font-family: var(--font-mono); font-size: 11px; color: var(--accent);
  background: transparent; border: none; padding: 2px 0; cursor: pointer;
}
.walk-chip-more:hover { text-decoration: underline; }
.walk-ctrl-btn {
  font-family: var(--font-mono); font-size: 12px; color: var(--text);
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 6px; padding: 6px 12px; cursor: pointer;
  transition: all 0.12s;
}
.walk-ctrl-btn:hover { border-color: var(--accent); color: var(--accent); }
.walk-ctrl-toggle.on { color: var(--accent); border-color: var(--accent); background: rgba(59, 139, 212, 0.08); }

.walk-cat-tag {
  display: inline-block; font-family: var(--font-mono); font-size: 10px;
  text-transform: uppercase; letter-spacing: 0.07em; font-weight: 600;
  padding: 3px 8px; border-radius: 4px; border: 1px solid;
  vertical-align: middle;
}

.walk-grid {
  overflow-y: auto; padding: 18px; min-height: 0;
  display: grid; gap: 14px; align-content: start;
  grid-template-columns: repeat(auto-fill, minmax(240px, 1fr));
}

.walk-card {
  background: var(--bg); border: 0.5px solid var(--border2);
  border-top: 4px solid var(--border2);
  border-radius: 10px; padding: 0;
  display: flex; flex-direction: column; min-width: 0;
  transition: box-shadow 0.15s;
}
.walk-card-head, .walk-card-body-wrap, .walk-card-teaser { min-width: 0; }
.walk-card-body-wrap > * { min-width: 0; }
.walk-step-title, .walk-card-body, .walk-note { overflow-wrap: anywhere; word-break: break-word; }
.walk-card:hover { box-shadow: 0 2px 8px rgba(0,0,0,0.06); }
.walk-card.selected {
  box-shadow: 0 0 0 2px var(--accent), 0 4px 12px rgba(59,139,212,0.18);
}

.walk-layout {
  display: grid; grid-template-columns: minmax(320px, 380px) 1fr;
  flex: 1; min-height: 0; gap: 0;
}
@media (max-width: 900px) {
  .walk-layout { grid-template-columns: 1fr; }
  .walk-detail { border-right: none; border-bottom: 0.5px solid var(--border2); }
}

.walk-detail {
  border-right: 0.5px solid var(--border2);
  background: var(--bg);
  display: flex; flex-direction: column;
  overflow-y: auto;
  min-width: 0;
}
.walk-detail-empty {
  margin: auto; padding: 32px;
  display: flex; flex-direction: column; align-items: center; gap: 10px;
  color: var(--muted); text-align: center;
}
.walk-detail-empty-icon { font-size: 28px; }
.walk-detail-empty-text { font-family: var(--font-sans); font-size: 13px; }
.walk-detail-head {
  padding: 14px 18px 10px;
  border-top: 4px solid var(--border2);
  border-bottom: 0.5px solid var(--border);
  display: flex; flex-direction: column; gap: 8px;
}
.walk-detail-close {
  margin-left: auto;
  font-family: var(--font-mono); font-size: 13px; line-height: 1;
  width: 26px; height: 26px;
  background: transparent; color: var(--muted);
  border: 0.5px solid var(--border2); border-radius: 4px;
  cursor: pointer;
}
.walk-detail-close:hover { color: var(--text); border-color: var(--text); }
.walk-detail-body {
  padding: 14px 18px 18px;
  display: flex; flex-direction: column; gap: 14px;
  min-width: 0;
}

.walk-card-head {
  display: flex; flex-direction: column; gap: 8px;
  width: 100%; padding: 14px 16px 10px;
  background: transparent; border: none; cursor: pointer;
  text-align: left; font: inherit; color: inherit;
}
.walk-card-head:hover { background: var(--bg2); }
.walk-card-top { display: flex; align-items: center; gap: 8px; }
.walk-step-num {
  font-family: var(--font-mono); font-size: 10px; font-weight: 600;
  color: var(--muted); letter-spacing: 0.06em;
}
.walk-twirl {
  margin-left: auto;
  font-family: var(--font-mono); font-size: 12px; color: var(--muted);
}
.walk-step-title {
  font-family: var(--font-sans); font-size: 15px; font-weight: 600;
  color: var(--text); letter-spacing: -0.01em; line-height: 1.3;
}
.walk-counts { display: flex; flex-wrap: wrap; gap: 5px; }
.walk-count-pill {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  background: var(--bg2); border-radius: 3px; padding: 2px 7px;
}
.walk-count-note { color: var(--accent); }

.walk-card-teaser {
  font-family: var(--font-sans); font-size: 12px; color: var(--muted);
  padding: 0 16px 14px; line-height: 1.5;
  display: -webkit-box; -webkit-line-clamp: 3; -webkit-box-orient: vertical;
  overflow: hidden;
}
.walk-card-body-wrap {
  padding: 4px 16px 16px;
  display: flex; flex-direction: column; gap: 12px;
}
.walk-card-body {
  font-family: var(--font-sans); font-size: 13px; color: var(--text);
  line-height: 1.6;
}
.walk-chip-block { display: flex; flex-direction: column; gap: 6px; }
.walk-chip-label {
  font-family: var(--font-mono); font-size: 9px; font-weight: 600;
  text-transform: uppercase; letter-spacing: 0.07em;
}

.chip-row { display: flex; flex-wrap: wrap; gap: 8px; }
.walk-fn-chip {
  font-family: var(--font-mono); font-size: 12px; padding: 6px 12px;
  border-radius: 6px; background: var(--bg2);
  border: 0.5px solid var(--border2); color: var(--text);
  cursor: pointer; transition: all 0.12s;
  max-width: 100%; overflow-wrap: anywhere; word-break: break-all;
  text-align: left;
}
.walk-fn-chip:hover { background: var(--accent); color: #fff; border-color: var(--accent); }
.walk-file-chip::before {
  content: '↗ '; color: var(--muted); font-size: 11px; margin-right: 1px;
}
.walk-file-chip:hover::before { color: #fff; }

.walk-note {
  font-family: var(--font-sans); font-size: 13px;
  padding: 12px 16px; border-radius: 6px;
  border-left: 3px solid var(--accent);
  background: var(--bg2); color: var(--text); line-height: 1.6;
}

/* ─── functions ────────────────────────────────────────────────────────── */
.fn-root { display: flex; flex-direction: column; height: 100%; min-height: 0; }
.fn-toolbar {
  display: flex; align-items: center; gap: 8px;
  padding: 7px 12px; border-bottom: 0.5px solid var(--border);
  background: var(--bg);
}
.fn-tb-label { font-family: var(--font-mono); font-size: 11px; color: var(--muted); }
.fn-tb-count { font-family: var(--font-mono); font-size: 11px; color: var(--muted); }
.fn-toolbar select {
  font-family: var(--font-mono); font-size: 11px;
  padding: 3px 7px; border-radius: 4px;
  border: 0.5px solid var(--border2); background: var(--bg); color: var(--text);
}
.fn-list { overflow-y: auto; flex: 1; }
.fn-row {
  display: flex; align-items: center; gap: 9px;
  padding: 6px 12px; border-bottom: 0.5px solid var(--border);
  cursor: pointer; transition: background 0.1s;
}
.fn-row:hover { background: var(--bg2); }
.fn-name {
  font-family: var(--font-mono); font-size: 11px; color: var(--accent);
  flex: 1; min-width: 0;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.fn-file {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  min-width: 80px;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.fn-lines {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  min-width: 36px; text-align: right;
}
.cx-badge {
  font-family: var(--font-mono); font-size: 10px; font-weight: 500;
  padding: 2px 6px; border-radius: 3px;
  min-width: 32px; text-align: center;
}
.fn-row.expanded { background: var(--bg2); }
.fn-row .sb-twirl { font-size: 10px; }
.fn-trace-btn {
  font-family: var(--font-mono); font-size: 10px;
  padding: 2px 8px; border-radius: 3px;
  border: 0.5px solid var(--border2); background: transparent; color: var(--muted);
  cursor: pointer; flex-shrink: 0;
  transition: all 0.15s;
}
.fn-trace-btn:hover { color: var(--accent); border-color: var(--accent); }
.fn-source {
  background: var(--bg2);
  border-bottom: 0.5px solid var(--border);
  padding: 8px 12px 12px;
  overflow-x: auto;
}
.fn-source-pre {
  font-family: var(--font-mono); font-size: 11px; line-height: 1.5;
  margin: 0; color: var(--text);
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 4px; padding: 8px 0;
  overflow-x: auto;
}
.fn-source-line { display: flex; padding: 0 10px; }
.fn-source-line:hover { background: var(--bg2); }
.fn-source-num {
  color: var(--muted); flex-shrink: 0; padding-right: 12px;
  text-align: right; min-width: 36px;
  user-select: none;
}
.fn-source-code { white-space: pre; }
.fn-source-empty {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted); font-style: italic;
}

/* ─── libraries ────────────────────────────────────────────────────────── */
.lib-grid {
  display: grid; grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 8px; padding: 12px; overflow-y: auto;
}
.lib-card {
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 8px; padding: 10px 12px; cursor: pointer;
  transition: border-color 0.15s;
  min-width: 0;
}
.lib-card:hover { border-color: var(--accent); }
.lib-name {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500; color: var(--text);
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.lib-count { font-family: var(--font-mono); font-size: 10px; color: var(--muted); }
.lib-bar {
  height: 3px; border-radius: 2px; margin-top: 7px;
  background: var(--bg2); overflow: hidden;
}
.lib-bar-fill { height: 100%; border-radius: 2px; min-width: 4px; }
.lib-type {
  font-family: var(--font-mono); font-size: 9px;
  text-transform: uppercase; letter-spacing: 0.06em; margin-top: 4px;
}

/* ─── trace ────────────────────────────────────────────────────────────── */
.trace-root { display: flex; flex-direction: column; height: 100%; min-height: 0; }

.trace-entry-more { font-family: var(--font-mono); font-size: 10px; color: var(--muted); align-self: center; }

.trace-body {
  display: grid; grid-template-columns: 1fr 300px;
  flex: 1; overflow: hidden; min-height: 0;
}
.trace-detail { overflow-y: auto; padding: 14px; min-width: 0; }
.trace-fn-name {
  font-family: var(--font-mono); font-size: 14px; font-weight: 500;
  color: var(--text); margin-bottom: 4px;
}
.trace-fn-meta {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  margin-bottom: 14px;
}
.trace-section-label {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.07em;
  margin: 14px 0 6px;
}
.trace-pill-row { display: flex; flex-wrap: wrap; gap: 4px; }
.pill {
  display: inline-block; font-family: var(--font-mono); font-size: 10px;
  padding: 2px 8px; border-radius: 3px; margin: 2px 3px 2px 0;
  border: 0.5px solid var(--border2); background: var(--bg); color: var(--text);
  cursor: pointer; transition: background 0.1s;
}
.pill:hover { background: var(--bg2); }
.pill.in  { border-color: var(--success); color: var(--success); }
.pill.out { border-color: var(--accent); color: var(--accent); }
.trace-file-link {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  background: transparent; border: none; padding: 0; cursor: pointer;
  text-align: left;
}
.trace-file-link:hover { color: var(--accent); }

.conf-badge {
  display: inline-block; margin-left: 6px;
  font-family: var(--font-mono); font-size: 9px;
  padding: 0 5px; border-radius: 3px;
  border: 0.5px solid var(--border2); color: var(--muted);
  text-transform: lowercase; letter-spacing: 0.04em;
  vertical-align: middle;
}
.conf-badge.conf-high  { border-color: var(--success); color: var(--success); }
.conf-badge.conf-med   { border-color: var(--purple);  color: var(--purple); }
.conf-badge.conf-low   { border-color: var(--muted);   color: var(--muted); }
.conf-badge.conf-amb   { border-color: var(--warn);    color: var(--warn); }
.conf-badge.conf-cycle { border-color: var(--danger);  color: var(--danger); }

.trace-badge-row {
  display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 12px;
}
.trace-badge {
  font-family: var(--font-mono); font-size: 10px;
  padding: 2px 7px; border-radius: 3px;
  border: 0.5px solid var(--border2); background: var(--bg2); color: var(--muted);
}
.trace-badge.conf-high { border-color: var(--success); color: var(--success); }
.trace-badge.conf-med  { border-color: var(--purple);  color: var(--purple); }
.trace-badge.conf-low  { border-color: var(--muted);   color: var(--muted); }
.trace-badge.conf-amb  { border-color: var(--warn);    color: var(--warn); }

.pill.conf-high { border-color: var(--success); color: var(--success); }
.pill.conf-med  { border-color: var(--purple);  color: var(--purple); }
.pill.conf-low  { border-color: var(--muted);   color: var(--muted); }

/* ─── trace: map (SVG DAG) ─────────────────────────────────────────────── */
.trace-body.map-mode { grid-template-columns: 1fr 320px; }
.trace-graph-host {
  overflow: auto;
  background: var(--bg);
  border-right: 0.5px solid var(--border2);
  min-width: 0; min-height: 0;
}
.trace-svg { display: block; }
.trace-svg-node rect {
  fill: var(--bg2);
  stroke: var(--border2); stroke-width: 0.5;
  transition: stroke 0.1s, fill 0.1s;
}
.trace-svg-node:hover rect { stroke: var(--accent); }
.trace-svg-node.active rect { stroke: var(--accent); stroke-width: 2; fill: var(--bg3); }
.trace-svg-node.cx-low  rect { fill: #E1F5EE; }
.trace-svg-node.cx-mid  rect { fill: #FAEEDA; }
.trace-svg-node.cx-high rect { fill: #FCEBEB; }
@media (prefers-color-scheme: dark) {
  .trace-svg-node.cx-low  rect { fill: #0d3b32; }
  .trace-svg-node.cx-mid  rect { fill: #4a2c08; }
  .trace-svg-node.cx-high rect { fill: #401111; }
}
.trace-svg-node.warn rect { stroke: var(--danger); stroke-width: 1; }
.trace-svg-node.cycle rect { stroke-dasharray: 4 2; }
.trace-svg-file {
  font-family: var(--font-mono); font-size: 9px; fill: var(--muted);
  text-transform: lowercase;
}
.trace-svg-name {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500;
  fill: var(--text);
}
.trace-svg-meta {
  font-family: var(--font-mono); font-size: 9px; fill: var(--muted);
}
.trace-svg-edge { fill: none; stroke-width: 1.2; }
.trace-svg-edge.conf-high { stroke: var(--success); }
.trace-svg-edge.conf-med  { stroke: var(--purple); }
.trace-svg-edge.conf-low  { stroke: var(--muted); stroke-dasharray: 4 3; opacity: 0.7; }
.trace-svg-edge.conf-amb  { stroke: var(--warn);  stroke-dasharray: 5 2; }
.trace-svg-arrow.conf-high { fill: var(--success); }
.trace-svg-arrow.conf-med  { fill: var(--purple); }
.trace-svg-arrow.conf-low  { fill: var(--muted); }
.trace-svg-arrow.conf-amb  { fill: var(--warn); }
.trace-svg-expand rect {
  fill: var(--bg2); stroke: var(--accent); stroke-width: 1;
}
.trace-svg-expand:hover rect { fill: var(--accent); }
.trace-svg-expand text {
  font-family: var(--font-mono); font-size: 10px; fill: var(--accent);
  pointer-events: none;
}
.trace-svg-expand:hover text { fill: var(--bg); }

/* ─── trace: detail panel summary ─────────────────────────────────────── */
.trace-summary-grid {
  display: grid; grid-template-columns: 1fr 1fr;
  gap: 6px; margin-bottom: 12px;
}
.trace-summary-cell {
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 6px; padding: 8px 10px;
}
.trace-summary-cell.warn { border-color: var(--danger); }
.trace-summary-val {
  font-family: var(--font-mono); font-size: 18px; font-weight: 500; color: var(--text);
  line-height: 1;
}
.trace-summary-cell.warn .trace-summary-val { color: var(--danger); }
.trace-summary-lbl {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.07em; margin-top: 4px;
}
.trace-section-label.small { margin-top: 10px; }
.trace-node-detail { margin-top: 8px; padding-top: 12px; border-top: 0.5px solid var(--border); }

.trace-source-section { margin-top: 14px; }
.trace-source-toggle {
  font-family: var(--font-mono); font-size: 11px;
  background: var(--bg); border: 0.5px solid var(--border2);
  color: var(--text); padding: 6px 10px; border-radius: 5px;
  cursor: pointer; width: 100%; text-align: left;
  transition: all 0.12s;
}
.trace-source-toggle:hover { border-color: var(--accent); color: var(--accent); }
.trace-source-pre { margin-top: 8px; max-height: 360px; overflow: auto; }

/* ─── graph ────────────────────────────────────────────────────────────── */
.graph-root { display: flex; flex-direction: column; height: 100%; min-height: 0; }
.graph-legend {
  display: flex; align-items: center; gap: 14px; flex-wrap: wrap;
  padding: 8px 20px; background: var(--bg2);
  border-bottom: 0.5px solid var(--border);
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
.graph-legend-stat { color: var(--text); font-weight: 500; }
.graph-legend-sep { opacity: 0.5; }
.graph-legend-swatch-row { display: flex; align-items: center; gap: 6px; }
.graph-legend-swatch { width: 14px; height: 3px; border-radius: 2px; }
.graph-legend-label { font-size: 11px; }
.graph-legend-hint { margin-left: auto; font-size: 10px; opacity: 0.8; }
.graph-fit-btn {
  font-family: var(--font-mono); font-size: 11px;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
  padding: 4px 10px; cursor: pointer; transition: all 0.12s;
}
.graph-fit-btn:hover { border-color: var(--accent); color: var(--accent); }
.graph-search {
  font-family: var(--font-mono); font-size: 11px;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
  padding: 4px 8px; margin-left: auto; min-width: 180px;
  outline: none;
}
.graph-search:focus { border-color: var(--accent); }
.graph-toggle-btn {
  font-family: var(--font-mono); font-size: 11px;
  background: var(--bg); color: var(--muted);
  border: 0.5px solid var(--border2); border-radius: 4px;
  padding: 4px 10px; cursor: pointer; transition: all 0.12s;
}
.graph-toggle-btn:hover { border-color: var(--accent); color: var(--accent); }
.graph-toggle-btn.active { color: var(--text); }
.graph-zoom-group { display: inline-flex; gap: 4px; }
.graph-zoom-btn {
  font-family: var(--font-mono); font-size: 13px; line-height: 1;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
  padding: 4px 10px; cursor: pointer; min-width: 28px;
  transition: all 0.12s;
}
.graph-zoom-btn:hover { border-color: var(--accent); color: var(--accent); }

.graph-dir-toggles {
  display: flex; align-items: center; gap: 6px; flex-wrap: wrap;
  padding: 6px 20px; background: var(--bg2);
  border-bottom: 0.5px solid var(--border);
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
.graph-dir-toggle-label { color: var(--muted); margin-right: 4px; font-size: 10px; text-transform: uppercase; letter-spacing: 0.06em; }
.graph-dir-chip {
  font-family: var(--font-mono); font-size: 11px;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
  padding: 3px 8px; cursor: pointer; transition: all 0.12s;
}
.graph-dir-chip:hover { border-color: var(--accent); color: var(--accent); }
.graph-dir-chip.collapsed {
  background: var(--accent); color: var(--bg);
  border-color: var(--accent);
}

.graph-stage {
  display: grid; grid-template-columns: 1fr 280px;
  flex: 1; min-height: 0; overflow: hidden;
}
.graph-host {
  position: relative; background: var(--bg); min-width: 0; min-height: 0;
  overflow: hidden;
  display: flex; align-items: stretch; justify-content: stretch;
  /* Faint dot-grid backdrop gives the eye fixed spatial anchors so panning a
     large map feels like moving across a surface, not a void. */
  background-image: radial-gradient(var(--border) 0.5px, transparent 0.5px);
  background-size: 22px 22px;
}
.graph-svg { display: block; flex: 1; touch-action: none; user-select: none; }

.graph-minimap {
  position: absolute; right: 14px; bottom: 14px; z-index: 4;
  background: color-mix(in srgb, var(--bg2) 88%, transparent);
  border: 0.5px solid var(--border2); border-radius: 6px;
  box-shadow: 0 4px 16px rgba(0, 0, 0, 0.18);
  overflow: hidden; cursor: crosshair;
  backdrop-filter: blur(3px);
}
.graph-minimap-svg { display: block; width: 100%; height: 100%; }
.graph-minimap-vp {
  fill: color-mix(in srgb, var(--accent) 16%, transparent);
  stroke: var(--accent); stroke-width: 1.5; vector-effect: non-scaling-stroke;
}
.graph-dir-label {
  font-size: 13px; font-weight: 600; fill: var(--text);
}
.graph-node-sublabel {
  font-family: var(--font-mono); font-size: 9px; fill: var(--muted);
  pointer-events: none;
  /* Background-colored halo so the subline stays legible over edges/nodes.
     Kept thin so it reads as a clean outline, not a smear into the glyphs. */
  paint-order: stroke; stroke: var(--bg); stroke-width: 1.2px; stroke-linejoin: round;
}
.graph-node-dir:hover rect { stroke-width: 2.5; }
.graph-edge { fill: none; stroke-width: 1; }
.graph-edge.edge-base { stroke: rgba(120,118,111,0.28); }
.graph-edge.edge-dim  { stroke: rgba(120,118,111,0.18); }
.graph-edge.edge-out  { stroke: var(--accent); stroke-width: 2; }
.graph-edge.edge-in   { stroke: var(--success); stroke-width: 2; }
.graph-node { transition: opacity 0.15s; }
.graph-node.dim { opacity: 0.45; }
.graph-node.focus { opacity: 1; }
.graph-node.match circle { stroke: var(--accent); stroke-width: 2.2; }
/* Files just revealed by expanding a folder — a one-shot ring pulse draws the
   eye to what opened (and where it sits), then settles. The marker is consumed
   after a single render, so this fires once per expand, not on every redraw. */
.graph-node.just-expanded { opacity: 1; }
.graph-node.just-expanded circle,
.graph-node.just-expanded rect {
  stroke: var(--accent); stroke-width: 2.5;
  animation: graph-pop 1.1s ease-out;
}
@keyframes graph-pop {
  0%   { stroke-width: 7; opacity: 0.4; }
  100% { stroke-width: 2.5; opacity: 1; }
}
.graph-node-label.match { fill: var(--accent); font-weight: 600; }
.graph-node-label {
  font-family: var(--font-mono); font-size: 10px; fill: var(--text);
  pointer-events: all; cursor: pointer;
  /* A background-colored stroke painted *under* the fill gives every label a
     halo, so file/folder names stay readable over the dot-grid, edges, and
     translucent nodes instead of blending into them. Thin (1.5px) so it stays a
     crisp outline — a heavier halo bleeds between glyphs and reads as fuzzy/bold. */
  paint-order: stroke; stroke: var(--bg); stroke-width: 1.5px; stroke-linejoin: round;
}
.graph-conn-out { border-left: 2px solid var(--accent); }
.graph-conn-in  { border-left: 2px solid var(--success); }
.file-trace-host { overflow: auto; border-right: 0.5px solid var(--border2); }
.trace-svg-node.file-node rect { stroke-width: 1; }
.trace-svg-node.file-node.active rect { stroke-width: 2.5; }
.graph-info {
  border-left: 0.5px solid var(--border2);
  background: var(--bg2);
  padding: 12px 14px; overflow-y: auto; min-width: 0;
}
.graph-info-title {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500;
  color: var(--accent);
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.graph-info-sub {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  margin-top: 2px; word-break: break-all;
}
.graph-info-sec { margin-top: 14px; }
.graph-info-sec-title {
  font-family: var(--font-mono); font-size: 9px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.07em; margin-bottom: 6px;
}
.graph-info-empty,
.graph-info-empty-sm {
  font-family: var(--font-mono); color: var(--muted);
}
.graph-info-empty { font-size: 11px; line-height: 1.5; }
.graph-info-empty-sm { font-size: 10px; padding: 2px 0; }
.graph-conn {
  display: flex; align-items: center; gap: 6px; width: 100%;
  font-family: var(--font-mono); font-size: 11px; color: var(--text);
  background: var(--bg); border: 0.5px solid var(--border2);
  border-radius: 4px; padding: 4px 7px; margin-bottom: 4px;
  cursor: pointer; text-align: left;
  transition: border-color 0.1s, background 0.1s;
}
.graph-conn:hover { background: var(--bg3); border-color: var(--accent); }
.graph-conn-name {
  flex: 1; min-width: 0;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.graph-conn-tag {
  font-size: 9px; color: var(--accent);
  border: 0.5px solid var(--accent); border-radius: 3px;
  padding: 1px 4px; flex-shrink: 0;
}
.graph-leg-row {
  display: flex; align-items: center; gap: 6px;
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  margin-bottom: 4px;
}
.graph-leg-swatch { width: 18px; height: 0; border-top-style: solid; }
.graph-leg-import { border-top: 1.5px solid var(--accent); }
.graph-leg-lang   { border-top: 1px solid var(--muted); opacity: 0.45; }

/* ─── splash ───────────────────────────────────────────────────────────── */
.upload-splash {
  padding: 32px 24px; text-align: center;
  display: flex; flex-direction: column; align-items: center; gap: 10px;
  margin: auto;
}
.splash-icon { font-size: 28px; }
.splash-title { font-family: var(--font-mono); font-size: 13px; font-weight: 500; color: var(--text); }
.splash-sub {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  line-height: 1.6; max-width: 320px;
}

/* ─── drop overlay ─────────────────────────────────────────────────────── */
.drop-overlay {
  position: absolute; inset: 0; z-index: 10;
  background: rgba(59, 139, 212, 0.08);
  border: 2px dashed var(--accent); border-radius: 4px;
  display: none; align-items: center; justify-content: center;
  pointer-events: none;
}
.drop-msg {
  font-family: var(--font-mono); font-size: 13px;
  color: var(--accent); text-align: center;
}

/* --- Phase 9a: effect badges ----------------------------------------- */
.effect-badge {
  display: inline-block;
  font: 10px/1 var(--font-mono);
  letter-spacing: 0.04em;
  padding: 2px 5px;
  border-radius: 3px;
  margin-left: 4px;
  text-transform: uppercase;
  vertical-align: middle;
}
.effect-badge.direct   { color: #fff; }
.effect-badge.inherited{ background: transparent; border: 1px solid currentColor; }
.effect-badge.dashed   { background: transparent; border: 1px dashed currentColor; }

.effect-net  { color: #4d8df0; }
.effect-fs   { color: #e08a3c; }
.effect-db   { color: #a874e0; }
.effect-exec { color: #e0584d; }
.effect-dom  { color: #4dbf7a; }
.effect-env  { color: #c8a93a; }

.effect-badge.direct.effect-net  { background: #4d8df0; }
.effect-badge.direct.effect-fs   { background: #e08a3c; }
.effect-badge.direct.effect-db   { background: #a874e0; }
.effect-badge.direct.effect-exec { background: #e0584d; }
.effect-badge.direct.effect-dom  { background: #4dbf7a; }
.effect-badge.direct.effect-env  { background: #c8a93a; }

.effect-row {
  display: inline-flex;
  flex-wrap: wrap;
  gap: 2px;
  align-items: center;
  vertical-align: middle;
}

.fx-strip {
  display: flex; flex-wrap: wrap; gap: 5px;
  margin: 4px 0 8px 0;
}
.fx-chip {
  display: inline-flex; align-items: center; gap: 5px;
  font-family: var(--font-sans); font-size: 11px; font-weight: 600;
  letter-spacing: 0.01em;
  padding: 3px 9px; border-radius: 4px;
  border: 1px solid currentColor;
  line-height: 1.4;
}
.fx-chip.inherited { background: transparent; border-style: dashed; }
.fx-chip-icon { font-size: 12px; line-height: 1; }
.fx-chip-label { line-height: 1; }
.fx-chip-suffix {
  font-family: var(--font-mono); font-size: 9px; font-weight: 400;
  opacity: 0.75; letter-spacing: 0;
}

.fn-effects { display: inline-flex; gap: 2px; margin-left: 6px; }

.fn-fx-chips { display: flex; gap: 4px; flex-wrap: wrap; padding: 4px 0; }
.fn-fx-chip {
  font: 10px/1 var(--font-mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  padding: 3px 7px;
  border-radius: 10px;
  border: 1px solid currentColor;
  cursor: pointer;
  background: transparent;
}
.fn-fx-chip.on { color: #fff; }
.fn-fx-chip.on.effect-net  { background: #4d8df0; border-color: #4d8df0; }
.fn-fx-chip.on.effect-fs   { background: #e08a3c; border-color: #e08a3c; }
.fn-fx-chip.on.effect-db   { background: #a874e0; border-color: #a874e0; }
.fn-fx-chip.on.effect-exec { background: #e0584d; border-color: #e0584d; }
.fn-fx-chip.on.effect-dom  { background: #4dbf7a; border-color: #4dbf7a; }
.fn-fx-chip.on.effect-env  { background: #c8a93a; border-color: #c8a93a; }

/* --- Phase 9b: smells -------------------------------------------------- */
.smell-dot {
  display: inline-block; width: 8px; height: 8px; border-radius: 50%;
  margin-right: 4px; vertical-align: middle;
  background: transparent;
}
.smell-dot-warn { background: #e0584d; cursor: pointer; }
.smell-dot-info { background: #c8a93a; cursor: pointer; }
.smell-dot-none { background: transparent; }

.smells-root { padding: 12px 14px; }
.smells-list { display: flex; flex-direction: column; gap: 10px; margin-top: 8px; }
.smell-item {
  border-left: 3px solid transparent;
  padding: 8px 12px; background: rgba(127,127,127,0.06); border-radius: 4px;
  font-size: 13px;
}
.smell-warn { border-left-color: #e0584d; }
.smell-info { border-left-color: #c8a93a; }
.smell-head { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; cursor: pointer; list-style: none; }
.smell-head::-webkit-details-marker { display: none; }
.smell-caret { font-size: 10px; color: var(--muted); width: 10px; transition: transform 0.12s; user-select: none; }
.smell-item[open] > .smell-head > .smell-caret { transform: rotate(90deg); }
.smell-item > .smell-open { margin-left: auto; }
.smell-sev { font-size: 14px; }
.sev-warn { color: #e0584d; }
.sev-info { color: #c8a93a; }
.smell-loc { font-family: var(--font-mono); color: var(--accent); }
.smell-kind { font-family: var(--font-mono); font-size: 11px; opacity: 0.8; }
.smell-snippet {
  font-family: var(--font-mono); font-size: 12px;
  margin: 4px 0; padding: 4px 8px;
  background: rgba(0,0,0,0.18); border-radius: 3px; white-space: pre-wrap;
}
.smell-why { display: flex; align-items: center; gap: 8px; font-size: 12px; opacity: 0.9; }
.smell-fn { opacity: 0.7; }
.smell-open {
  margin-left: auto; font: 11px var(--font-mono);
  padding: 3px 8px; border: 1px solid currentColor; border-radius: 3px;
  background: transparent; cursor: pointer; color: var(--accent);
}
.smell-copy, .smell-dismiss {
  font: 11px var(--font-mono);
  padding: 3px 8px; border: 1px solid var(--muted); border-radius: 3px;
  background: transparent; cursor: pointer; color: var(--muted);
}
.smell-copy:hover, .smell-dismiss:hover { color: var(--fg, #e6edf3); border-color: var(--fg, #e6edf3); }
.smell-item.smell-dismissed { opacity: 0.45; }
.smell-item.smell-dismissed:hover { opacity: 0.75; }

/* --- Phase 9c: paint chip strip --------------------------------------- */
.paint-strip {
  display: flex; gap: 8px; align-items: center;
  padding: 6px 12px; border-bottom: 1px solid rgba(127,127,127,0.18);
  font-family: var(--font-mono); font-size: 12px;
}
.paint-chip {
  padding: 3px 8px; border-radius: 12px;
  border: 1px solid currentColor; background: transparent; cursor: default;
}
.paint-chip.start { color: #1D9E75; }
.paint-chip.end   { color: #E24B4A; }
.paint-chip.empty { opacity: 0.5; }
.paint-btn {
  padding: 3px 8px; border-radius: 4px; border: 1px solid currentColor;
  background: transparent; cursor: pointer; font: inherit;
}
.paint-empty {
  padding: 24px; text-align: center; color: var(--accent);
  font-family: var(--font-mono);
}

/* ─── UI rework: top-bar mode buttons, smell badge, effect chips ─────── */
.tb-modes { display: flex; gap: 6px; }
.tb-mode {
  font-family: var(--font-mono); font-size: 13px; font-weight: 500;
  padding: 9px 16px; border-radius: 8px;
  border: 1px solid var(--border2); background: var(--bg);
  color: var(--text); cursor: pointer; transition: all 0.12s;
}
.tb-mode:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
.tb-mode.active {
  background: var(--accent); border-color: var(--accent); color: #fff;
  box-shadow: 0 1px 3px rgba(0,0,0,.10);
}
.tb-mode:disabled { opacity: 0.4; cursor: not-allowed; }

.tb-fx-chips { display: flex; gap: 3px; padding: 2px 6px; border-left: 0.5px solid var(--border); border-right: 0.5px solid var(--border); }
.tb-fx-chip {
  font-family: var(--font-mono); font-size: 10px; font-weight: 500;
  padding: 4px 8px; border-radius: 4px;
  background: transparent; border: 1px solid var(--border2);
  color: var(--muted); cursor: pointer; transition: all 0.12s;
  text-transform: uppercase; letter-spacing: 0.04em;
}
.tb-fx-chip:hover { color: var(--text); }
.tb-fx-chip.on { background: var(--text); color: var(--bg); border-color: var(--text); }

.tb-smell-badge {
  font-family: var(--font-mono); font-size: 12px; font-weight: 600;
  padding: 6px 12px; border-radius: 6px;
  border: 1px solid var(--border2); background: var(--bg);
  cursor: pointer; transition: all 0.12s;
}
.tb-smell-badge.warn { color: var(--danger); border-color: var(--danger); }
.tb-smell-badge.info { color: var(--warn);   border-color: var(--warn); }
.tb-smell-badge.none { color: var(--success); border-color: var(--success); }
.tb-smell-badge.active.warn { background: var(--danger); color: #fff; }
.tb-smell-badge.active.info { background: var(--warn);   color: #fff; }
.tb-smell-badge.active.none { background: var(--success); color: #fff; }
.tb-smell-badge:hover { transform: translateY(-1px); }

/* ─── navigator search & home ─────────────────────────────────────────── */
.sb-home {
  font-family: var(--font-mono); font-size: 11px; font-weight: 500;
  background: transparent; border: 1px solid var(--border2);
  color: var(--text); padding: 5px 10px; border-radius: 5px;
  cursor: pointer; transition: all 0.12s;
}
.sb-home:hover { border-color: var(--accent); color: var(--accent); }
.sb-home.active { background: var(--accent); color: #fff; border-color: var(--accent); }

.sb-filter { display: flex; align-items: center; gap: 4px; padding: 4px 10px 8px; border-bottom: 0.5px solid var(--border); }
.sb-filter input {
  flex: 1; padding: 6px 9px; border-radius: 5px;
  border: 1px solid var(--border2); background: var(--bg);
  color: var(--text); font-family: var(--font-mono); font-size: 12px;
}
.sb-filter input:focus { outline: none; border-color: var(--accent); }
.sb-filter-clear {
  border: none; background: transparent; color: var(--muted);
  cursor: pointer; padding: 4px 8px; font-size: 12px; border-radius: 4px;
}
.sb-filter-clear:hover { color: var(--danger); background: var(--bg3); }

.sb-results-count {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  padding: 6px 12px; text-transform: uppercase; letter-spacing: 0.05em;
}
.sb-results-more {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  padding: 12px; text-align: center; font-style: italic;
}
.sb-fn-file {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  margin-left: auto; margin-right: 6px;
}

/* ─── workspace (right pane) ──────────────────────────────────────────── */
.workspace { flex: 1; overflow: hidden; display: flex; flex-direction: column; min-height: 0; }
.workspace > * { flex: 1; min-height: 0; }
.ws-root { display: flex; flex-direction: column; height: 100%; overflow: hidden; }

.ws-header {
  padding: 16px 24px 12px; border-bottom: 0.5px solid var(--border);
  background: var(--bg2);
}
.ws-title {
  display: flex; align-items: center; gap: 10px;
  font-family: var(--font-sans); font-size: 18px; font-weight: 500;
}
.ws-title-icon {
  font-size: 18px; color: var(--muted); font-family: var(--font-mono);
}
.ws-title-ext {
  font-family: var(--font-mono); font-size: 10px; font-weight: 600;
  padding: 3px 8px; border-radius: 4px;
  text-transform: uppercase; letter-spacing: 0.05em;
}
.ws-title-text {
  flex: 1; font-family: var(--font-mono); font-size: 14px; font-weight: 500;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.ws-close {
  border: none; background: transparent; color: var(--muted);
  cursor: pointer; padding: 4px 10px; font-size: 14px; border-radius: 4px;
}
.ws-close:hover { color: var(--danger); background: var(--bg3); }

.ws-sub {
  margin-top: 8px; display: flex; gap: 16px; flex-wrap: wrap;
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
.ws-stat { display: inline-flex; gap: 5px; align-items: baseline; }
.ws-stat-lbl { text-transform: uppercase; letter-spacing: 0.05em; font-size: 9px; }
.ws-stat-val { color: var(--text); font-weight: 500; }

/* ─── workspace mode chips ────────────────────────────────────────────── */
.ws-mode-chips {
  display: flex; gap: 2px; padding: 8px 24px;
  border-bottom: 0.5px solid var(--border); background: var(--bg);
}
.ws-mode-chip {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500;
  padding: 6px 14px; border-radius: 5px;
  background: transparent; border: 1px solid transparent;
  color: var(--muted); cursor: pointer; transition: all 0.12s;
}
.ws-mode-chip:hover { color: var(--text); background: var(--bg3); }
.ws-mode-chip.on {
  color: var(--text); border-color: var(--border2); background: var(--bg2);
}

/* ─── workspace body ──────────────────────────────────────────────────── */
.ws-body { flex: 1; overflow: auto; min-height: 0; }
.ws-pad { padding: 20px 24px 32px; max-width: 1100px; }
.ws-pad-wide { max-width: none; width: 100%; box-sizing: border-box; }
.ws-pad-wide .ov-grid { grid-template-columns: repeat(auto-fit, minmax(320px, 1fr)); }
.ws-section-label {
  font-family: var(--font-mono); font-size: 10px; font-weight: 600;
  color: var(--muted); text-transform: uppercase; letter-spacing: 0.07em;
  margin: 18px 0 8px; padding-bottom: 4px; border-bottom: 0.5px dotted var(--border);
}
.ws-section-label:first-child { margin-top: 0; }
.ws-link {
  font-family: var(--font-mono); font-size: 11px;
  background: transparent; border: none; color: var(--accent);
  cursor: pointer; padding: 6px 0; text-decoration: underline;
}

.ws-fn-list { display: flex; flex-direction: column; gap: 2px; margin-top: 4px; }
.ws-fn-row {
  display: flex; align-items: center; gap: 10px;
  padding: 6px 10px; border-radius: 5px;
  background: transparent; border: 1px solid transparent;
  cursor: pointer; text-align: left; width: 100%;
}
.ws-fn-row:hover { background: var(--bg2); border-color: var(--border); }
.ws-fn-name { flex: 1; font-family: var(--font-mono); font-weight: 500; color: var(--text); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.ws-fn-line { font-family: var(--font-mono); font-size: 10px; color: var(--muted); }

/* ─── workspace smell list ────────────────────────────────────────────── */
.ws-smell-list { display: flex; flex-direction: column; gap: 6px; }
.ws-smell-row {
  padding: 8px 12px;
  border-radius: 6px; background: var(--bg2);
  border-left: 3px solid var(--border2);
}
.ws-smell-row.sev-warn { border-left-color: var(--danger); }
.ws-smell-row.sev-info { border-left-color: var(--warn); }
.ws-smell-summary {
  display: flex; gap: 10px; align-items: flex-start;
  cursor: pointer; list-style: none;
}
.ws-smell-summary::-webkit-details-marker { display: none; }
.ws-smell-caret {
  font-size: 10px; color: var(--muted); flex-shrink: 0;
  width: 10px; transition: transform 0.12s; user-select: none;
  margin-top: 2px;
}
.ws-smell-row[open] > .ws-smell-summary > .ws-smell-caret { transform: rotate(90deg); }
.ws-smell-row > .ws-smell-snippet,
.ws-smell-row > .ws-smell-why { margin-left: 30px; }
.ws-smell-icon { font-size: 13px; flex-shrink: 0; }
.ws-smell-row.sev-warn .ws-smell-icon { color: var(--danger); }
.ws-smell-row.sev-info .ws-smell-icon { color: var(--warn); }
.ws-smell-main { flex: 1; min-width: 0; }
.ws-smell-head { display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; }
.ws-smell-loc {
  font-family: var(--font-mono); font-size: 11px; font-weight: 500;
  color: var(--accent); background: transparent; border: none;
  padding: 0; cursor: pointer; text-decoration: underline;
}
.ws-smell-kind {
  font-family: var(--font-mono); font-size: 10px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.05em;
}
.ws-smell-snippet {
  font-family: var(--font-mono); font-size: 11px; color: var(--text);
  background: var(--bg); padding: 4px 8px; border-radius: 3px;
  margin-top: 4px; overflow-x: auto; white-space: pre;
}
.ws-smell-why {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  margin-top: 4px; line-height: 1.45;
}

/* ─── fullscreen overlay ──────────────────────────────────────────────── */
.fullscreen {
  position: fixed; inset: 64px 0 0 0; z-index: 100;
  background: var(--bg); display: flex; flex-direction: column;
}
/* When promoted to true browser fullscreen the UA places the element at the
   viewport origin, so drop the 64px toolbar offset and fill edge-to-edge. */
.fullscreen:fullscreen { inset: 0; background: var(--bg); }
.fs-head {
  display: flex; align-items: center; gap: 16px;
  padding: 14px 24px; border-bottom: 0.5px solid var(--border2);
  background: var(--bg2);
}
.fs-title { flex: 1; display: flex; flex-direction: column; gap: 2px; }
.fs-title-text { font-family: var(--font-sans); font-size: 18px; font-weight: 500; color: var(--text); }
.fs-title-sub { font-family: var(--font-mono); font-size: 11px; color: var(--muted); }
.fs-close, .fs-fullscreen-btn {
  font-family: var(--font-mono); font-size: 12px; font-weight: 500;
  padding: 8px 16px; border-radius: 6px;
  border: 1px solid var(--border2); background: var(--bg);
  color: var(--text); cursor: pointer; transition: all 0.12s;
}
.fs-close:hover { border-color: var(--accent); color: var(--accent); }
/* The expand control is the primary action up here — give it the accent tint. */
.fs-fullscreen-btn { color: var(--accent); border-color: var(--accent); }
.fs-fullscreen-btn:hover { background: var(--accent); color: var(--bg); }
.fs-body { flex: 1; overflow: auto; min-height: 0; display: flex; flex-direction: column; }
.fs-body > * { flex: 1; min-height: 0; }

/* ─── help button & panel ────────────────────────────────────────────── */
.tb-help {
  font-family: var(--font-mono); font-size: 14px; font-weight: 600;
  width: 30px; height: 30px; border-radius: 50%;
  border: 1px solid var(--border2); background: var(--bg);
  color: var(--muted); cursor: pointer; transition: all 0.12s;
  display: inline-flex; align-items: center; justify-content: center;
}
.tb-help:hover { border-color: var(--accent); color: var(--accent); }
.tb-help.active { background: var(--accent); color: #fff; border-color: var(--accent); }

.help-panel {
  position: fixed; inset: 0; z-index: 200;
  background: rgba(0, 0, 0, 0.45);
  align-items: center; justify-content: center;
  padding: 32px;
}
.help-card {
  background: var(--bg); color: var(--text);
  border-radius: 12px; border: 1px solid var(--border2);
  width: min(720px, 100%); max-height: 90vh; overflow: auto;
  padding: 24px 28px; box-shadow: 0 10px 30px rgba(0,0,0,.30);
}
.help-head { margin-bottom: 16px; position: relative; }
.help-title { font-family: var(--font-sans); font-size: 20px; font-weight: 500; }
.help-sub   { font-family: var(--font-mono); font-size: 11px; color: var(--muted); margin-top: 2px; }
.help-close {
  position: absolute; top: -4px; right: -8px;
  border: none; background: transparent; color: var(--muted);
  cursor: pointer; padding: 6px 10px; font-size: 16px; border-radius: 4px;
}
.help-close:hover { color: var(--danger); background: var(--bg3); }

.help-section { margin-top: 20px; }
.help-section-title {
  font-family: var(--font-mono); font-size: 10px; font-weight: 600;
  color: var(--muted); text-transform: uppercase; letter-spacing: 0.08em;
  margin-bottom: 8px; padding-bottom: 4px;
  border-bottom: 0.5px dotted var(--border);
}
.help-item {
  display: grid; grid-template-columns: 140px 1fr;
  gap: 12px; padding: 5px 0;
  font-size: 12px; line-height: 1.5;
}
.help-term {
  font-family: var(--font-mono); font-weight: 500; color: var(--accent);
}
.help-def { color: var(--text); }
.help-note {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  font-style: italic; margin-top: 8px; padding: 6px 10px;
  background: var(--bg2); border-left: 2px solid var(--accent); border-radius: 3px;
}


/* Repo overview summary card */
.ov-summary-card {
  border: 0.5px solid var(--border2); border-radius: 10px;
  padding: 16px 18px; margin-bottom: 16px;
  background: var(--bg);
}
.ov-summary-head { margin-bottom: 12px; }
.ov-summary-title {
  font-family: var(--font-sans); font-size: 13px; font-weight: 600;
  color: var(--muted); text-transform: uppercase; letter-spacing: 0.06em;
  margin-bottom: 4px;
}
.ov-summary-sub {
  font-family: var(--font-sans); font-size: 14px; color: var(--text); line-height: 1.5;
}
.ov-summary-grid {
  display: grid; gap: 14px;
  grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));
}
.ov-summary-sec { display: flex; flex-direction: column; gap: 6px; min-width: 0; }
.ov-dep-chip { cursor: default; }

/* Smell export bar */
.smell-export-bar {
  display: flex; flex-wrap: wrap; align-items: center; gap: 10px;
  padding: 10px 12px; margin: 10px 0;
  background: var(--bg2); border: 0.5px dashed var(--border2);
  border-radius: 6px;
}
.smell-export-label {
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
  text-transform: uppercase; letter-spacing: 0.05em;
}
.smell-export-btn {
  font-family: var(--font-mono); font-size: 12px; padding: 5px 12px;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
  cursor: pointer; transition: all 0.12s;
}
.smell-export-btn:hover { background: var(--accent); color: #fff; border-color: var(--accent); }
.smell-export-btn:disabled { opacity: 0.7; cursor: default; }
.smell-export-count {
  margin-left: auto;
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
/* Explainer line: ordered last so it caption-wraps under the controls rather
   than pushing the label onto a row of its own. */
.smell-export-hint {
  /* width:100% (not max-width) so it always claims a row of its own — a
     max-width lets the preceding controls share the line and squeeze it. */
  flex: 1 0 100%; width: 100%; order: 99;
  margin: 2px 0 0;
  font-size: 11px; line-height: 1.45; color: var(--muted);
}

/* Task-context export bar: zones field + budget controls */
.ctx-zones {
  /* One line tall by default so the bar stays a single row; drag to expand
     when pasting a long touch_zones list. */
  flex: 1 1 200px; min-width: 150px; resize: vertical;
  height: 30px; min-height: 30px; overflow-y: auto; white-space: nowrap;
  font-family: var(--font-mono); font-size: 12px; line-height: 18px;
  padding: 5px 8px; background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
}
.ctx-zones::placeholder { color: var(--muted); }
.ctx-zones:focus { outline: none; border-color: var(--accent); }
.ctx-max-label {
  display: inline-flex; align-items: center; gap: 6px;
  font-family: var(--font-mono); font-size: 11px; color: var(--muted);
}
.ctx-max {
  width: 62px; padding: 5px 6px;
  font-family: var(--font-mono); font-size: 12px;
  background: var(--bg); color: var(--text);
  border: 0.5px solid var(--border2); border-radius: 4px;
}
.ctx-max:focus { outline: none; border-color: var(--accent); }

/* Back button + breadcrumb (reader-mode nav) */
.ws-back-btn {
  background: transparent; border: 1px solid var(--border, #333);
  color: var(--fg, #ccc); padding: 2px 8px; border-radius: 4px;
  font-size: 14px; line-height: 1; cursor: pointer; margin-right: 8px;
}
.ws-back-btn:hover { background: var(--hover, #1a1a1a); }
.ws-breadcrumb {
  display: flex; gap: 6px; align-items: center;
  padding: 4px 12px 8px; font-size: 11px; color: var(--muted, #888);
  overflow-x: auto; flex-wrap: nowrap; min-width: 0;
}
.ws-bc-chip {
  background: transparent; border: none; color: var(--muted, #888);
  cursor: pointer; padding: 0; font-size: 11px;
  flex-shrink: 0; white-space: nowrap;
}
.ws-bc-chip:hover { color: var(--fg, #ccc); text-decoration: underline; }
.ws-bc-chip.current {
  color: var(--text); font-weight: 500; cursor: default;
}
.ws-bc-chip.current:hover { text-decoration: none; }
.ws-bc-sep { opacity: 0.5; }

/* Doc surfacing (reader-mode) */
.ws-docblock {
  border-left: 3px solid var(--accent, #4d8df0);
  padding: 4px 12px; margin: 8px 0;
  background: rgba(255,255,255,0.02);
}
.ws-docblock-body {
  font-size: 12px; color: var(--fg-soft, #aaa);
  white-space: pre-wrap; line-height: 1.5;
}
.ws-readme {
  margin: 0 0 12px;
  background: var(--bg2); border: 0.5px solid var(--border); border-radius: 4px;
  overflow: hidden;
}
.ws-readme-head {
  position: sticky; top: 0; z-index: 1;
  display: flex; align-items: center; justify-content: space-between; gap: 12px;
  padding: 6px 12px; background: var(--bg3); border-bottom: 0.5px solid var(--border);
}
.ws-readme-head .ws-section-label {
  margin: 0; padding: 0; border-bottom: none;
}
.ws-readme-body {
  white-space: pre-wrap; word-break: break-word;
  font: 13px/1.6 var(--font-sans); color: var(--text);
  margin: 0; padding: 12px; max-width: 80ch;
}
.ws-readme-body:not(.collapsed) {
  max-height: 60vh; overflow: auto;
}
.ws-readme-body.collapsed {
  max-height: 9em; overflow: hidden;
  -webkit-mask-image: linear-gradient(to bottom, black 70%, transparent);
          mask-image: linear-gradient(to bottom, black 70%, transparent);
}
.ws-readme-toggle {
  background: none; border: none; color: var(--accent);
  cursor: pointer; padding: 0; font-size: 11px; flex-shrink: 0;
}
.ws-readme-toggle:hover { text-decoration: underline; }

/* ─── IDE-style source colouring ─────────────────────────────────────────
   Passive syntax tokens (string/comment/keyword/number) get persistent
   colours for scannability. Resolved identifiers get colour + affordance:
   clickable kinds underline on hover; hover-only kinds tint on hover.
   Palette derived from the existing theme variables so it tracks light/dark
   mode without a second palette.

   Token colour palette (light theme — vars override in dark):
     --tok-keyword  : purple   (def / class / if / return / ...)
     --tok-string   : green    ("hello", 'x', `t`)
     --tok-comment  : muted    (line and block comments)
     --tok-number   : amber    (42, 3.14, 0xFF)
     --tok-function : accent   (clickable functions)
     --tok-class    : teal     (clickable classes)
     --tok-import   : warn     (clickable imports)
     --tok-builtin  : purple-soft (console, len, print, ...)
     --tok-param    : text     (italic)
     --tok-local    : text     (no colour, default)
*/
:root {
  --tok-keyword:  #7F77DD;
  --tok-string:   #1D9E75;
  --tok-comment:  #8a887e;
  --tok-number:   #BA7517;
  --tok-function: #3B8BD4;
  --tok-class:    #5DCAA5;
  --tok-import:   #BA7517;
  --tok-builtin:  #9b6cc4;
}
@media (prefers-color-scheme: dark) {
  :root {
    --tok-keyword:  #b8b0ff;
    --tok-string:   #7cd6a8;
    --tok-comment:  #8a887e;
    --tok-number:   #e3a060;
    --tok-function: #79b8ff;
    --tok-class:    #88e0bc;
    --tok-import:   #e3a060;
    --tok-builtin:  #c7a2e5;
  }
}

.fn-source-code .tok-keyword { color: var(--tok-keyword); font-weight: 500; }
.fn-source-code .tok-string  { color: var(--tok-string); }
.fn-source-code .tok-comment { color: var(--tok-comment); font-style: italic; }
.fn-source-code .tok-number  { color: var(--tok-number); }

/* Interactive identifier links — coloured + affordance per kind.
     - Clickable kinds (function/class/import) carry their token colour and
       a subtle solid underline so they're scannable AND obviously clickable.
     - Ambiguous gets a dotted warn-colour underline.
     - Hover-only kinds (param/local/builtin) tint on hover to signal info
       availability; builtin/param also carry a colour at rest.
     - Unresolved is uncoloured to avoid visual clutter — tooltip still works. */
.fn-source-code .src-link {
  background: transparent; border: none; padding: 0; margin: 0;
  font: inherit; color: inherit; cursor: help;
  text-decoration: none;
}
.fn-source-code .src-link.kind-function {
  cursor: pointer; color: var(--tok-function);
  text-decoration: underline solid color-mix(in srgb, var(--tok-function) 35%, transparent);
  text-underline-offset: 2px; text-decoration-thickness: 1px;
}
.fn-source-code .src-link.kind-class {
  cursor: pointer; color: var(--tok-class);
  text-decoration: underline solid color-mix(in srgb, var(--tok-class) 35%, transparent);
  text-underline-offset: 2px; text-decoration-thickness: 1px;
}
.fn-source-code .src-link.kind-import {
  cursor: pointer; color: var(--tok-import);
  text-decoration: underline solid color-mix(in srgb, var(--tok-import) 35%, transparent);
  text-underline-offset: 2px; text-decoration-thickness: 1px;
}
.fn-source-code .src-link.kind-function:hover,
.fn-source-code .src-link.kind-class:hover,
.fn-source-code .src-link.kind-import:hover {
  text-decoration-color: currentColor;
}
.fn-source-code .src-link.kind-ambiguous {
  cursor: pointer; color: var(--tok-import);
  text-decoration: underline dotted var(--warn, #BA7517);
  text-underline-offset: 2px;
}
.fn-source-code .src-link.kind-builtin { color: var(--tok-builtin); }
.fn-source-code .src-link.kind-param   { font-style: italic; }
.fn-source-code .src-link.kind-param:hover,
.fn-source-code .src-link.kind-local:hover,
.fn-source-code .src-link.kind-builtin:hover {
  background: var(--bg3);
  border-radius: 2px;
}
.fn-source-code .src-link.kind-unresolved {
  text-decoration: none;
}

/* Source popover (reader-mode) */
.src-popover {
  position: fixed; z-index: 1000;
  min-width: 240px; max-width: 360px;
  background: var(--bg2); color: var(--text);
  border: 1px solid var(--border2); border-radius: 6px;
  padding: 8px 10px; font-size: 12px;
  box-shadow: 0 4px 16px rgba(0,0,0,0.25);
  opacity: 0; pointer-events: none;
  transition: opacity 80ms ease;
}
.src-popover.show { opacity: 1; pointer-events: auto; }
.src-pop-head { display: flex; gap: 6px; align-items: baseline; margin-bottom: 4px; }
.src-pop-icon { color: var(--accent); }
.src-pop-name { font-weight: 600; color: var(--text); }
.src-pop-loc { font-size: 11px; color: var(--muted); margin-left: auto; }
.src-pop-doc { color: var(--muted); margin: 4px 0; line-height: 1.4; white-space: pre-wrap; }
.src-pop-actions { display: flex; gap: 6px; margin-top: 6px; }
.src-pop-btn {
  background: transparent; border: 1px solid var(--border2);
  color: var(--text); padding: 2px 8px; border-radius: 4px;
  font-size: 11px; cursor: pointer;
}
.src-pop-btn:hover { background: var(--bg3); }
.src-pop-warn { margin-top: 4px; color: var(--accent); font-size: 0.85em; }
.src-pop-candidates { display: flex; flex-direction: column; gap: 2px; margin-top: 6px; }
.src-pop-candidate {
  text-align: left;
  background: var(--bg3);
  color: var(--text);
  border: 1px solid var(--border2);
  padding: 4px 6px; border-radius: 4px;
  cursor: pointer; font: inherit; font-size: 0.9em;
}
.src-pop-candidate:hover { border-color: var(--accent); }

/* Flow tab (reader-mode) */
.flow-doc {
  border-left: 3px solid var(--accent, #4d8df0);
  padding: 4px 12px; margin: 0 0 12px;
  background: rgba(255,255,255,0.02);
}
.flow-doc-body {
  font-size: 12px; color: var(--fg-soft, #aaa);
  white-space: pre-wrap; line-height: 1.5;
}
.flow-grid {
  display: grid; grid-template-columns: 1fr 1fr; gap: 16px;
}
@media (max-width: 720px) {
  .flow-grid { grid-template-columns: 1fr; }
}
.flow-col-head {
  font-size: 10px; letter-spacing: 1px; color: var(--muted, #888);
  margin-bottom: 6px; text-transform: uppercase;
}
.flow-sec { margin-bottom: 12px; }
.flow-list { display: flex; flex-direction: column; gap: 2px; }
.flow-row { font-size: 12px; line-height: 1.5; }
.flow-row.mono { font-family: ui-monospace, monospace; }
.flow-row.indented { padding-left: 12px; color: var(--fg-soft, #aaa); white-space: pre-wrap; }
.flow-param-name { font-family: ui-monospace, monospace; }
.flow-param-default { color: var(--muted, #888); font-family: ui-monospace, monospace; }
.flow-line { color: var(--muted, #888); margin-right: 6px; }
.flow-caller-loc {
  background: transparent; border: none; color: var(--accent, #4d8df0);
  cursor: pointer; padding: 0; font: inherit; text-align: left;
}
.flow-caller-loc:hover { text-decoration: underline; }
.flow-binding { color: var(--fg-soft, #aaa); margin-left: 6px; font-family: ui-monospace, monospace; }

/* ─── Docs nav group ─────────────────────────────────────────────────── */
.sb-docs { border-bottom: 1px solid var(--border); padding: 4px 0 8px; margin-bottom: 6px; }
.sb-docs-head {
  display: flex; align-items: center; gap: 6px; width: 100%;
  background: transparent; border: none; color: var(--text);
  font: inherit; font-size: 11px; text-transform: uppercase; letter-spacing: 0.08em;
  padding: 4px 10px; cursor: pointer; text-align: left;
}
.sb-docs-head:hover { background: var(--bg3); }
.sb-docs-label { color: var(--muted); }
.sb-doc-row {
  display: block; width: 100%; text-align: left;
  background: transparent; border: none; color: var(--text);
  font: inherit; padding: 4px 10px 4px 24px; cursor: pointer;
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.sb-doc-row:hover { background: var(--bg3); }
.sb-doc-row.active { background: var(--bg3); color: var(--accent); }

/* Fullscreen Docs picker */
.fs-docs { display: flex; flex-direction: column; flex: 1; padding: 14px 18px; gap: 12px; overflow: hidden; color: var(--text); }
.fs-docs-filter input {
  width: 100%; max-width: 480px; padding: 6px 10px;
  background: var(--bg2); border: 1px solid var(--border);
  color: var(--text); border-radius: 4px; font: inherit;
}
.fs-docs-list {
  display: grid; grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: 10px; overflow-y: auto; padding-right: 4px;
}
.fs-doc-card {
  text-align: left; background: var(--bg2); border: 1px solid var(--border);
  color: var(--text); padding: 10px 12px; border-radius: 5px; cursor: pointer;
  font: inherit; display: flex; flex-direction: column; gap: 4px;
}
.fs-doc-card:hover { background: var(--bg3); border-color: var(--border2); }
.fs-doc-card.active { border-color: var(--accent); background: var(--bg3); }
.fs-doc-path { font-family: var(--font-mono); font-weight: 600; color: var(--text); }
.fs-doc-preview { color: var(--text); opacity: 0.7; font-size: 0.92em; line-height: 1.4; overflow: hidden; text-overflow: ellipsis; display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; }
.fs-docs-empty { color: var(--muted); font-style: italic; padding: 24px; text-align: center; }

/* Doc header back button row */
.ws-doc-head-left { display: flex; align-items: center; gap: 10px; }

/* ─── Doc workspace view ─────────────────────────────────────────────── */
.ws-doc {
  flex: 1; min-height: 0; overflow-y: auto;
  padding: 14px 18px 24px; color: var(--text);
}
.ws-doc-inner { max-width: 880px; margin: 0 auto; }
.ws-doc-head {
  display: flex; align-items: center; justify-content: space-between; gap: 10px;
  border-bottom: 1px solid var(--border); padding-bottom: 8px; margin-bottom: 14px;
  flex-wrap: wrap;
}
.ws-doc-path { font-family: var(--font-mono); color: var(--muted); font-size: 13px; }
.ws-doc-switcher {
  background: var(--bg2); border: 1px solid var(--border);
  color: var(--text); font: inherit; padding: 4px 8px; border-radius: 4px;
  cursor: pointer; max-width: 320px;
}
.ws-doc-switcher:hover { background: var(--bg3); }

/* ─── Markdown renderer base ─────────────────────────────────────────── */
.md { line-height: 1.55; color: var(--text); font-family: var(--font-sans); }
.md-h { margin: 18px 0 8px; font-weight: 600; color: var(--text); }
.md-h1 { font-size: 22px; } .md-h2 { font-size: 18px; }
.md-h3 { font-size: 16px; } .md-h4 { font-size: 15px; }
.md-h5, .md-h6 { font-size: 14px; color: var(--muted); }
.md-p { margin: 8px 0; }
.md-list { margin: 6px 0 8px 22px; padding: 0; }
.md-li { margin: 3px 0; }
.md-icode {
  font-family: var(--font-mono); font-size: 0.92em;
  background: var(--bg3); padding: 1px 5px; border-radius: 3px; color: var(--text);
}
.md-pre {
  background: var(--bg2); border: 1px solid var(--border);
  border-radius: 4px; padding: 10px 12px; overflow-x: auto;
  font: 12px/1.5 var(--font-mono); color: var(--text);
}
.md-pre .md-code { background: transparent; padding: 0; }
.md-bq {
  border-left: 3px solid var(--border2); padding: 2px 12px;
  color: var(--text); opacity: 0.8; margin: 8px 0;
}
.md-hr { border: 0; border-top: 1px solid var(--border); margin: 14px 0; }
.md-a { color: var(--accent); text-decoration: none; }
.md-a:hover { text-decoration: underline; }
.md-b { font-weight: 600; }
.md-i { font-style: italic; }

/* Auto-linked inline-code → clickable buttons */
.md-link {
  background: var(--bg3); border: 1px solid var(--accent);
  color: var(--accent); font: 0.92em var(--font-mono);
  padding: 1px 6px; border-radius: 3px; cursor: pointer;
}
.md-link:hover { background: var(--bg2); }
.md-link-fn { border-color: var(--purple); color: var(--purple); }

/* ─── Lineage overlay + inline ───────────────────────────────────────── */
.ln-root { display: flex; flex: 1; padding: 14px 18px; overflow: hidden; color: var(--text); }
.ln-split { display: flex; flex: 1; gap: 16px; overflow: hidden; }
.ln-pane-tree {
  flex: 0 0 44%; overflow-y: auto; padding-right: 8px;
  border-right: 1px solid var(--border);
}
.ln-pane-detail { flex: 1; overflow-y: auto; padding-left: 8px; color: var(--text); }
.ln-tree { display: flex; flex-direction: column; gap: 6px; padding: 6px 0; }
.ln-tree-compact { padding: 4px 0; }
.ln-node {
  display: flex; align-items: center; gap: 8px;
  text-align: left; background: var(--bg2); border: 1px solid var(--border);
  color: var(--text); padding: 8px 12px; border-radius: 5px; cursor: pointer; font: inherit;
}
.ln-node:hover { background: var(--bg3); }
.ln-node.active { border-color: var(--accent); background: var(--bg3); }
.ln-node-rail { font-family: var(--font-mono); color: var(--text); opacity: 0.55; }
.ln-node-name { font-family: var(--font-mono); font-weight: 600; color: var(--text); }
.ln-node-note { color: var(--text); opacity: 0.78; font-size: 0.92em; }
.ln-node-marker {
  font-size: 0.78em; padding: 1px 6px; border-radius: 10px;
  text-transform: uppercase; letter-spacing: 0.04em; font-weight: 600;
}
.ln-marker-main-here { background: rgba(29, 158, 117, 0.18); color: var(--success); }
.ln-marker-active    { background: rgba(59, 139, 212, 0.18); color: var(--accent); }
.ln-marker-gone      { background: rgba(226, 75, 74, 0.18); color: var(--danger); }
.ln-detail-title { font-size: 18px; font-weight: 600; font-family: var(--font-mono); margin-bottom: 4px; color: var(--text); }
.ln-detail-short { color: var(--text); opacity: 0.8; margin-bottom: 10px; }
.ln-detail-markers { display: flex; gap: 6px; margin-bottom: 10px; }
.ln-detail-gh { display: flex; gap: 10px; align-items: center; font-size: 13px; color: var(--muted); margin-bottom: 14px; }
.ln-gh-sha { font-family: var(--font-mono); }
.ln-gh-link { color: var(--accent); text-decoration: none; }
.ln-gh-link:hover { text-decoration: underline; }
.ln-detail-body { border-top: 1px solid var(--border); padding-top: 12px; color: var(--text); }
.ln-detail-empty { color: var(--muted); font-style: italic; }
.ln-empty { color: var(--muted); font-style: italic; padding: 12px; }

/* Inline (in-doc) lineage tree — drop the right pane, just show the tree */
.md-lineage-inline {
  border: 1px solid var(--border); border-radius: 5px;
  padding: 10px; margin: 8px 0; background: var(--bg2);
}