:root {
  --bg: #0a0c0f;
  --panel: #0f1318;
  --border: #1e2530;
  --accent: #00e5ff;
  --danger: #ff3d5a;
  --warn: #ffb700;
  --safe: #00e676;
  --byzantine: #c850f0;
  --black-hole-fill: #020305;
  --black-hole-border: #ff8a00;
  --agent-good: #00e5ff;
  --agent-byz: #c850f0;
  --agent-identified: #ffb700;
  --text: #c8d6e5;
  --dim: #4a5568;
  --glow: 0 0 16px rgba(0, 229, 255, 0.35);
  --grid: rgba(30, 37, 48, 0.4);
  --overlay-bg: rgba(10, 12, 15, 0.85);
  --formula-bg: rgba(0, 0, 0, 0.3);
  --font-mono: 'Share Tech Mono', monospace;
  --font-ui: 'Rajdhani', sans-serif;
}

:root.light {
  --bg: #f6f9fc;
  --panel: #ffffff;
  --border: #d6e0ea;
  --accent: #007f99;
  --danger: #c62f46;
  --warn: #9a6700;
  --safe: #087f4b;
  --byzantine: #8d3bb0;
  --black-hole-fill: #10131a;
  --black-hole-border: #d9480f;
  --agent-good: #007f99;
  --agent-byz: #8d3bb0;
  --agent-identified: #9a6700;
  --text: #1f2933;
  --dim: #64748b;
  --glow: none;
  --grid: rgba(100, 116, 139, 0.18);
  --overlay-bg: rgba(246, 249, 252, 0.88);
  --formula-bg: rgba(255, 255, 255, 0.72);
}

* { box-sizing: border-box; margin: 0; padding: 0; }

body {
  background: var(--bg);
  color: var(--text);
  font-family: var(--font-ui);
  font-size: 14px;
  height: 100vh;
  display: flex;
  flex-direction: column;
  overflow: hidden;
}

/* ── HEADER ── */
header {
  display: flex;
  align-items: center;
  gap: 16px;
  padding: 10px 20px;
  border-bottom: 1px solid var(--border);
  background: var(--panel);
  flex-shrink: 0;
}
header .logo {
  font-family: var(--font-mono);
  font-size: 18px;
  color: var(--accent);
  text-shadow: var(--glow);
  letter-spacing: 2px;
}
header .subtitle {
  color: var(--dim);
  font-size: 12px;
  letter-spacing: 1px;
}
header .badges {
  margin-left: auto;
  display: flex;
  gap: 8px;
}
.badge {
  padding: 2px 10px;
  border-radius: 2px;
  font-family: var(--font-mono);
  font-size: 11px;
  letter-spacing: 1px;
}
.badge-byz  { background: rgba(200, 80, 240, 0.15); border: 1px solid var(--byzantine); color: var(--byzantine); }
.badge-bh   { background: rgba(255, 61, 90, 0.12);  border: 1px solid var(--danger);    color: var(--danger); }
.badge-safe { background: rgba(0, 230, 118, 0.1);   border: 1px solid var(--safe);      color: var(--safe); }

.panel-toggle {
  width: auto;
  min-height: 28px;
  padding: 4px 10px;
  border: 1px solid var(--border);
  border-radius: 2px;
  background: var(--bg);
  color: var(--text);
  cursor: pointer;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  font-family: var(--font-mono);
  font-size: 11px;
  letter-spacing: 1px;
}
.panel-toggle:hover { border-color: var(--accent); color: var(--accent); }
.panel-toggle:focus-visible,
.theme-toggle:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
}
.panel-toggle-icon {
  width: 16px;
  height: 12px;
  display: grid;
  align-content: space-between;
  flex-shrink: 0;
}
.panel-toggle-icon span {
  display: block;
  height: 2px;
  border-radius: 1px;
  background: currentColor;
  transition: transform 0.2s ease, opacity 0.2s ease;
}
body:not(.panels-collapsed) .panel-toggle-icon span:nth-child(1) { transform: translateY(5px) rotate(45deg); }
body:not(.panels-collapsed) .panel-toggle-icon span:nth-child(2) { opacity: 0; }
body:not(.panels-collapsed) .panel-toggle-icon span:nth-child(3) { transform: translateY(-5px) rotate(-45deg); }

.theme-toggle {
  width: auto;
  padding: 4px 10px;
  border: 1px solid var(--border);
  border-radius: 2px;
  background: var(--bg);
  color: var(--text);
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 11px;
  letter-spacing: 1px;
}
.theme-toggle:hover { border-color: var(--accent); color: var(--accent); }

/* ── MAIN LAYOUT ── */
.main {
  display: flex;
  flex: 1;
  overflow: hidden;
}

/* ── LEFT PANEL ── */
.left-panel {
  width: 280px;
  flex-shrink: 0;
  border-right: 1px solid var(--border);
  background: var(--panel);
  display: flex;
  flex-direction: column;
  overflow: hidden;
  transition: width 0.24s ease, opacity 0.18s ease, transform 0.24s ease, border-color 0.24s ease;
}

body.panels-collapsed .left-panel {
  width: 0;
  opacity: 0;
  pointer-events: none;
  transform: translateX(-16px);
  border-color: transparent;
}

.section-title {
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 2px;
  color: var(--dim);
  padding: 10px 16px 6px;
  border-bottom: 1px solid var(--border);
  text-transform: uppercase;
}

.controls {
  padding: 12px 16px;
  display: flex;
  flex-direction: column;
  gap: 10px;
  overflow-y: auto;
  flex: 1;
}

label {
  display: flex;
  flex-direction: column;
  gap: 4px;
  font-size: 12px;
  color: var(--dim);
  letter-spacing: 0.5px;
  font-family: var(--font-mono);
}
label span { color: var(--text); }

input[type=range] {
  -webkit-appearance: none;
  width: 100%;
  height: 3px;
  background: var(--border);
  border-radius: 2px;
  outline: none;
}
input[type=range]::-webkit-slider-thumb {
  -webkit-appearance: none;
  width: 14px; height: 14px;
  background: var(--accent);
  border-radius: 50%;
  cursor: pointer;
  box-shadow: 0 0 8px var(--accent);
}

select {
  background: var(--bg);
  border: 1px solid var(--border);
  color: var(--text);
  padding: 5px 8px;
  border-radius: 2px;
  font-family: var(--font-mono);
  font-size: 12px;
  width: 100%;
  outline: none;
}
select:focus { border-color: var(--accent); }

.val-display {
  font-size: 16px;
  font-family: var(--font-mono);
  color: var(--accent);
  text-shadow: var(--glow);
}

.btn {
  padding: 8px 14px;
  border: 1px solid;
  border-radius: 2px;
  cursor: pointer;
  font-family: var(--font-mono);
  font-size: 12px;
  letter-spacing: 1px;
  text-transform: uppercase;
  transition: all 0.15s;
  background: transparent;
  width: 100%;
}
.btn-primary { border-color: var(--accent); color: var(--accent); }
.btn-primary:hover { background: rgba(0, 229, 255, 0.1); box-shadow: var(--glow); }
.btn-danger  { border-color: var(--danger); color: var(--danger); }
.btn-danger:hover  { background: rgba(255, 61, 90, 0.1); }
.btn-warn    { border-color: var(--warn);   color: var(--warn); }
.btn-warn:hover    { background: rgba(255, 183, 0, 0.1); }

.btn-row { display: flex; gap: 6px; }
.btn-row .btn { flex: 1; }

/* ── LEGEND ── */
.legend {
  padding: 10px 16px;
  border-top: 1px solid var(--border);
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 5px 10px;
}
.legend-item {
  display: flex;
  align-items: center;
  gap: 6px;
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--dim);
}
.dot {
  width: 10px; height: 10px;
  border-radius: 50%;
  flex-shrink: 0;
}
.dot-good { background: var(--agent-good); }
.dot-byz { background: var(--agent-byz); }
.dot-identified { background: var(--agent-identified); }
.dot-bh {
  background: var(--black-hole-fill);
  border: 2px solid var(--black-hole-border);
}
.dot-safe { background: var(--safe); }
.dot-home { background: var(--warn); border-radius: 0; }
.dot-unexplored { background: var(--dim); }

/* ── GRAPH AREA ── */
.graph-area {
  flex: 1;
  position: relative;
  overflow: hidden;
  min-width: 0;
  background:
    radial-gradient(ellipse at 30% 40%, rgba(0, 229, 255, 0.03) 0%, transparent 60%),
    radial-gradient(ellipse at 70% 70%, rgba(200, 80, 240, 0.03) 0%, transparent 60%),
    var(--bg);
}
#cy {
  width: 100%;
  height: 100%;
  position: relative;
  z-index: 1;
}

.graph-area::before {
  content: '';
  position: absolute;
  inset: 0;
  z-index: 0;
  background-image:
    linear-gradient(var(--grid) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid) 1px, transparent 1px);
  background-size: 40px 40px;
  pointer-events: none;
}

/* ── RIGHT PANEL ── */
.right-panel {
  width: 300px;
  flex-shrink: 0;
  border-left: 1px solid var(--border);
  background: var(--panel);
  display: flex;
  flex-direction: column;
  overflow: hidden;
  transition: width 0.24s ease, opacity 0.18s ease, transform 0.24s ease, border-color 0.24s ease;
}

body.panels-collapsed .right-panel {
  width: 0;
  opacity: 0;
  pointer-events: none;
  transform: translateX(16px);
  border-color: transparent;
}

.stats-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 1px;
  background: var(--border);
  border-bottom: 1px solid var(--border);
}
.stat-cell { background: var(--panel); padding: 10px 12px; }
.stat-label {
  font-family: var(--font-mono);
  font-size: 9px;
  letter-spacing: 1.5px;
  color: var(--dim);
  text-transform: uppercase;
}
.stat-val {
  font-family: var(--font-mono);
  font-size: 22px;
  font-weight: bold;
  margin-top: 2px;
}
.sv-cyan   { color: var(--accent);    text-shadow: var(--glow); }
.sv-red    { color: var(--danger);    text-shadow: 0 0 12px rgba(255, 61, 90, 0.4); }
.sv-purple { color: var(--byzantine); text-shadow: 0 0 12px rgba(200, 80, 240, 0.4); }
.sv-green  { color: var(--safe);      text-shadow: 0 0 12px rgba(0, 230, 118, 0.3); }
.sv-yellow { color: var(--warn);      text-shadow: 0 0 12px rgba(255, 183, 0, 0.3); }

/* ── LOG ── */
.log-wrap { flex: 1; overflow: hidden; display: flex; flex-direction: column; }

#log {
  flex: 1;
  overflow-y: auto;
  padding: 8px 12px;
  font-family: var(--font-mono);
  font-size: 11px;
  line-height: 1.6;
}
#log::-webkit-scrollbar { width: 4px; }
#log::-webkit-scrollbar-track { background: transparent; }
#log::-webkit-scrollbar-thumb { background: var(--border); border-radius: 2px; }

.log-entry { display: flex; gap: 6px; align-items: flex-start; }
.log-round {
  color: var(--dim);
  min-width: 32px;
  flex-shrink: 0;
  font-size: 10px;
  padding-top: 1px;
}
.log-msg { flex: 1; }
.log-msg.info   { color: var(--text); }
.log-msg.safe   { color: var(--safe); }
.log-msg.danger { color: var(--danger); }
.log-msg.byz    { color: var(--byzantine); }
.log-msg.warn   { color: var(--warn); }
.log-msg.system { color: var(--accent); }

/* ── AGENT CHIPS ── */
.agent-section {
  border-top: 1px solid var(--border);
  max-height: 180px;
  overflow-y: auto;
}
.agent-section::-webkit-scrollbar { width: 4px; }
.agent-section::-webkit-scrollbar-thumb { background: var(--border); }

.agent-list {
  display: flex;
  flex-wrap: wrap;
  gap: 4px;
  padding: 8px 12px;
}

.agent-chip {
  display: flex;
  align-items: center;
  gap: 5px;
  padding: 3px 8px;
  border-radius: 2px;
  border: 1px solid;
  font-family: var(--font-mono);
  font-size: 10px;
  transition: all 0.2s;
}
.agent-chip.good   { border-color: var(--agent-good);       color: var(--agent-good);       background: rgba(0, 229, 255, 0.05); }
.agent-chip.byz    { border-color: var(--agent-byz);        color: var(--agent-byz);        background: rgba(200, 80, 240, 0.08); }
.agent-chip.identified { border-color: var(--agent-identified); color: var(--agent-identified); background: rgba(255, 183, 0, 0.08); }
.agent-chip.dead   { border-color: var(--dim);       color: var(--dim);       background: transparent; text-decoration: line-through; }
.agent-chip.active { box-shadow: 0 0 8px currentColor; }

#agentLayer {
  position: absolute;
  inset: 0;
  z-index: 5;
  pointer-events: none;
}

.agent-particle {
  position: absolute;
  left: 0;
  top: 0;
  width: 13px;
  height: 13px;
  margin: -6.5px 0 0 -6.5px;
  border-radius: 50%;
  border: 2px solid var(--bg);
  box-shadow: 0 0 10px currentColor;
  color: var(--agent-good);
  background: currentColor;
  transition: transform 0.18s ease, color 0.18s ease, width 0.18s ease, height 0.18s ease, margin 0.18s ease;
}
.agent-particle.good { color: var(--agent-good); }
.agent-particle.byz { color: var(--agent-byz); }
.agent-particle.identified { color: var(--agent-identified); }
.agent-particle.active {
  width: 17px;
  height: 17px;
  margin: -8.5px 0 0 -8.5px;
  border-color: var(--text);
  box-shadow: 0 0 0 3px rgba(255, 255, 255, 0.16), 0 0 16px currentColor;
}

/* ── OVERLAY ── */
#overlay {
  position: absolute;
  inset: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  background: var(--overlay-bg);
  z-index: 100;
  flex-direction: column;
  gap: 12px;
  font-family: var(--font-mono);
  pointer-events: none;
  opacity: 0;
  transition: opacity 0.4s;
}
#overlay.show { opacity: 1; pointer-events: auto; }
#overlay .ov-title { font-size: 28px; letter-spacing: 4px; }
#overlay .ov-sub   { font-size: 13px; color: var(--dim); }
#overlay.success .ov-title { color: var(--safe);   text-shadow: 0 0 30px var(--safe); }
#overlay.failure .ov-title { color: var(--danger); text-shadow: 0 0 30px var(--danger); }

@keyframes bh-pulse {
  0%, 100% { opacity: 1; }
  50%      { opacity: 0.4; }
}

/* ── TOOLTIP ── */
#tooltip {
  position: absolute;
  background: var(--panel);
  border: 1px solid var(--border);
  padding: 6px 10px;
  font-family: var(--font-mono);
  font-size: 11px;
  pointer-events: none;
  display: none;
  z-index: 50;
  max-width: 200px;
  line-height: 1.6;
}

/* ── TAB BAR ── */
.tab-bar {
  display: flex;
  border-bottom: 1px solid var(--border);
}
.tab {
  flex: 1;
  padding: 7px;
  text-align: center;
  font-family: var(--font-mono);
  font-size: 10px;
  letter-spacing: 1px;
  color: var(--dim);
  cursor: pointer;
  border-bottom: 2px solid transparent;
  transition: all 0.15s;
}
.tab.active { color: var(--accent); border-bottom-color: var(--accent); }
.tab-content { display: none; }
.tab-content.active { display: flex; flex-direction: column; flex: 1; overflow: hidden; }

/* ── EDGE TABLE ── */
.edge-table {
  padding: 8px;
  overflow-y: auto;
  flex: 1;
  font-family: var(--font-mono);
  font-size: 10px;
}
.edge-row {
  display: flex;
  justify-content: space-between;
  padding: 3px 6px;
  border-bottom: 1px solid rgba(30, 37, 48, 0.5);
}
.edge-row:hover { background: rgba(0, 229, 255, 0.04); }
.status-safe    { color: var(--safe); }
.status-danger  { color: var(--danger); }
.status-unknown { color: var(--dim); }

.mode-indicator {
  font-family: var(--font-mono);
  font-size: 10px;
  padding: 4px 10px;
  background: rgba(0, 229, 255, 0.06);
  color: var(--accent);
  border-bottom: 1px solid var(--border);
  letter-spacing: 1px;
}

.sep { height: 1px; background: var(--border); margin: 4px 0; }

/* ── PROGRESS BAR ── */
.progress-bar-wrap { height: 2px; background: var(--border); margin: 0; }
.progress-bar-fill {
  height: 2px;
  background: var(--accent);
  box-shadow: 0 0 6px var(--accent);
  transition: width 0.3s;
  width: 0%;
}

.formula-box {
  background: var(--formula-bg);
  border: 1px solid var(--border);
  border-radius: 2px;
  padding: 8px 10px;
  font-family: var(--font-mono);
  font-size: 10px;
  color: var(--dim);
  line-height: 1.7;
  margin-top: 4px;
}
.formula-box .hi   { color: var(--accent); }
.formula-box .hi-r { color: var(--danger); }
.formula-box .hi-g { color: var(--safe); }

@media (max-width: 900px) {
  body { height: 100dvh; }

  header {
    padding: 8px 10px;
    gap: 8px;
    min-height: 48px;
  }

  header .logo { font-size: 16px; }
  header .subtitle { font-size: 10px; }
  header .badges { display: none; }

  .main {
    position: relative;
    min-height: 0;
  }

  .left-panel,
  .right-panel {
    position: absolute;
    left: 8px;
    right: 8px;
    width: auto;
    opacity: 1;
    pointer-events: auto;
    border: 1px solid var(--border);
    transform: translateY(0);
    z-index: 30;
    box-shadow: 0 18px 45px rgba(0, 0, 0, 0.45);
    transition: transform 0.24s ease, opacity 0.18s ease;
  }

  .left-panel {
    top: 8px;
    bottom: 45%;
    border-radius: 4px 4px 0 0;
  }

  .right-panel {
    top: 55%;
    bottom: 8px;
    border-radius: 0 0 4px 4px;
  }

  body.panels-collapsed .left-panel {
    width: auto;
    opacity: 0;
    pointer-events: none;
    transform: translateY(calc(100% + 12px));
  }

  body.panels-collapsed .right-panel {
    width: auto;
    opacity: 0;
    pointer-events: none;
    transform: translateY(calc(100% + 12px));
  }

  .section-title {
    padding: 8px 12px 5px;
  }

  .controls {
    padding: 10px 12px;
    gap: 8px;
  }

  .legend {
    padding: 8px 12px;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .stats-grid .stat-cell {
    padding: 7px 9px;
  }

  .stat-val {
    font-size: 18px;
  }

  #log,
  .edge-table,
  .agent-list {
    padding: 7px 10px;
  }

  .panel-toggle-label { display: inline; }

  .panel-toggle,
  .theme-toggle {
    min-height: 30px;
    padding: 5px 8px;
  }

  .panel-toggle {
    margin-left: auto;
  }
}

@media (max-width: 560px) {
  header {
    display: grid;
    grid-template-columns: minmax(0, 1fr) auto auto;
    align-items: center;
  }
  header .subtitle { display: none; }
  header .logo { font-size: 15px; letter-spacing: 1px; }
  .panel-toggle-label,
  .theme-toggle {
    font-size: 10px;
  }
  .legend { grid-template-columns: 1fr; }
  .agent-particle {
    width: 12px;
    height: 12px;
    margin: -6px 0 0 -6px;
  }
}