:root {
  --bg: #0b0e16;
  --panel: rgba(18, 22, 34, 0.92);
  --border: rgba(120, 140, 180, 0.18);
  --text: #d6deec;
  --muted: #8593ad;
  --accent: #00e0b4;
}

* { box-sizing: border-box; }

html, body {
  margin: 0;
  height: 100%;
  overflow: hidden;
  background: var(--bg);
  color: var(--text);
  font: 13px/1.5 ui-sans-serif, system-ui, -apple-system, "Segoe UI", sans-serif;
}

#gl {
  position: fixed;
  inset: 0;
  width: 100%;
  height: 100%;
  display: block;
  cursor: grab;
}
#gl:active { cursor: grabbing; }

#panel {
  position: fixed;
  top: 16px;
  left: 16px;
  width: 290px;
  max-height: calc(100% - 32px);
  overflow-y: auto;
  padding: 16px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 12px;
  backdrop-filter: blur(8px);
  box-shadow: 0 10px 40px rgba(0, 0, 0, 0.45);
}

#panel h1 {
  margin: 0 0 14px;
  font-size: 15px;
  font-weight: 650;
  letter-spacing: 0.2px;
  color: #fff;
}

.field { display: block; margin-bottom: 14px; }
.field span {
  display: block;
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.6px;
  color: var(--muted);
  margin-bottom: 5px;
}
#problem, #layout {
  width: 100%;
  padding: 7px 9px;
  color: var(--text);
  background: #0e1320;
  border: 1px solid var(--border);
  border-radius: 8px;
  font-size: 12px;
}

.card {
  background: rgba(10, 14, 22, 0.6);
  border: 1px solid var(--border);
  border-radius: 9px;
  padding: 11px 12px;
  margin-bottom: 12px;
}
.card.hint { color: var(--muted); font-size: 11.5px; }

#summary .row { display: flex; justify-content: space-between; gap: 10px; }
#summary .row + .row { margin-top: 4px; }
#summary .k { color: var(--muted); }
#summary .v { color: var(--text); font-variant-numeric: tabular-nums; text-align: right; }
#summary .v.warn { color: #ffb000; }
#summary .path { color: var(--text); font-variant-numeric: tabular-nums; }

.legend-title {
  font-size: 11px;
  text-transform: uppercase;
  letter-spacing: 0.6px;
  color: var(--muted);
  margin-bottom: 8px;
}
/* Display controls (Item 3): label · slider · value, one row each. */
.ctl { display: flex; align-items: center; gap: 9px; margin-top: 7px; }
.ctl:first-of-type { margin-top: 2px; }
.ctl-lbl { flex: none; width: 84px; color: var(--muted); font-size: 11px; }
.ctl input[type="range"] { flex: 1 1 auto; min-width: 0; accent-color: var(--accent); }
.ctl-val { flex: none; width: 38px; text-align: right; color: var(--text);
  font-size: 11px; font-variant-numeric: tabular-nums; }

#legend { list-style: none; margin: 0; padding: 0; }
#legend li { display: flex; align-items: center; gap: 9px; padding: 2.5px 0; cursor: pointer; }
#legend li:hover { color: #fff; }
/* Hidden / highlighted-away classes (Item 4). */
#legend li.off { opacity: 0.4; }
#legend li.off .lbl { text-decoration: line-through; }
#legend li.dim { opacity: 0.55; }
#legend .swatch {
  width: 22px; height: 0;
  border-top-width: 3px;
  border-top-style: solid;
  border-radius: 2px;
  flex: none;
}
#legend .dot {
  width: 11px; height: 11px; border-radius: 50%;
  flex: none; border: 1.5px solid rgba(255,255,255,0.55);
}
#legend .lbl { color: var(--text); }
#legend .sub { color: var(--muted); margin-left: auto; font-size: 11px; font-variant-numeric: tabular-nums; }

#colormode {
  width: 100%;
  padding: 7px 9px;
  color: var(--text);
  background: #0e1320;
  border: 1px solid var(--border);
  border-radius: 8px;
  font-size: 12px;
}

.cb-ramp {
  height: 12px;
  border-radius: 4px;
  margin-top: 6px;
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 0 5px;
  font-size: 10.5px;
  color: #fff;
  font-weight: 650;
  text-shadow: 0 1px 2px rgba(0, 0, 0, 0.7);
  font-variant-numeric: tabular-nums;
}

.play-row { display: flex; align-items: center; gap: 9px; }
#playBtn {
  flex: none;
  width: 30px; height: 26px;
  color: var(--text);
  background: #0e1320;
  border: 1px solid var(--border);
  border-radius: 7px;
  cursor: pointer;
  font-size: 12px;
}
#playBtn:hover { border-color: var(--accent); color: var(--accent); }
#timeline { flex: 1 1 auto; accent-color: var(--accent); min-width: 0; }
.play-meta { margin-top: 7px; color: var(--muted); font-size: 11px; font-variant-numeric: tabular-nums; }

/* Optimal-basis-finder view: descent chart + rule legend + bases list. */
#finderSummary { color: var(--text); font-size: 12px; margin-bottom: 9px; }
#finderSummary .fcount { color: #fff; font-weight: 650; font-variant-numeric: tabular-nums; }
#finderChart {
  width: 100%; height: 150px; display: block;
  background: rgba(6, 9, 15, 0.7);
  border: 1px solid var(--border);
  border-radius: 6px;
}
.finder-axis {
  display: flex; justify-content: space-between;
  color: var(--muted); font-size: 10px; margin: 3px 1px 9px;
  font-variant-numeric: tabular-nums;
}
#finderLegend { list-style: none; margin: 0 0 9px; padding: 0; }
#finderLegend li { display: flex; align-items: center; gap: 8px; padding: 2px 0; cursor: pointer; }
#finderLegend li.off { opacity: 0.4; }
#finderLegend li.off .lbl { text-decoration: line-through; }
#finderLegend .swatch {
  width: 18px; height: 0; border-top-width: 3px; border-top-style: solid;
  border-radius: 2px; flex: none;
}
#finderLegend .lbl { color: var(--text); font-size: 12px; }
#finderLegend .sub { color: var(--muted); margin-left: auto; font-size: 11px; font-variant-numeric: tabular-nums; }
#finderBases { margin-bottom: 4px; }
#finderBases .brow { display: flex; align-items: center; gap: 8px; padding: 2px 0; font-size: 11.5px; }
#finderBases .bdot {
  width: 9px; height: 9px; border-radius: 50%; flex: none;
  border: 1px solid rgba(255,255,255,0.5);
}
#finderBases .blbl { color: var(--text); }
#finderBases .bsub { color: var(--muted); margin-left: auto; font-variant-numeric: tabular-nums; }
.finder-note { color: var(--muted); font-size: 11px; margin-top: 6px; }

#tooltip {
  position: fixed;
  pointer-events: none;
  padding: 5px 8px;
  background: rgba(8, 10, 16, 0.95);
  border: 1px solid var(--border);
  border-radius: 6px;
  font-size: 11.5px;
  font-variant-numeric: tabular-nums;
  transform: translate(12px, 12px);
  white-space: nowrap;
}
#loading {
  position: fixed;
  top: 16px; right: 16px;
  padding: 8px 14px;
  background: var(--panel);
  border: 1px solid var(--border);
  border-radius: 8px;
  color: var(--accent);
}
.hidden { display: none !important; }
