:root {
  --bg: #0b0e14;
  --panel: #121722;
  --panel2: #171d2a;
  --line: #232c3d;
  --fg: #dfe6f3;
  --dim: #8794ad;
  --accent: #6ee7ff;
  --alive: #b7f7d0;
  --dead: #3a4considered;
}
* {
  box-sizing: border-box;
}
html,
body {
  margin: 0;
  padding: 0;
  background: var(--bg);
  color: var(--fg);
  font:
    14px/1.45 -apple-system,
    'Segoe UI',
    Roboto,
    Helvetica,
    Arial,
    sans-serif;
}
header#top {
  padding: 18px 20px 12px;
  border-bottom: 1px solid var(--line);
  background: linear-gradient(180deg, #10151f, #0b0e14);
}
h1 {
  margin: 0 0 4px;
  font-size: 19px;
  letter-spacing: 0.2px;
}
h2 {
  margin: 0 0 4px;
  font-size: 13px;
  text-transform: uppercase;
  letter-spacing: 0.9px;
  color: var(--accent);
}
p.sub {
  margin: 0;
  color: var(--dim);
  max-width: 90ch;
}
.hint {
  margin: 0 0 10px;
  color: var(--dim);
  font-size: 12px;
  max-width: 100ch;
}
em {
  font-style: normal;
  color: #cfe6ff;
}

.controls {
  display: flex;
  flex-wrap: wrap;
  gap: 16px;
  margin-top: 14px;
  align-items: flex-end;
}
.ctl {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-size: 12px;
  color: var(--dim);
}
.ctl.inline {
  flex-direction: row;
  align-items: center;
  gap: 6px;
}
.ctl b {
  color: var(--accent);
}
input[type='range'] {
  width: 190px;
  accent-color: #6ee7ff;
}
select,
input[type='number'] {
  background: var(--panel2);
  color: var(--fg);
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 5px 7px;
  font: inherit;
}
input[type='number'] {
  width: 110px;
}

.readout {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-top: 14px;
}
.readout .chip {
  background: var(--panel2);
  border: 1px solid var(--line);
  border-radius: 999px;
  padding: 4px 11px;
  font-size: 12px;
}
.readout .chip b {
  color: var(--accent);
  font-variant-numeric: tabular-nums;
}

main.grid {
  display: grid;
  grid-template-columns: repeat(12, 1fr);
  gap: 14px;
  padding: 16px 20px 60px;
}
.panel {
  background: var(--panel);
  border: 1px solid var(--line);
  border-radius: 12px;
  padding: 14px;
  position: relative;
}
.span3 {
  grid-column: span 3;
}
.span5 {
  grid-column: span 5;
}
.span6 {
  grid-column: span 6;
}
.span7 {
  grid-column: span 7;
}
.span12 {
  grid-column: span 12;
}
@media (max-width: 1100px) {
  .panel {
    grid-column: span 12 !important;
  }
}

.canvas-wrap {
  position: relative;
  width: 100%;
}
canvas {
  display: block;
  width: 100%;
  border-radius: 8px;
  background: #0a0d13;
}
.info {
  color: var(--dim);
  font-size: 11.5px;
  margin-top: 8px;
  min-height: 15px;
}
.mono {
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
}

.tip {
  position: absolute;
  pointer-events: none;
  opacity: 0;
  transform: translate(-50%, -130%);
  background: #05070b;
  border: 1px solid var(--line);
  border-radius: 6px;
  padding: 5px 8px;
  font-family: ui-monospace, Menlo, Consolas, monospace;
  font-size: 11px;
  white-space: pre;
  transition: opacity 0.1s;
}
.tip.on {
  opacity: 1;
}

/* ---------- prime list ---------- */
.prime-list {
  max-height: 74vh;
  overflow: auto;
  display: flex;
  flex-direction: column;
  gap: 8px;
  padding-right: 4px;
}
.observation-list {
  max-height: 55vh;
  overflow: auto;
  display: flex;
  flex-direction: column;
  gap: 8px;
  padding-right: 4px;
}
.obs-row {
  --pc: #6ee7ff;
  background: var(--panel2);
  border: 1px solid var(--line);
  border-left: 4px solid var(--pc);
  border-radius: 9px;
  padding: 9px 10px;
  cursor: pointer;
}
.obs-row:hover {
  background: #1b2231;
}
.obs-row.selected {
  background: #1d2637;
  border-color: var(--pc);
  box-shadow: 0 0 0 1px var(--pc) inset;
}
.obs-head {
  display: flex;
  align-items: baseline;
  gap: 10px;
  flex-wrap: wrap;
  margin-bottom: 6px;
}
.obs-k {
  color: var(--dim);
  font-size: 11px;
  font-family: ui-monospace, monospace;
}
.obs-p {
  color: var(--pc);
  font-size: 18px;
  font-weight: 700;
  font-family: ui-monospace, monospace;
}
.obs-lprev {
  color: var(--dim);
  font-size: 11px;
  font-family: ui-monospace, monospace;
}
.obs-badge {
  margin-left: auto;
  font-size: 11px;
  font-family: ui-monospace, monospace;
  border: 1px solid;
  border-radius: 999px;
  padding: 2px 8px;
}
.obs-badge.ok {
  color: #7ef0b2;
  border-color: rgba(126, 240, 178, 0.4);
  background: rgba(126, 240, 178, 0.08);
}
.obs-badge.bad {
  color: #ff8b8b;
  border-color: rgba(255, 139, 139, 0.4);
  background: rgba(255, 139, 139, 0.08);
}
.obs-rule,
.obs-residues {
  font-family: ui-monospace, monospace;
  font-size: 11.5px;
  margin-top: 4px;
  color: var(--dim);
}
.obs-mult-list {
  color: #ffcf8b;
}
.obs-res {
  color: #6ee7ff;
}
.obs-exp {
  color: #b7f7d0;
}
.prime-row {
  --pc: #6ee7ff;
  background: var(--panel2);
  border: 1px solid var(--line);
  border-left: 4px solid var(--pc);
  border-radius: 9px;
  padding: 9px 10px;
  cursor: pointer;
}
.prime-row:hover {
  background: #1b2231;
}
.prime-row.selected {
  background: #1d2637;
  border-color: var(--pc);
  box-shadow: 0 0 0 1px var(--pc) inset;
}
.pr-id {
  display: flex;
  align-items: baseline;
  gap: 8px;
}
.pr-k {
  color: var(--dim);
  font-size: 11px;
  font-family: ui-monospace, monospace;
}
.pr-p {
  color: var(--pc);
  font-size: 20px;
  font-weight: 700;
  font-family: ui-monospace, monospace;
}
.pr-strips {
  display: flex;
  flex-direction: column;
  gap: 6px;
  margin: 7px 0 8px;
}
.strip-wrap {
  display: flex;
  flex-direction: column;
  gap: 2px;
}
.slabel {
  font-size: 10px;
  color: var(--dim);
  font-family: ui-monospace, monospace;
}
canvas.strip {
  height: 16px;
  border-radius: 3px;
}
/* Skip schedule */
.pr-schedule {
  margin: 4px 0 8px;
  padding: 6px 9px;
  background: #090d16;
  border: 1px solid #1c2436;
  border-radius: 6px;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: 11px;
  display: flex;
  flex-direction: column;
  gap: 3px;
}
.sched-head {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  color: var(--accent);
  font-size: 10.5px;
  font-weight: 600;
  margin-bottom: 2px;
  border-bottom: 1px solid #171f30;
  padding-bottom: 3px;
}
.sched-head .sched-len {
  color: var(--dim);
  font-weight: normal;
  font-size: 10px;
}
.sched-row {
  display: flex;
  gap: 6px;
  line-height: 1.35;
  word-break: break-word;
}
.sched-lbl {
  color: var(--dim);
  flex-shrink: 0;
  min-width: 72px;
  font-size: 10.5px;
}
.sched-val {
  color: var(--fg);
  font-size: 10.5px;
}
.sched-deltas .delta-list {
  color: #6ee7ff;
}
.sched-sum {
  color: var(--dim);
  font-size: 10px;
}
.res-list {
  color: var(--alive);
}
.sched-rule {
  color: #ffcf8b;
}
.sched-rule-note {
  color: var(--dim);
  font-size: 10px;
  margin-left: 4px;
}

.pr-metrics {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(112px, 1fr));
  gap: 5px 10px;
}
.m {
  display: flex;
  justify-content: space-between;
  gap: 6px;
  font-size: 11px;
  font-family: ui-monospace, Menlo, monospace;
  border-bottom: 1px dotted #263049;
  padding-bottom: 2px;
}
.m .mk {
  color: var(--dim);
}
.m .mv {
  color: var(--fg);
}

.sw {
  display: inline-block;
  width: 10px;
  height: 10px;
  border-radius: 2px;
  vertical-align: -1px;
}
.sw.raw {
  background: #39425a;
}
.sw.own {
  background: #6ee7ff;
}
.sw.alive {
  background: #b7f7d0;
}

.crt-selects {
  display: flex;
  gap: 10px;
  font-size: 11px;
  color: var(--dim);
  margin-bottom: 8px;
}
.notes ul {
  margin: 4px 0 10px;
  padding-left: 20px;
  color: var(--dim);
  font-size: 12.5px;
}
.notes b {
  color: var(--fg);
}
.caveat {
  color: #ffcf8b;
  font-size: 12px;
  margin: 0;
}
code {
  font-family: ui-monospace, monospace;
  color: var(--accent);
}