:root {
  --bg: #10141c;
  --bg-2: #171d28;
  --panel: #1c2433;
  --line: #2c3648;
  --text: #e8eef6;
  --muted: #8b97ab;
  --accent: #ee6c4d;
  --accent-2: #7eb8ff;
  --good: #6bcf8e;
  --warn: #e7c36a;
  --bad: #e07a7a;
  --mono: "IBM Plex Mono", "ui-monospace", "SFMono-Regular", Menlo, Consolas, monospace;
  --sans: "IBM Plex Sans", "Segoe UI", system-ui, sans-serif;
}

* { box-sizing: border-box; }
html, body { margin: 0; padding: 0; background: var(--bg); color: var(--text); font: 14px/1.45 var(--sans); }
a { color: var(--accent-2); text-decoration: none; }
a:hover { text-decoration: underline; }
code { font-family: var(--mono); font-size: 0.92em; }

.top {
  position: sticky; top: 0; z-index: 5;
  display: flex; flex-wrap: wrap; gap: 16px; align-items: center;
  padding: 12px 18px; background: #0c1017ee; border-bottom: 1px solid var(--line);
  backdrop-filter: blur(8px);
}
.brand { display: flex; gap: 10px; align-items: baseline; min-width: 180px; }
.mark { font-weight: 700; letter-spacing: 0.04em; }
.sub { color: var(--muted); font-size: 13px; }

.lookup { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; flex: 1; }
.lookup label { color: var(--muted); font-size: 12px; text-transform: uppercase; letter-spacing: 0.08em; }
.lookup input, .lookup select {
  background: var(--bg-2); color: var(--text);
  border: 1px solid var(--line); border-radius: 6px; padding: 7px 10px;
  font: 14px var(--mono);
}
.lookup input { width: 90px; }
.lookup select {
  width: min(420px, 100%);
  max-width: 100%;
}
.lookup button {
  background: var(--panel); color: var(--text); border: 1px solid var(--line);
  border-radius: 6px; padding: 7px 10px; cursor: pointer;
}
.lookup button[type="submit"], #btn-random { background: #2a3344; }
.lookup button:hover { border-color: var(--accent-2); }
.lookup label.check {
  display: flex; gap: 6px; align-items: center;
  text-transform: none; letter-spacing: 0; font-size: 13px; color: var(--text);
  cursor: pointer; padding: 4px 8px;
  border: 1px solid var(--line); border-radius: 6px; background: var(--panel);
}
.lookup label.check input { width: auto; margin: 0; accent-color: var(--accent-2); }
.lookup label.check:has(input:checked) { border-color: var(--good); }

main { padding: 18px 20px 48px; max-width: 1400px; }
.empty, .status { color: var(--muted); max-width: 720px; }
.status.err { color: var(--bad); }

.meta-grid {
  display: grid; grid-template-columns: repeat(auto-fill, minmax(160px, 1fr));
  gap: 12px 16px; margin: 0 0 22px; padding: 14px 16px;
  background: var(--panel); border: 1px solid var(--line); border-radius: 10px;
}
.meta-cell { min-width: 0; }
.meta-k { color: var(--muted); font-size: 11px; text-transform: uppercase; letter-spacing: 0.06em; }
.meta-v { margin: 2px 0 0; font-family: var(--mono); font-size: 13px; overflow-wrap: anywhere; }
.pill { display: inline-block; padding: 1px 8px; border-radius: 999px; font-size: 12px; }
.pill.exact { background: #1e3d2c; color: var(--good); }
.pill.true, .pill.FAMILY_F, .pill.TORUS_T2, .pill.TORUS_T3 { background: #1e3d2c; color: var(--good); }
.pill.false, .pill.EXACT-UNCLASSIFIED { background: #3d2424; color: var(--bad); }
.pill.partial { background: #3d3420; color: var(--warn); }
.pill.fail, .pill.memorize { background: #3d2424; color: var(--bad); }
.pill.generalize { background: #24344d; color: var(--accent-2); }

.layout { display: grid; grid-template-columns: 1fr; gap: 18px; }
@media (min-width: 980px) {
  .layout.with-embed { grid-template-columns: 320px 1fr; align-items: start; }
}
.layout.with-embed-multi { grid-template-columns: 1fr; }
.embed-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(240px, 1fr));
  gap: 12px;
}
.atlas-panel {
  background: #fff;
  color: #222;
  border: 1px solid #e6e6e6;
  border-radius: 10px;
  padding: 12px 14px 10px;
}
.atlas-panel h2 {
  margin: 0 0 8px;
  font-size: 14px;
  font-weight: 700;
  color: #111;
  text-transform: none;
  letter-spacing: 0;
}
.embed-head h3 {
  margin: 0 0 6px;
  font-size: 12px;
  font-weight: 600;
  color: var(--muted);
  letter-spacing: 0.04em;
  text-transform: uppercase;
  font-family: var(--mono);
}
.atlas-panel .embed-head h3 {
  text-align: center;
  text-transform: none;
  letter-spacing: 0;
  font-family: var(--sans);
  font-size: 13px;
  font-weight: 600;
  color: #222;
}
.embed-plot { width: 100%; height: auto; display: block; background: var(--bg-2); border-radius: 8px; cursor: crosshair; }
.atlas-panel .embed-plot {
  background: #fff;
  border-radius: 0;
  margin: 0 auto;
}
.atlas-caption {
  text-align: center;
  font-size: 12.5px;
  color: #222;
  margin: 4px 0 2px;
}
.atlas-legend { color: #555; }
.legend { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 8px; font-size: 11px; color: var(--muted); }

.tensor { margin-bottom: 18px; }
.tensor-head { display: flex; flex-wrap: wrap; gap: 10px 18px; align-items: baseline; margin-bottom: 8px; }
.tensor-head h2 { margin: 0; font-size: 16px; color: var(--text); text-transform: none; letter-spacing: 0; }
.stats { color: var(--muted); font-family: var(--mono); font-size: 12px; }
.slice-nav { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin: 0 0 8px; color: var(--muted); font-size: 12px; }
.slice-nav input[type="range"] {
  flex: 1 1 220px;
  min-width: 160px;
  height: 22px;
  accent-color: var(--accent-2);
  cursor: pointer;
}
.slice-buttons { display: flex; flex-wrap: wrap; gap: 4px; }
.slice-buttons button {
  min-width: 28px; padding: 3px 8px; border-radius: 6px;
  background: var(--bg-2); color: var(--text); border: 1px solid var(--line); cursor: pointer;
}
.slice-buttons button.active { border-color: var(--accent-2); background: #2a3344; }
.tensor-heads .heat-caption { margin-bottom: 6px; }

.heat-wrap { overflow: auto; background: var(--bg-2); border-radius: 8px; padding: 8px; }
.heat-wrap canvas { display: block; image-rendering: pixelated; cursor: crosshair; }
.heat-caption { color: var(--muted); font-size: 11px; margin-top: 6px; min-height: 1.2em; font-family: var(--mono); }

details.numbers { margin-top: 8px; }
details.numbers summary { cursor: pointer; color: var(--muted); font-size: 12px; }
.num-table { border-collapse: collapse; font-family: var(--mono); font-size: 11px; margin-top: 8px; }
.num-table th, .num-table td { border: 1px solid var(--line); padding: 2px 5px; text-align: right; white-space: nowrap; }
.num-table th { color: var(--muted); font-weight: 500; }

.tooltip {
  position: fixed; pointer-events: none; z-index: 20;
  background: #0b0f16; color: var(--text); border: 1px solid var(--line);
  padding: 4px 8px; border-radius: 6px; font: 12px var(--mono);
}

.path { color: var(--muted); font-size: 12px; margin: -8px 0 16px; font-family: var(--mono); }