/* RegLens. One color, one meaning: emerald = verified, rose = rejected, amber = calculator, violet = citation graph,
   sky = retrieval, indigo = model. */
:root {
  color-scheme: light;
  --bg: #f4f5f8; --panel: #ffffff; --ink: #15172a; --muted: #565970; --faint: #6b6e86; --line: #e3e5ee; --code: #f1f2f7;
  --indigo: #4f46e5; --indigo-soft: #eceafe; --emerald: #047857; --emerald-soft: #e3f6ee; --rose: #be123c;
  --rose-soft: #fde8ed; --amber: #b45309; --amber-soft: #fdf1df; --violet: #6d28d9; --violet-soft: #f1eafe;
  --sky: #0369a1; --sky-soft: #e2f2fb; --hl: #fff1a6; --on-accent: #fff;
  --hero-1: #1e1b4b; --hero-2: #312e81; --hero-3: #0f766e;
  --shadow: 0 1px 2px rgba(20, 22, 50, .05), 0 6px 20px rgba(20, 22, 50, .06); --radius: 14px;
}
/* dark: an explicit choice, or the system setting when nothing was chosen */
:root[data-theme="dark"] {
  color-scheme: dark;
  --bg: #0d0e17; --panel: #151726; --ink: #e9eaf3; --muted: #a2a5bd; --faint: #8285a3; --line: #262942; --code: #1b1e31;
  --indigo: #8b85ff; --indigo-soft: #23224a; --emerald: #34d399; --emerald-soft: #12291f; --rose: #fb7185;
  --rose-soft: #331822; --amber: #fbbf24; --amber-soft: #2e2412; --violet: #b794ff; --violet-soft: #261d42;
  --sky: #38bdf8; --sky-soft: #10283a; --hl: #5c4c00; --on-accent: #0d0e17; --shadow: none;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    color-scheme: dark;
    --bg: #0d0e17; --panel: #151726; --ink: #e9eaf3; --muted: #a2a5bd; --faint: #8285a3; --line: #262942; --code: #1b1e31;
    --indigo: #8b85ff; --indigo-soft: #23224a; --emerald: #34d399; --emerald-soft: #12291f; --rose: #fb7185;
    --rose-soft: #331822; --amber: #fbbf24; --amber-soft: #2e2412; --violet: #b794ff; --violet-soft: #261d42;
    --sky: #38bdf8; --sky-soft: #10283a; --hl: #5c4c00; --on-accent: #0d0e17; --shadow: none;
  }
}
* { box-sizing: border-box; }
html, body { margin: 0; background: var(--bg); color: var(--ink);
  font: 15px/1.55 ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, Roboto, sans-serif; }
a { color: var(--indigo); }
.mono, code { font-family: ui-monospace, SFMono-Regular, Menlo, monospace; font-size: .86em; }
.wrap { max-width: 1320px; margin: 0 auto; padding: 0 24px; }
.hidden { display: none !important; }

/* hero */
.hero { color: #fff; background:
  radial-gradient(1200px 400px at 85% -10%, rgba(45, 212, 191, .35), transparent 60%),
  radial-gradient(900px 500px at 10% 120%, rgba(129, 140, 248, .45), transparent 60%),
  linear-gradient(120deg, var(--hero-1), var(--hero-2) 55%, var(--hero-3)); position: relative; overflow: hidden; }
.hero::after { content: ""; position: absolute; inset: 0; pointer-events: none; opacity: .14;
  background-image: linear-gradient(rgba(255,255,255,.5) 1px, transparent 1px), linear-gradient(90deg, rgba(255,255,255,.5) 1px, transparent 1px);
  background-size: 34px 34px; mask-image: linear-gradient(180deg, #000 10%, transparent 90%); }
.hero .wrap { position: relative; z-index: 1; padding-top: 26px; }
.brand { display: flex; align-items: center; gap: 12px; color: #fff; text-decoration: none; }
.brand .name { font-size: 26px; font-weight: 700; letter-spacing: -.02em; }
.logo { width: 38px; height: 38px; border-radius: 11px; display: grid; place-items: center;
  background: rgba(255,255,255,.14); border: 1px solid rgba(255,255,255,.25); backdrop-filter: blur(4px); }
.hero h1.tag { margin: 14px 0 0; max-width: 860px; font-size: 21px; line-height: 1.35; letter-spacing: -.015em; font-weight: 650; }
.hero .sub { margin: 8px 0 0; max-width: 860px; color: rgba(255,255,255,.84); font-size: 15px; }
.hero .sub b { color: #fff; }
.toprow { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; flex-wrap: wrap; }
.status { display: inline-flex; align-items: center; gap: 8px; padding: 6px 12px; border-radius: 999px; font-size: 12.5px;
  background: rgba(255,255,255,.12); border: 1px solid rgba(255,255,255,.22); white-space: nowrap; }
.status i { width: 8px; height: 8px; border-radius: 50%; background: #fbbf24; box-shadow: 0 0 0 4px rgba(251,191,36,.18); }
.status.on i { background: #34d399; box-shadow: 0 0 0 4px rgba(52,211,153,.2); }
.kpis { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 12px; margin: 20px 0 18px; }
.kpi { border-radius: 12px; padding: 12px 14px; background: rgba(255,255,255,.09); border: 1px solid rgba(255,255,255,.16); }
.kpi b { display: block; font-size: 24px; letter-spacing: -.02em; font-variant-numeric: tabular-nums; }
.kpi span { font-size: 12.5px; color: rgba(255,255,255,.75); }
.prov { display: flex; flex-wrap: wrap; gap: 6px; padding-bottom: 14px; }
.prov span { font-size: 11.5px; padding: 2px 8px; border-radius: 6px; background: rgba(0,0,0,.18); color: rgba(255,255,255,.78);
  border: 1px solid rgba(255,255,255,.12); }
.prov b { color: #fff; font-weight: 600; font-family: ui-monospace, Menlo, monospace; }
.tabs { display: flex; gap: 4px; overflow-x: auto; scrollbar-width: none; }
.tabs button { font: inherit; font-size: 14px; color: rgba(255,255,255,.75); background: none; border: 0; cursor: pointer;
  padding: 10px 14px 12px; border-radius: 10px 10px 0 0; white-space: nowrap; display: inline-flex; gap: 7px; align-items: center; }
.tabs button:hover { color: #fff; background: rgba(255,255,255,.06); }
.tabs button[aria-selected="true"] { color: var(--ink); background: var(--bg); font-weight: 600; }
.tabs .sw { width: 8px; height: 8px; border-radius: 2px; }

/* layout */
main.wrap { padding-top: 22px; padding-bottom: 56px; }
.grid { display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(0, 1fr); gap: 18px; }
.stack { display: grid; gap: 18px; align-content: start; }
.card { background: var(--panel); border: 1px solid var(--line); border-radius: var(--radius); padding: 18px 20px;
  box-shadow: var(--shadow); min-width: 0; overflow-wrap: anywhere; }
.card.accent-indigo { border-top: 3px solid var(--indigo); } .card.accent-amber { border-top: 3px solid var(--amber); }
.card.accent-emerald { border-top: 3px solid var(--emerald); } .card.accent-violet { border-top: 3px solid var(--violet); }
.card.accent-sky { border-top: 3px solid var(--sky); }
h2 { margin: 0 0 4px; font-size: 16px; letter-spacing: -.01em; }
h3 { margin: 16px 0 8px; font-size: 13px; text-transform: uppercase; letter-spacing: .06em; color: var(--muted); }
.lead { margin: 0 0 14px; color: var(--muted); font-size: 14px; }
.muted { color: var(--muted); font-size: 13.5px; }

/* controls */
textarea, input, select { font: inherit; color: var(--ink); background: var(--code); border: 1px solid var(--line); border-radius: 10px; padding: 9px 11px; }
textarea { width: 100%; min-height: 104px; resize: vertical; }
textarea:focus, input:focus, select:focus { outline: 2px solid var(--indigo); outline-offset: 1px; }
:focus-visible { outline: 2px solid var(--indigo); outline-offset: 2px; }
.hero :focus-visible { outline-color: #fff; }
[role="tabpanel"]:focus { outline: none; }
.btn { font: inherit; font-size: 14px; border-radius: 10px; border: 1px solid var(--line); background: var(--panel); color: var(--ink);
  padding: 8px 15px; cursor: pointer; }
.btn.primary { background: var(--indigo); border-color: var(--indigo); color: var(--on-accent); font-weight: 600; }
.btn.amber { background: var(--amber); border-color: var(--amber); color: var(--on-accent); font-weight: 600; }
.btn:disabled { opacity: .45; cursor: not-allowed; }
.row { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; margin-top: 12px; }
.chips { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 12px; }
.chips button { font: inherit; font-size: 12.5px; padding: 5px 11px; border-radius: 999px; border: 1px solid var(--line);
  background: var(--panel); color: var(--muted); cursor: pointer; }
.chips button:hover { color: var(--ink); border-color: var(--indigo); }
.chips a.chip { font-size: 12.5px; padding: 5px 11px; border-radius: 999px; border: 1px solid var(--line); background: var(--panel);
  color: var(--ink); text-decoration: none; }
.chips a.chip:hover { border-color: var(--indigo); }
.chips a.chip[aria-current="true"], .chips button[aria-pressed="true"] { border-color: var(--indigo); background: var(--indigo-soft); color: var(--indigo); font-weight: 600; }
.formgrid { display: grid; grid-template-columns: repeat(auto-fit, minmax(190px, 1fr)); gap: 12px; }
.formgrid label { display: grid; gap: 5px; font-size: 12.5px; color: var(--muted); }
.check { display: inline-flex; gap: 6px; align-items: center; font-size: 13px; color: var(--muted); }

/* semantic chips */
.pill { display: inline-flex; align-items: center; gap: 6px; padding: 3px 10px; border-radius: 999px; font-size: 12px; font-weight: 600; }
.p-indigo { background: var(--indigo-soft); color: var(--indigo); } .p-emerald { background: var(--emerald-soft); color: var(--emerald); }
.p-rose { background: var(--rose-soft); color: var(--rose); } .p-amber { background: var(--amber-soft); color: var(--amber); }
.p-violet { background: var(--violet-soft); color: var(--violet); } .p-sky { background: var(--sky-soft); color: var(--sky); }
.banner { margin: 12px 0; padding: 11px 14px; border-radius: 10px; font-size: 14px; border-left: 4px solid; }
.banner.rose { background: var(--rose-soft); border-color: var(--rose); } .banner.amber { background: var(--amber-soft); border-color: var(--amber); }
.banner.sky { background: var(--sky-soft); border-color: var(--sky); } .banner.emerald { background: var(--emerald-soft); border-color: var(--emerald); }

/* pipeline rail */
.rail { list-style: none; padding: 0; display: grid; grid-template-columns: repeat(5, 1fr); gap: 6px; margin: 4px 0 2px; }
.stage { position: relative; border-radius: 10px; padding: 9px 10px; background: var(--code); border: 1px solid var(--line);
  font-size: 12.5px; color: var(--muted); transition: all .25s ease; }
.stage b { display: block; color: var(--ink); font-size: 13px; }
.stage.active { border-color: var(--indigo); background: var(--indigo-soft); color: var(--indigo); box-shadow: 0 0 0 3px rgba(79,70,229,.12); }
.stage.active::after { content: ""; position: absolute; right: 8px; top: 10px; width: 8px; height: 8px; border-radius: 50%;
  background: var(--indigo); animation: pulse 1s ease-in-out infinite; }
.stage.done { border-color: var(--emerald); background: var(--emerald-soft); color: var(--emerald); }
.stage.fail { border-color: var(--rose); background: var(--rose-soft); color: var(--rose); }
@keyframes pulse { 50% { opacity: .25; } }

/* copilot output */
.reply { white-space: pre-wrap; background: var(--code); border-radius: 12px; padding: 14px 16px; font-size: 15px; margin: 8px 0;
  border: 1px solid var(--line); }
.claim { border: 1px solid var(--line); border-left: 4px solid var(--emerald); border-radius: 10px; padding: 11px 13px; margin: 9px 0; }
.claim .cit { font-family: ui-monospace, Menlo, monospace; font-size: 12px; color: var(--emerald); font-weight: 600; }
.claim blockquote { margin: 7px 0 0; padding: 7px 11px; background: var(--code); border-radius: 8px; font-size: 13.5px; }
details summary { cursor: pointer; color: var(--muted); font-size: 13px; margin-top: 7px; }
.src { white-space: pre-wrap; background: var(--code); padding: 11px; border-radius: 10px; margin-top: 7px; max-height: 300px;
  overflow: auto; font-size: 13.5px; border: 1px solid var(--line); }
mark { background: var(--hl); color: inherit; padding: 0 2px; border-radius: 3px; }
.ticket { border: 1.5px dashed var(--amber); border-radius: 12px; padding: 13px 15px; background: var(--amber-soft); }
.ticket .meta { display: flex; gap: 8px; align-items: center; flex-wrap: wrap; font-size: 12.5px; }
.ticket ul { margin: 8px 0 0; padding-left: 18px; }

/* trace */
.trace { list-style: none; margin: 0; padding: 0; }
.trace li { position: relative; padding: 7px 0 7px 26px; font-size: 13.5px; animation: slidein .25s ease; }
.trace li::before { content: ""; position: absolute; left: 6px; top: 13px; width: 10px; height: 10px; border-radius: 50%; background: var(--indigo); }
.trace li::after { content: ""; position: absolute; left: 10.5px; top: 25px; bottom: -7px; width: 1px; background: var(--line); }
.trace li:last-child::after { display: none; }
.trace li.t-search::before { background: var(--sky); } .trace li.t-graph::before { background: var(--violet); }
.trace li.t-deadline::before { background: var(--amber); } .trace li.t-ok::before { background: var(--emerald); }
.trace li.t-bad::before { background: var(--rose); }
.trace .args { color: var(--muted); font-size: 12.5px; }
@keyframes slidein { from { opacity: 0; transform: translateY(-3px); } }

/* tables */
.tablewrap { overflow-x: auto; }
table { width: 100%; border-collapse: collapse; font-size: 13.5px; }
th, td { padding: 8px 9px; border-bottom: 1px solid var(--line); text-align: left; vertical-align: top; }
th { color: var(--muted); font-weight: 500; font-size: 12.5px; }
td.num, th.num { text-align: right; font-variant-numeric: tabular-nums; }
td.amount b { font-size: 18px; color: var(--amber); }

/* timeline svg */
.timeline { width: 100%; height: auto; display: block; margin: 6px 0 14px; }
.timeline text { font-family: inherit; }

/* checker */
.stamp { display: inline-block; font-size: 22px; font-weight: 800; letter-spacing: .04em; padding: 6px 16px; border-radius: 10px;
  border: 3px solid currentColor; transform: rotate(-2deg); margin: 4px 0 10px; }
.stamp.ok { color: var(--emerald); } .stamp.bad { color: var(--rose); }
.diff { font-size: 15px; line-height: 1.7; background: var(--code); padding: 12px 14px; border-radius: 10px; border: 1px solid var(--line); }
.diff .m { background: var(--emerald-soft); color: var(--emerald); border-radius: 3px; }
.diff .x { background: var(--rose-soft); color: var(--rose); text-decoration: underline wavy; border-radius: 3px; }

/* search + graph */
.hit { display: block; width: 100%; text-align: left; font: inherit; color: inherit; background: none; padding: 11px 10px; border-radius: 10px; font-size: 13.5px; cursor: pointer; border: 1px solid transparent; }
.hit > span { display: block; }
.hit:hover { background: var(--code); }
.hit.sel { background: var(--violet-soft); border-color: var(--violet); }
.hit .cit { font-family: ui-monospace, Menlo, monospace; color: var(--sky); font-size: 12.5px; font-weight: 600; }
.hit .meta { color: var(--faint); font-size: 12px; }
.graphsvg { width: 100%; height: auto; display: block; }
.graphsvg .node { cursor: pointer; }
.graphsvg .node:hover circle { stroke-width: 3; }
.legend { display: flex; gap: 14px; flex-wrap: wrap; font-size: 12.5px; color: var(--muted); }
.legend i { display: inline-block; width: 10px; height: 10px; border-radius: 50%; margin-right: 5px; vertical-align: -1px; }

/* results */
.bars { display: grid; gap: 11px; }
.bar { display: grid; grid-template-columns: 190px 1fr 52px; gap: 12px; align-items: center; font-size: 13px; }
.bar .lbl { font-family: ui-monospace, Menlo, monospace; font-size: 12px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.track { position: relative; height: 18px; background: var(--code); border-radius: 6px; }
.fill { position: absolute; inset: 0 auto 0 0; border-radius: 6px; background: linear-gradient(90deg, var(--sky), #60a5fa); }
.bar.best .fill { background: linear-gradient(90deg, var(--emerald), #34d399); }
.bar.graph .fill { background: linear-gradient(90deg, var(--violet), #a78bfa); }
.ci { position: absolute; top: 8px; height: 2px; background: var(--ink); opacity: .5; }
.ci::before, .ci::after { content: ""; position: absolute; top: -4px; width: 2px; height: 10px; background: var(--ink); }
.ci::before { left: 0; } .ci::after { right: 0; }
.stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(160px, 1fr)); gap: 12px; }
.stat { border-radius: 12px; padding: 13px 15px; border: 1px solid var(--line); background: var(--code); }
.stat b { display: block; font-size: 22px; letter-spacing: -.02em; }
.stat span { color: var(--muted); font-size: 12.5px; }
.stat.emerald b { color: var(--emerald); } .stat.violet b { color: var(--violet); } .stat.sky b { color: var(--sky); }
.stat.amber b { color: var(--amber); }

.diagram { width: 100%; height: auto; }
.spinner { display: inline-block; width: 14px; height: 14px; border: 2px solid var(--line); border-top-color: var(--indigo);
  border-radius: 50%; animation: spin .8s linear infinite; vertical-align: -2px; }
@keyframes spin { to { transform: rotate(360deg); } }

footer { color: var(--faint); font-size: 12.5px; padding: 26px 0 0; border-top: 1px solid var(--line); margin-top: 30px;
  display: flex; justify-content: space-between; gap: 12px; flex-wrap: wrap; }

@media (max-width: 980px) { .grid { grid-template-columns: 1fr; } .kpis { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
@media (max-width: 640px) {
  .actions .status { display: none; } .brand .name { font-size: 22px; } .hero h1.tag { font-size: 18px; }
  .wrap { padding: 0 16px; } .rail { grid-template-columns: repeat(3, 1fr); } .bar { grid-template-columns: 120px 1fr 42px; }
  .card { padding: 15px; } .formgrid { grid-template-columns: 1fr; }
}

/* header actions */
.actions { display: flex; gap: 8px; align-items: center; }
.icon-btn { width: 34px; height: 34px; display: inline-grid; place-items: center; border-radius: 10px; cursor: pointer; color: #fff;
  background: rgba(255,255,255,.12); border: 1px solid rgba(255,255,255,.22); }
.icon-btn:hover { background: rgba(255,255,255,.2); }
.icon-btn svg { width: 17px; height: 17px; fill: currentColor; }
.skip { position: absolute; left: 12px; top: -48px; z-index: 50; padding: 8px 14px; border-radius: 10px; background: var(--panel);
  color: var(--ink); border: 1px solid var(--line); box-shadow: var(--shadow); }
.skip:focus { top: 12px; }
kbd { font: 11px ui-monospace, Menlo, monospace; padding: 1px 5px; border-radius: 5px; margin-left: 6px; background: rgba(255,255,255,.18); }
.btn:not(.primary) kbd { background: var(--code); }
.field { display: block; margin-top: 12px; font-size: 13px; color: var(--muted); }
.field select, .field textarea { display: block; width: 100%; margin-top: 5px; }
.claim .links { display: flex; gap: 14px; flex-wrap: wrap; margin-top: 8px; font-size: 12.5px; }

/* states */
.empty { color: var(--muted); font-size: 13.5px; }
.skel { display: grid; gap: 9px; }
.sr-only { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
.skel i { display: block; height: 13px; border-radius: 6px; background: linear-gradient(90deg, var(--code), var(--line), var(--code));
  background-size: 200% 100%; animation: shimmer 1.2s linear infinite; }
.skel i:nth-child(3n) { width: 62%; } .skel i:nth-child(3n+2) { width: 86%; }
.skel i.block { height: 120px; width: 100%; }
@keyframes shimmer { to { background-position: -200% 0; } }
.error-box { border: 1px solid var(--rose); background: var(--rose-soft); border-radius: 10px; padding: 11px 14px; font-size: 14px;
  display: flex; gap: 12px; align-items: center; justify-content: space-between; flex-wrap: wrap; }
.error-box b { color: var(--rose); }
.toasts { position: fixed; right: 18px; bottom: 18px; display: grid; gap: 8px; z-index: 60; }
.toast { background: var(--ink); color: var(--bg); padding: 9px 14px; border-radius: 10px; font-size: 13.5px; box-shadow: var(--shadow);
  animation: slidein .2s ease; }
.graphsvg .node:focus-visible circle { stroke: var(--ink); stroke-width: 3; }
.graphsvg .node:focus { outline: none; }

@media (prefers-reduced-motion: reduce) { * { animation: none !important; transition: none !important; } }
#dl_out td:last-child, #copilotTimeline td:last-child { min-width: 150px; }
#dl_out td summary, #copilotTimeline td summary { white-space: nowrap; }
td.num { white-space: nowrap; }