/* Generators and Lazy Search. Layout: title with presets, scene note and timeline; the spatial scene beside the hypothesis graph; then efficiency, parameters and the inspector; then the event log. Stacks on narrow screens. */
:root {
  color-scheme: dark;
  --bg: #0a0e17;
  --panel: #0f1522;
  --panel-2: #151d2e;
  --line: #1e2839;
  --line-2: #2b3850;
  --fg: #e3e8f2;
  --muted: #8b97ad;
  --dim: #56627a;
  --cyan: #00f5ff;
  --amber: #f59e0b;
  --spawn: #fde68a;
  --red: #f87171;
  --green: #34d399;
  --display: "Literata", "Iowan Old Style", Georgia, serif;
  --sans: "Instrument Sans", "Segoe UI", system-ui, sans-serif;
  --mono: "JetBrains Mono", ui-monospace, "SFMono-Regular", Menlo, monospace;
  --r: 6px;
}
[hidden] { display: none !important; }
*, *::before, *::after { box-sizing: border-box; }
html, body { margin: 0; }
body { background: var(--bg); color: var(--fg); font: 14px/1.45 var(--sans); }
button, select, input { font: inherit; color: inherit; }
:focus-visible { outline: 2px solid var(--cyan); outline-offset: 2px; }

.app { display: grid; gap: 12px; padding-block: 12px 20px;
  padding-left: max(16px, env(safe-area-inset-left, 0px)); padding-right: max(16px, env(safe-area-inset-right, 0px)); }
.top { display: flex; flex-wrap: wrap; align-items: flex-end; justify-content: space-between; gap: 12px 24px; }
.eyebrow { font: 500 11px/1.2 var(--mono); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); }
h1 { margin: 4px 0 0; font: 600 24px/1.15 var(--display); text-wrap: balance; }
h1 span { display: block; margin-top: 3px; font: 400 13px/1.3 var(--sans); color: var(--muted); }
.chips { display: flex; flex-wrap: wrap; gap: 6px; }
.chip { font: 12.5px var(--sans); padding: 5px 11px; border-radius: 999px; border: 1px solid var(--line-2); background: var(--panel); cursor: pointer; transition: border-color .15s, color .15s; }
.chip:hover { border-color: var(--cyan); }
.chip.on { border-color: var(--cyan); color: var(--cyan); background: rgba(0,245,255,.07); }
.note { margin: 0; font-size: 13.5px; color: #c7cfdf; max-width: 130ch; }
.note b { color: var(--fg); }

select, .btn { background: var(--panel-2); border: 1px solid var(--line-2); border-radius: var(--r); padding: 5px 9px; min-height: 32px; max-width: 100%; }
.btn { display: inline-flex; align-items: center; gap: 6px; cursor: pointer; transition: border-color .15s; white-space: nowrap; }
.btn:hover { border-color: var(--cyan); }
.btn svg { width: 14px; height: 14px; flex: none; }
.btn.icon { padding: 5px 8px; }
.btn.primary { background: rgba(0,245,255,.1); border-color: rgba(0,245,255,.5); color: var(--cyan); }
.transport { border: 1px solid var(--line); border-radius: 8px; background: var(--panel); padding: 10px 12px; display: grid; gap: 6px; }
.tr-row { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 10px; }
.tread { font: 500 13px var(--mono); font-variant-numeric: tabular-nums; min-width: 120px; }
.tread b { color: var(--cyan); }
.spacer { flex: 1; }
.badge { display: inline-flex; align-items: center; gap: 8px; font: 700 11.5px/1 var(--mono); letter-spacing: .06em; padding: 7px 11px; border-radius: 4px; border: 1px solid var(--line-2); background: var(--panel-2); }
.badge i { width: 8px; height: 8px; border-radius: 50%; background: var(--cyan); box-shadow: 0 0 8px var(--cyan); }
.badge.run { color: #fde68a; border-color: rgba(245,158,11,.6); background: rgba(245,158,11,.1); } .badge.run i { background: var(--amber); box-shadow: 0 0 10px var(--amber); }
.badge.ok { color: #6ee7b7; border-color: rgba(52,211,153,.5); } .badge.ok i { background: var(--green); box-shadow: 0 0 8px var(--green); }
.scrub { position: relative; height: 26px; }
.scrub .marks { position: absolute; inset: 0 7px; pointer-events: none; }
.scrub .marks span { position: absolute; top: 1px; width: 2px; height: 24px; border-radius: 1px; transform: translateX(-1px); }
input[type=range] { -webkit-appearance: none; appearance: none; width: 100%; background: transparent; height: 18px; margin: 0; }
input[type=range]::-webkit-slider-runnable-track { height: 4px; border-radius: 2px; background: var(--line-2); }
input[type=range]::-moz-range-track { height: 4px; border-radius: 2px; background: var(--line-2); }
input[type=range]::-webkit-slider-thumb { -webkit-appearance: none; width: 14px; height: 14px; margin-top: -5px; border-radius: 50%; background: var(--cyan); border: 2px solid var(--bg); box-shadow: 0 0 0 1px var(--cyan); }
input[type=range]::-moz-range-thumb { width: 12px; height: 12px; border-radius: 50%; background: var(--cyan); border: 2px solid var(--bg); }
#theta::-webkit-slider-thumb, #cost::-webkit-slider-thumb { background: var(--amber); box-shadow: 0 0 0 1px var(--amber); }
#theta::-moz-range-thumb, #cost::-moz-range-thumb { background: var(--amber); }
#scrub { position: absolute; left: 0; right: 0; top: 4px; }

.dual { display: grid; grid-template-columns: minmax(0, 0.85fr) minmax(0, 1.15fr); gap: 12px; }
.card { border: 1px solid var(--line); border-radius: 8px; background: var(--panel); padding: 10px 12px 12px; display: grid; gap: 8px; min-width: 0; align-content: start; }
.card-h { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 6px 12px; }
.sec-h { display: flex; flex-wrap: wrap; align-items: baseline; gap: 4px 10px; margin: 0; font: 500 11px var(--mono); letter-spacing: .08em; text-transform: uppercase; color: var(--muted); }
.sec-h em { font-style: normal; text-transform: none; letter-spacing: 0; color: var(--dim); }
.legend { display: flex; flex-wrap: wrap; gap: 4px 12px; font: 11px var(--mono); color: var(--muted); }
.legend span { display: inline-flex; align-items: center; gap: 6px; }
.lg { display: inline-block; width: 12px; height: 12px; border-radius: 50%; border: 1.5px solid; }
.lg.rect { border-radius: 2px; border-color: var(--cyan); background: rgba(0,245,255,.2); }
.lg.noise { border-radius: 2px; border-style: dashed; border-color: var(--dim); }
.lg.hubg { border-style: dashed; border-color: var(--amber); }
.lg.hubj { border: 0; background: var(--cyan); width: 9px; height: 9px; }
.lg.part { border-color: var(--cyan); background: rgba(0,245,255,.25); }
.lg.gen { border-color: var(--amber); clip-path: polygon(25% 5%, 75% 5%, 100% 50%, 75% 95%, 25% 95%, 0 50%); background: rgba(245,158,11,.4); border-radius: 0; }
.lg.miss { border-style: dashed; border-color: var(--dim); }
.lg.line { border: 0; height: 2px; width: 14px; border-radius: 0; background: var(--amber); }
canvas { display: block; width: 100%; border-radius: 6px; border: 1px solid var(--line); background: radial-gradient(120% 90% at 50% 40%, #0f1828 0%, #070a12 75%); }
#cvScene { height: 560px; cursor: pointer; }
#cvGraph { height: 560px; cursor: pointer; }

.lower { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr) minmax(0, 1.1fr); gap: 12px; align-items: start; }
.eff { display: grid; gap: 8px; }
.eff .big { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 8px; }
.eff .big div { background: var(--panel-2); border: 1px solid var(--line); border-radius: 6px; padding: 8px; display: grid; gap: 2px; }
.eff .big b { font: 700 22px/1.1 var(--mono); font-variant-numeric: tabular-nums; }
.eff .big span { font-size: 11.5px; color: var(--muted); line-height: 1.3; }
.eff .big .avoid b { color: var(--green); }
.eff .big .lazy b { color: var(--cyan); }
.eff .bar { height: 8px; border-radius: 4px; background: var(--panel-2); overflow: hidden; display: flex; }
.eff .bar i { height: 100%; }
.eff .row { display: flex; justify-content: space-between; gap: 8px; font: 12px var(--mono); color: var(--muted); }
.eff .row b { color: var(--fg); font-weight: 500; }
.verdict { font: 600 12.5px/1.4 var(--sans); padding: 7px 9px; border-radius: 6px; border: 1px solid; }
.verdict.good { color: #6ee7b7; border-color: rgba(52,211,153,.45); background: rgba(52,211,153,.08); }
.verdict.bad { color: #fca5a5; border-color: rgba(248,113,113,.45); background: rgba(248,113,113,.08); }
.field { display: grid; gap: 4px; }
.field > span { display: flex; justify-content: space-between; font: 500 11px var(--mono); letter-spacing: .04em; color: var(--muted); }
.field > span output { color: var(--amber); }
.switch { display: inline-flex; align-items: center; gap: 9px; cursor: pointer; font-size: 13px; }
.switch input { position: absolute; opacity: 0; pointer-events: none; }
.switch i { width: 32px; height: 18px; border-radius: 9px; background: var(--line-2); position: relative; transition: background .15s; flex: none; }
.switch i::after { content: ""; position: absolute; left: 3px; top: 3px; width: 12px; height: 12px; border-radius: 50%; background: var(--fg); transition: transform .15s; }
.switch input:checked + i { background: var(--amber); }
.switch input:checked + i::after { transform: translateX(14px); }
.switch:has(input:focus-visible) { outline: 2px solid var(--cyan); outline-offset: 2px; border-radius: 4px; }
.small { font-size: 12.5px; color: var(--muted); margin: 0; }
.inspector { display: grid; gap: 6px; font-size: 12.5px; }
.inspector .ih { font: 600 13px var(--mono); display: flex; justify-content: space-between; gap: 8px; }
.inspector .kv { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 3px 12px; font: 12px var(--mono); }
.inspector .kv span { color: var(--muted); }
.inspector .kv b { font-weight: 500; text-align: right; }
.inspector ul { margin: 0; padding: 0; list-style: none; display: grid; gap: 4px; }
.inspector li { font: 11.5px/1.45 var(--mono); padding: 5px 7px; border-radius: 5px; background: var(--panel-2); border-left: 3px solid var(--line-2); }
.inspector li .lb { color: var(--muted); font-family: var(--sans); }
.log { list-style: none; margin: 0; padding: 0; display: grid; gap: 4px; max-height: 240px; overflow-y: auto; }
.log li { display: grid; grid-template-columns: 52px minmax(0, 1fr); gap: 8px; padding: 4px 7px; border-radius: 5px; cursor: pointer; font-size: 12.5px; border: 1px solid transparent; }
.log li:hover { border-color: var(--line-2); }
.log li.past { background: var(--panel-2); }
.log li .tt { font: 600 11.5px var(--mono); color: var(--muted); }
.log li.run .tt { color: var(--amber); }
.log li.prune .tt { color: var(--dim); }
.log li.boost .tt { color: var(--spawn); }

@media (max-width: 1100px) {
  .dual { grid-template-columns: minmax(0, 1fr); }
  .lower { grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); }
  .lower > :last-child { grid-column: 1 / -1; }
}
@media (max-width: 700px) {
  .lower { grid-template-columns: minmax(0, 1fr); }
  #cvScene { height: 420px; } #cvGraph { height: 540px; min-width: 680px; }
  .graph-wrap { overflow-x: auto; }
  h1 { font-size: 20px; }
}
.pg-embedded .top > div:first-child { display: none; }
@media (prefers-reduced-motion: reduce) { .btn, .chip, .switch i, .switch i::after { transition: none; } }