/* Session Lens — one stylesheet for the app and both docs pages.
 * Inline <style> and style= are CSP-legal here, but keeping everything in one
 * file means the docs pages inherit the app's look for free. */

:root[data-theme="dark"] {
  --bg: #0d1117;
  --bg2: #12161d;
  --bg3: #171d26;
  --line: #262d38;
  --fg: #e6edf3;
  --fg2: #9aa7b4;
  --fg3: #6b7785;
  --acc: #5eead4;
  --acc2: #2dd4bf;
  --good: #4ade80;
  --warn: #fbbf24;
  --bad: #f87171;
  --add: #14351f;
  --del: #3a1618;
}

:root[data-theme="light"] {
  --bg: #fbfcfd;
  --bg2: #ffffff;
  --bg3: #f2f5f8;
  --line: #dbe2ea;
  --fg: #16202b;
  --fg2: #55636f;
  --fg3: #7b8794;
  --acc: #0d9488;
  --acc2: #0f766e;
  --good: #15803d;
  --warn: #a16207;
  --bad: #b91c1c;
  --add: #e6f6ec;
  --del: #fdeaea;
}

* { box-sizing: border-box; }

body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
  font: 15px/1.6 ui-sans-serif, -apple-system, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  -webkit-text-size-adjust: 100%;
}

main { max-width: 980px; margin: 0 auto; padding: 0 18px 72px; }
section { margin: 34px 0; }
h1 { font-size: 1.9rem; line-height: 1.25; margin: 0 0 12px; letter-spacing: -0.01em; }
h2 { font-size: 1.18rem; margin: 0 0 12px; letter-spacing: -0.01em; }
h3 { font-size: 1rem; margin: 22px 0 8px; }
h4 { font-size: 0.97rem; margin: 0; }
p { margin: 0 0 12px; }
a { color: var(--acc); text-decoration: none; }
a:hover { text-decoration: underline; }
code, .mono, pre { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; }
code { background: var(--bg3); padding: 1px 5px; border-radius: 4px; font-size: 0.9em; }

.muted { color: var(--fg2); }
.small { font-size: 0.87rem; }
.hidden { display: none !important; }
.sr-only {
  position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px;
  overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0;
}

/* ---- top bar ---- */

.topbar {
  display: flex; align-items: center; justify-content: space-between;
  gap: 12px; flex-wrap: wrap;
  padding: 12px 18px;
  border-bottom: 1px solid var(--line);
  background: var(--bg2);
  position: sticky; top: 0; z-index: 20;
}
.brand { display: flex; align-items: center; gap: 8px; min-width: 0; }
.brand strong { white-space: nowrap; }
.sep { color: var(--fg3); }
.backlink { color: var(--fg2); }
.topactions { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; }
.credits { color: var(--fg2); font-size: 0.85rem; }
.topup { color: var(--acc); font-size: 0.85rem; }

/* ---- controls ---- */

button { font: inherit; cursor: pointer; }
button:disabled { cursor: not-allowed; opacity: 0.5; }

.primary {
  background: var(--acc); color: #04211d; border: 0;
  padding: 8px 15px; border-radius: 8px; font-weight: 650;
}
:root[data-theme="light"] .primary { color: #ffffff; }
.primary:hover:not(:disabled) { background: var(--acc2); }
.primary.big { padding: 12px 22px; font-size: 1.02rem; width: 100%; max-width: 340px; }

.mini {
  background: var(--bg3); color: var(--fg); border: 1px solid var(--line);
  padding: 6px 11px; border-radius: 7px; font-size: 0.86rem;
}
.mini:hover:not(:disabled) { border-color: var(--acc); color: var(--acc); }

textarea, input.search, select {
  width: 100%; background: var(--bg2); color: var(--fg);
  border: 1px solid var(--line); border-radius: 8px; padding: 9px 11px;
  font: inherit; resize: vertical;
}
textarea { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; font-size: 0.88rem; }
select { width: auto; }
textarea:focus, input:focus, select:focus, button:focus-visible, .drop:focus-visible {
  outline: 2px solid var(--acc); outline-offset: 1px;
}

.row { display: flex; gap: 9px; align-items: center; flex-wrap: wrap; margin: 10px 0; }
.lbl { display: block; font-size: 0.87rem; color: var(--fg2); margin: 12px 0 5px; }
.lbl.inline { display: inline; margin: 0; }

/* ---- hero, lanes ---- */

.hero { margin-top: 30px; }
.lede { font-size: 1.03rem; color: var(--fg); max-width: 74ch; }

.lanebar { display: flex; gap: 10px; flex-wrap: wrap; align-items: flex-end; }
.lanegroup { display: flex; flex-direction: column; gap: 4px; }
.lanegroup-l {
  font-size: 0.7rem; text-transform: uppercase; letter-spacing: 0.08em;
  color: var(--fg3);
}
.lane {
  background: var(--bg2); color: var(--fg2);
  border: 1px solid var(--line); border-radius: 9px;
  padding: 9px 14px; font-weight: 600;
}
.lane:hover { color: var(--fg); border-color: var(--fg3); }
.lane.active { background: var(--bg3); color: var(--acc); border-color: var(--acc); }

/* ---- drop zone ---- */

.drop {
  display: flex; flex-direction: column; align-items: center; gap: 6px;
  padding: 34px 18px; text-align: center;
  border: 2px dashed var(--line); border-radius: 12px;
  background: var(--bg2); cursor: pointer;
}
.drop:hover, .drop.over { border-color: var(--acc); background: var(--bg3); }
.example { margin-top: 14px; }

/* ---- session bar ---- */

.sbar { background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 13px 15px; margin-top: 14px; }
.sbar-title { display: flex; gap: 9px; align-items: baseline; flex-wrap: wrap; }
.fmt {
  font-family: ui-monospace, monospace; font-size: 0.76rem;
  background: var(--bg3); color: var(--acc);
  padding: 2px 7px; border-radius: 5px; border: 1px solid var(--line);
}
.sbar-chips { display: flex; gap: 7px; flex-wrap: wrap; margin-top: 9px; }

.chip {
  font-size: 0.76rem; background: var(--bg3); color: var(--fg2);
  border: 1px solid var(--line); border-radius: 99px; padding: 2px 9px;
  white-space: nowrap;
}
.chip.bad { color: var(--bad); border-color: var(--bad); }
.chip.warn { color: var(--warn); border-color: var(--warn); }
.chip.muted { color: var(--fg3); }

/* ---- views ---- */

.viewbar { display: flex; gap: 4px; border-bottom: 1px solid var(--line); margin: 18px 0 0; flex-wrap: wrap; }
.view {
  background: none; border: 0; border-bottom: 2px solid transparent;
  color: var(--fg2); padding: 9px 13px; font-weight: 600;
}
.view:hover { color: var(--fg); }
.view.active { color: var(--acc); border-bottom-color: var(--acc); }
.panel { padding-top: 16px; }

/* ---- chat ---- */

.turn { border-left: 2px solid var(--line); padding: 0 0 6px 14px; margin: 0 0 22px; }
.turn.flash { border-left-color: var(--acc); background: var(--bg3); border-radius: 0 8px 8px 0; }
.turnhead { display: flex; gap: 7px; align-items: center; flex-wrap: wrap; margin-bottom: 9px; }
.turnno { font-weight: 700; font-size: 0.9rem; }

.bubble {
  background: var(--bg2); border: 1px solid var(--line);
  border-radius: 10px; padding: 11px 13px; margin: 0 0 9px;
}
.bubble.user { border-left: 3px solid var(--acc); }
.bubble.agent { border-left: 3px solid var(--fg3); }
.bubble.tool { border-left: 3px solid var(--warn); }
.who {
  font-size: 0.73rem; text-transform: uppercase; letter-spacing: 0.07em;
  color: var(--fg3); margin-bottom: 7px; display: flex; gap: 8px; align-items: center;
}
.model { text-transform: none; letter-spacing: 0; color: var(--fg2); font-family: ui-monospace, monospace; }
.usage { font-size: 0.76rem; color: var(--fg3); margin-top: 7px; font-family: ui-monospace, monospace; }

pre.block {
  background: var(--bg3); border: 1px solid var(--line); border-radius: 7px;
  padding: 10px 12px; margin: 0 0 8px;
  font-size: 0.83rem; line-height: 1.5;
  overflow-x: auto; white-space: pre-wrap; word-break: break-word;
  max-height: 460px; overflow-y: auto;
}
pre.msgtext { white-space: pre-wrap; background: none; border: 0; padding: 0; font-family: inherit; font-size: 0.95rem; max-height: none; }
pre.thinking { color: var(--fg2); font-style: italic; }
pre.args { color: var(--fg2); }
pre.err { border-color: var(--bad); }

/* ---- disclosure ---- */

details.disc {
  border: 1px solid var(--line); border-radius: 7px;
  background: var(--bg3); margin: 0 0 8px; overflow: hidden;
}
details.disc > summary {
  cursor: pointer; padding: 7px 11px; font-size: 0.85rem;
  display: flex; gap: 9px; align-items: center; flex-wrap: wrap;
  list-style: none;
}
details.disc > summary::-webkit-details-marker { display: none; }
details.disc > summary::before { content: "▸"; color: var(--fg3); }
details.disc[open] > summary::before { content: "▾"; }
details.disc > summary:hover { color: var(--acc); }
.disc-label { font-weight: 600; }
.disc-badge {
  font-family: ui-monospace, monospace; font-size: 0.75rem; color: var(--fg3);
  overflow: hidden; text-overflow: ellipsis; max-width: 46ch; white-space: nowrap;
}
details.disc > *:not(summary) { padding: 0 11px 10px; }
details.d-tool { border-left: 3px solid var(--acc); }
details.d-err { border-left: 3px solid var(--bad); }
details.d-think { border-left: 3px solid var(--fg3); }

/* ---- diff ---- */

.diff { border: 1px solid var(--line); border-radius: 6px; margin: 0 0 8px; overflow: hidden; }
.diff-path {
  background: var(--bg2); padding: 5px 9px; font-family: ui-monospace, monospace;
  font-size: 0.79rem; color: var(--fg2); border-bottom: 1px solid var(--line);
}
.diff-body { overflow-x: auto; max-height: 340px; overflow-y: auto; }
.dl {
  font-family: ui-monospace, monospace; font-size: 0.8rem;
  padding: 1px 9px; white-space: pre; line-height: 1.55;
}
.dl.add { background: var(--add); color: var(--good); }
.dl.del { background: var(--del); color: var(--bad); }

/* ---- timeline ---- */

.tl-head { font-size: 0.86rem; color: var(--fg2); margin-bottom: 12px; }
.tl { display: flex; flex-direction: column; gap: 4px; }
.tl-row { display: grid; grid-template-columns: 130px 1fr 62px; gap: 9px; align-items: center; }
.tl-label {
  font-family: ui-monospace, monospace; font-size: 0.78rem; color: var(--fg2);
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.tl-track { background: var(--bg3); border-radius: 4px; height: 17px; overflow: hidden; }
.tl-bar { background: var(--acc); height: 100%; border-radius: 4px; min-width: 2px; }
.tl-bar.bad { background: var(--bad); }
.tl-dur { font-family: ui-monospace, monospace; font-size: 0.76rem; color: var(--fg3); text-align: right; }

/* ---- tables and tiles ---- */

.tiles { display: grid; grid-template-columns: repeat(auto-fit, minmax(148px, 1fr)); gap: 10px; }
.tile { background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 13px; }
.tile-v { font-size: 1.4rem; font-weight: 700; letter-spacing: -0.02em; }
.tile-l { font-size: 0.82rem; color: var(--fg2); margin-top: 2px; }
.tile-s { font-size: 0.76rem; color: var(--fg3); margin-top: 3px; }

.tbl { width: 100%; border-collapse: collapse; font-size: 0.86rem; display: block; overflow-x: auto; }
.tbl caption { display: none; }
.tbl th, .tbl td {
  text-align: left; padding: 7px 10px; border-bottom: 1px solid var(--line);
  vertical-align: top;
}
.tbl th { color: var(--fg2); font-weight: 600; font-size: 0.79rem; text-transform: uppercase; letter-spacing: 0.05em; }
.tbl tbody tr:last-child td { border-bottom: 0; }
.tbl.perturn td:nth-child(2) { max-width: 34ch; }
.tbl td:nth-child(1) { font-family: ui-monospace, monospace; font-size: 0.82rem; }
.tbl.numbers td:nth-child(1) { font-family: inherit; font-size: 0.86rem; }

/* ---- notices ---- */

.notice, .gate, .warn, .prior {
  border: 1px solid var(--line); border-radius: 9px;
  padding: 10px 13px; font-size: 0.88rem; background: var(--bg2);
}
.notice { border-left: 3px solid var(--warn); color: var(--fg2); }
.gate { border-left: 3px solid var(--acc); }
.gateact { font-weight: 650; }
.warn { border-left: 3px solid var(--bad); }
.prior { border-left: 3px solid var(--acc); color: var(--fg2); }
.meter { font-size: 0.88rem; color: var(--fg2); margin: 12px 0; }
.empty, .none { color: var(--fg3); font-style: italic; }

/* ---- progress ---- */

.progress {
  background: var(--bg2); border: 1px solid var(--line);
  border-left: 3px solid var(--acc); border-radius: 9px;
  padding: 13px 15px; margin: 16px 0;
}
.progress.finished { border-left-color: var(--good); }
.progress-head { display: flex; justify-content: space-between; gap: 12px; margin-bottom: 9px; }
.steps { margin: 0; padding-left: 20px; font-size: 0.87rem; color: var(--fg3); }
.steps .step { margin: 3px 0; }
.steps .step.active { color: var(--acc); font-weight: 600; }
.steps .step.done { color: var(--fg2); }

/* ---- result ---- */

.rpanel { background: var(--bg2); border: 1px solid var(--line); border-radius: 12px; padding: 18px; }
.rtop { display: flex; gap: 9px; align-items: center; flex-wrap: wrap; margin-bottom: 10px; }
.verdict {
  font-weight: 700; font-size: 0.83rem; text-transform: uppercase; letter-spacing: 0.05em;
  padding: 4px 11px; border-radius: 99px; border: 1px solid;
}
.verdict.tone-good { color: var(--good); border-color: var(--good); }
.verdict.tone-warn { color: var(--warn); border-color: var(--warn); }
.verdict.tone-bad { color: var(--bad); border-color: var(--bad); }
.lane-tag { font-size: 0.78rem; color: var(--fg3); text-transform: uppercase; letter-spacing: 0.06em; }
.headline { font-size: 1.08rem; font-weight: 600; margin: 0 0 14px; }

.partial {
  border: 1px solid var(--warn); border-radius: 8px; padding: 9px 12px;
  font-size: 0.86rem; margin: 0 0 14px; color: var(--fg2);
}

.recon {
  border: 1px solid var(--line); border-left: 3px solid var(--good);
  border-radius: 8px; padding: 10px 13px; margin: 0 0 16px; font-size: 0.87rem;
}
.recon.bad { border-left-color: var(--bad); }
.recon.ok { border-left-color: var(--good); }
.recon ul { margin: 7px 0 4px; padding-left: 20px; }
.recon li { margin: 3px 0; }
.recon li.mismatch { color: var(--bad); }
.recon li.unverified { color: var(--warn); }
.recon p { margin: 6px 0 0; }

.rs-head { display: flex; gap: 10px; align-items: baseline; margin: 22px 0 8px; }
.rs-head h3 { margin: 0; }
.prose p { margin: 0 0 9px; }

.findings { display: flex; flex-direction: column; gap: 11px; }
.finding {
  background: var(--bg3); border: 1px solid var(--line);
  border-left: 3px solid var(--fg3); border-radius: 9px; padding: 12px 14px;
}
.finding.sev-critical { border-left-color: var(--bad); }
.finding.sev-major { border-left-color: var(--warn); }
.finding.sev-minor { border-left-color: var(--fg3); }
.f-head { display: flex; gap: 9px; align-items: baseline; flex-wrap: wrap; margin-bottom: 7px; }
.f-sev {
  font-size: 0.71rem; text-transform: uppercase; letter-spacing: 0.07em;
  color: var(--fg3); font-weight: 700;
}
.finding.sev-critical .f-sev { color: var(--bad); }
.finding.sev-major .f-sev { color: var(--warn); }
.f-ev, .f-act { display: flex; gap: 8px; font-size: 0.85rem; margin: 7px 0 0; align-items: baseline; }
.f-tag {
  font-size: 0.69rem; text-transform: uppercase; letter-spacing: 0.06em;
  color: var(--fg3); font-weight: 700; white-space: nowrap; padding-top: 2px;
}
.f-ev-t { font-family: ui-monospace, monospace; font-size: 0.8rem; color: var(--fg2); word-break: break-word; }
.f-act-t { color: var(--fg); }
.finding .copy { margin-top: 10px; }

.next { padding-left: 20px; }
.next li { margin: 5px 0; }
.ractions { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 20px; padding-top: 14px; border-top: 1px solid var(--line); }

/* ---- search hits ---- */

.hits { display: flex; flex-direction: column; gap: 8px; margin-top: 9px; }
.hit { background: var(--bg2); border: 1px solid var(--line); border-radius: 8px; padding: 9px 11px; }
.hit-x {
  font-family: ui-monospace, monospace; font-size: 0.78rem; color: var(--fg2);
  margin-top: 5px; overflow: hidden; text-overflow: ellipsis;
}

/* ---- history ---- */

.hrow { background: var(--bg2); border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; margin: 0 0 9px; }
.hrow-head { display: flex; gap: 8px; align-items: baseline; flex-wrap: wrap; }
.hrow-h { margin: 7px 0 4px; font-size: 0.92rem; }
.hrow-acts { display: flex; gap: 8px; flex-wrap: wrap; margin-top: 9px; align-items: center; }

/* ---- footer, faq ---- */

.faq h3 { font-size: 0.96rem; }
.foot {
  border-top: 1px solid var(--line); padding: 20px 18px 40px;
  text-align: center; color: var(--fg2); font-size: 0.87rem;
}
.foot p { margin: 0 0 7px; }

/* ---- docs pages ---- */

.doc { max-width: 900px; margin: 0 auto; padding: 26px 18px 72px; }
.doc h1 { font-size: 1.6rem; }
.statebox, .tokenbox {
  background: var(--bg2); border: 1px solid var(--line); border-radius: 9px; padding: 12px 14px;
}
.tokenbox { font-family: ui-monospace, monospace; font-size: 0.83rem; word-break: break-all; }
.tokenrow { display: flex; gap: 8px; flex-wrap: wrap; margin: 10px 0; }
.codegroup { margin: 12px 0 20px; }
.tabs { display: flex; gap: 4px; flex-wrap: wrap; border-bottom: 1px solid var(--line); }
.tab {
  background: none; border: 0; border-bottom: 2px solid transparent;
  color: var(--fg2); padding: 6px 11px; font-size: 0.85rem; font-weight: 600;
}
.tab:hover { color: var(--fg); }
.tab.active { color: var(--acc); border-bottom-color: var(--acc); }
.codegroup pre {
  background: var(--bg3); border: 1px solid var(--line); border-top: 0;
  border-radius: 0 0 7px 7px; padding: 12px; margin: 0;
  font-size: 0.82rem; overflow-x: auto; white-space: pre;
}
.errtbl { margin: 14px 0; }

@media (max-width: 640px) {
  main { padding: 0 13px 56px; }
  h1 { font-size: 1.55rem; }
  .tl-row { grid-template-columns: 92px 1fr 52px; }
  .primary.big { max-width: none; }
  .topbar { padding: 10px 13px; }
}