:root, [data-theme="light"] {
  --color-bg:#eceae4;--color-surface:#f7f6f2;--color-surface-2:#ffffff;--color-surface-offset:#e4e1d8;--color-border:#d2cdc1;
  --color-text:#0b0b0a;--color-text-muted:#5e5a52;--color-text-faint:#908c81;--color-primary:#009944;--color-blue:#0066aa;--color-purple:#b80058;
  --color-green:#228811;--color-red:#cc1133;--color-orange:#b86e00;--shadow-sm:0 2px 4px rgba(0,0,0,0.06);--shadow-md:0 8px 16px rgba(0,0,0,0.08);
  --text-xs:0.75rem;--text-sm:0.82rem;--text-base:0.88rem;--text-lg:1.35rem;--text-xl:1.8rem;--text-2xl:2.8rem;--text-hero:4.5rem;
  --space-1:.25rem;--space-2:.5rem;--space-3:.75rem;--space-4:1rem;--space-5:1.25rem;--space-6:1.5rem;--space-8:2rem;--space-10:2.5rem;--space-12:3rem;--space-16:4rem;--space-20:5rem;
  --radius-sm:0px;--radius-md:0px;--radius-lg:0px;--radius-xl:0px;--radius-full:9999px;
  --font-body:'Space Grotesk', 'Satoshi', sans-serif;--font-display:'Boska', Georgia, serif;--font-mono:'Share Tech Mono', monospace;
}
[data-theme="dark"] {
  --color-bg:#060606;--color-surface:#0c0c0c;--color-surface-2:#121212;--color-surface-offset:#181818;--color-border:#222222;
  --color-text:#f0f0f0;--color-text-muted:#969696;--color-text-faint:#444444;--color-primary:#00ff66;--color-blue:#00f0ff;--color-purple:#ff00bb;
  --color-green:#39ff14;--color-red:#ff3366;--color-orange:#ffd700;--shadow-sm:0 2px 4px rgba(0,0,0,0.6);--shadow-md:0 12px 24px rgba(0,0,0,0.8);
}
*{box-sizing:border-box;margin:0;padding:0}
html{scroll-behavior:smooth}
body{font-family:var(--font-body);font-size:var(--text-base);line-height:1.6;background:radial-gradient(circle at 50% 50%, color-mix(in oklab, var(--color-surface-offset) 60%, var(--color-bg)), var(--color-bg)); color:var(--color-text); min-height:100dvh}
img,svg{display:block;max-width:100%}
button,input,select{font:inherit;color:inherit}
button{cursor:pointer;background:none;border:none}
a{color:inherit;text-decoration:none}
.sr-only{position:absolute;width:1px;height:1px;padding:0;margin:-1px;overflow:hidden;clip:rect(0,0,0,0);white-space:nowrap;border:0}
:focus-visible{outline:2px solid var(--color-primary);outline-offset:3px;border-radius:var(--radius-sm)}

/* Custom premium scrollbar style applied page-wide and to all scrollable elements */
::-webkit-scrollbar {
  width: 8px;
  height: 8px;
}
::-webkit-scrollbar-track {
  background: transparent;
}
::-webkit-scrollbar-thumb {
  background: color-mix(in oklab, var(--color-primary) 25%, transparent);
  border-radius: 99px;
  border: 2px solid transparent;
  background-clip: padding-box;
}
::-webkit-scrollbar-thumb:hover {
  background: color-mix(in oklab, var(--color-primary) 50%, transparent);
  border: 2px solid transparent;
  background-clip: padding-box;
}

/* Firefox scrollbar support */
html, * {
  scrollbar-width: thin;
  scrollbar-color: color-mix(in oklab, var(--color-primary) 25%, transparent) transparent;
}

.shell{display:grid;grid-template-columns:320px 1fr;min-height:100dvh}
.sidebar{position:sticky;top:0;height:100dvh;padding:var(--space-6);border-right:1px solid var(--color-border);background:color-mix(in oklab, var(--color-surface) 95%, transparent);backdrop-filter: blur(18px);overflow:auto}
.brand{display:flex;align-items:center;justify-content:space-between;gap:var(--space-3);margin-bottom:var(--space-6)}
.brand-mark{width:40px;height:40px;border-radius:0;display:grid;place-items:center;background:linear-gradient(135deg, var(--color-primary), var(--color-purple));box-shadow:var(--shadow-sm);border:1px solid var(--color-border)}
.brand-mark svg{width:22px;height:22px;color:#000}
.brand h1{font-family:var(--font-display);font-size:var(--text-xl);font-weight:700;line-height:1;letter-spacing:-0.01em;text-transform:uppercase}
.brand p{font-size:var(--text-xs);font-family:var(--font-mono);color:var(--color-text-muted);text-transform:uppercase;letter-spacing:0.05em;margin-top:2px}
.theme-toggle{width:44px;height:44px;border-radius:0;display:grid;place-items:center;background:var(--color-surface-2);border:1px solid var(--color-border);font-family:var(--font-mono)}

.search{display:flex;gap:var(--space-3);align-items:center;padding:var(--space-3) var(--space-4);background:var(--color-surface-2);border:1px solid var(--color-border);border-radius:0;margin-bottom:var(--space-4)}
.search input{border:none;outline:none;background:transparent;width:100%;font-size:var(--text-sm);font-family:var(--font-body)}
.filter-group{margin-bottom:var(--space-5)}
.filter-group h2{font-size:var(--text-xs);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.12em;color:var(--color-text-muted);margin-bottom:var(--space-3)}
.chips{display:flex;flex-wrap:wrap;gap:var(--space-2)}
.chip{padding:.45rem .75rem;border-radius:0;font-size:var(--text-xs);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:0.04em;background:var(--color-surface-2);border:1px solid var(--color-border);transition:all .15s ease}
.chip.active,.chip:hover{background:var(--color-primary);color:#000;border-color:var(--color-primary);font-weight:700}
.mini-legend{display:grid;gap:var(--space-2);margin-top:var(--space-5);padding:var(--space-4);background:var(--color-surface-2);border:1px solid var(--color-border);border-radius:0}
.legend-item{display:flex;align-items:center;gap:var(--space-2);font-size:var(--text-xs);font-family:var(--font-mono);color:var(--color-text-muted);text-transform:uppercase;letter-spacing:0.02em}
.dot{width:8px;height:8px;border-radius:0}

.main{padding:var(--space-8) clamp(var(--space-4), 4vw, var(--space-10));display:grid;gap:var(--space-8)}
.hero{display:grid;grid-template-columns:1.1fr .9fr;gap:var(--space-8);align-items:end}
.hero-copy h2{font-family:var(--font-display);font-size:var(--text-hero);line-height:.92;max-width:12ch;margin-bottom:var(--space-4);text-transform:uppercase}
.hero-copy p{max-width:60ch;font-size:var(--text-base);color:var(--color-text-muted)}
.hero-panels{display:grid;gap:var(--space-4)}
.panel{padding:var(--space-5);background:var(--color-surface);border:1px solid var(--color-border);border-radius:0;box-shadow:var(--shadow-sm);position:relative;overflow:hidden;padding-top:var(--space-6)}
.panel::before {
  content: "";
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 3px;
  background: repeating-linear-gradient(90deg, var(--color-primary) 0, var(--color-primary) 8px, transparent 8px, transparent 16px);
}
.stats{display:grid;grid-template-columns:repeat(3,1fr);gap:var(--space-4)}
.stat strong{display:block;font-size:var(--text-2xl);font-family:var(--font-mono);color:var(--color-primary);font-weight:700;line-height:1}
.stat span{font-size:var(--text-xs);font-family:var(--font-mono);color:var(--color-text-muted);text-transform:uppercase;letter-spacing:0.08em}

.section-head{display:flex;align-items:end;justify-content:space-between;gap:var(--space-4)}
.section-head h3{font-size:var(--text-xl);font-family:var(--font-body);text-transform:uppercase;letter-spacing:0.08em;font-weight:700}
.section-head p{color:var(--color-text-muted);font-size:var(--text-base);max-width:55ch}

.graph-wrap{padding:var(--space-5);background:var(--color-surface);border:1px solid var(--color-border);border-radius:0;overflow:hidden}
.graph-controls{display:flex;gap:var(--space-2);flex-wrap:wrap;margin-bottom:var(--space-4)}
.toggle{padding:.55rem .8rem;border-radius:0;font-size:var(--text-xs);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:0.05em;background:var(--color-surface-2);border:1px solid var(--color-border);transition:all 0.15s ease}
.toggle.active{background:var(--color-primary);color:#000;border-color:var(--color-primary);font-weight:700}
.graph{position:relative;height:520px;border-radius:0;background-color:var(--color-surface-2);background-image:radial-gradient(var(--color-border) 1px, transparent 1px);background-size:20px 20px;overflow:hidden;border:1px solid var(--color-border)}
.node{position:absolute;transform:translate(-50%,-50%);display:grid;place-items:center;gap:4px;text-align:center;transition:transform .18s ease, opacity .18s ease;cursor:pointer}
.node:hover{transform:translate(-50%,-50%) scale(1.04)}
.node.hidden{opacity:.12;pointer-events:none}
.node-circle{width:70px;height:70px;border-radius:0;border:2px solid var(--color-border);display:grid;place-items:center;color:var(--color-text);font-weight:700;background:var(--color-surface-2);transition:all 0.2s ease;box-shadow:var(--shadow-sm)}
.node-circle span{font-family:var(--font-mono);font-size:1.35rem}
.node.selected .node-circle{background:var(--color-primary) !important;color:#000 !important;border-color:var(--color-primary) !important;box-shadow:0 0 16px var(--color-primary)}
.node-isar-core .node-circle{border:2px dashed var(--color-primary) !important;animation:pulse-border 2s infinite alternate}
@keyframes pulse-border {
  0% { box-shadow: 0 0 4px color-mix(in oklab, var(--color-primary) 30%, transparent); }
  100% { box-shadow: 0 0 16px color-mix(in oklab, var(--color-primary) 85%, transparent); }
}

.node small{font-size:10px;font-family:var(--font-mono);color:var(--color-text-muted);background:var(--color-surface);padding:.1rem .35rem;border:1px solid var(--color-border);text-transform:uppercase;letter-spacing:0.04em}
.edge{position:absolute;height:1.5px;transform-origin:left center;background:linear-gradient(90deg, color-mix(in oklab, var(--color-primary) 35%, transparent), color-mix(in oklab, var(--color-text) 18%, transparent));opacity:.7}

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(min(320px, 100%), 1fr));
  gap: var(--space-4);
  max-height: 380px;
  overflow-y: auto;
  padding: var(--space-4);
  border: 1px solid var(--color-border);
  border-radius: 0;
  background: color-mix(in oklab, var(--color-surface-offset) 45%, transparent);
  box-shadow: inset 0 2px 8px color-mix(in oklab, var(--color-text) 4%, transparent);
}
.card{padding:var(--space-5);background:var(--color-surface);border:1px solid var(--color-border);border-radius:0;display:grid;gap:var(--space-4);box-shadow:var(--shadow-sm);position:relative;overflow:hidden;padding-top:var(--space-6)}
.card::before {
  content: "";
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 3px;
  background: repeating-linear-gradient(90deg, var(--color-purple) 0, var(--color-purple) 8px, transparent 8px, transparent 16px);
}
.card.selected {
  border-color: var(--color-primary) !important;
  box-shadow: 0 0 12px color-mix(in oklab, var(--color-primary) 20%, transparent);
}
.card.selected::before {
  background: var(--color-primary) !important;
}
.card-head{display:flex;justify-content:space-between;align-items:start;gap:var(--space-4)}
.card-head h4{font-size:var(--text-lg);font-family:var(--font-body);text-transform:uppercase;letter-spacing:0.04em}
.badge{padding:.35rem .6rem;border-radius:0;font-size:var(--text-xs);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:.08em;background:color-mix(in oklab, var(--color-primary) 14%, transparent);color:var(--color-primary);border:1px solid color-mix(in oklab, var(--color-primary) 30%, transparent)}
.mono{font-family:var(--font-mono);font-size:var(--text-sm)}
.carrier-grid{display:grid;grid-template-columns:repeat(4,1fr);gap:var(--space-2);font-family:var(--font-mono)}
.carrier{padding:var(--space-3);border-radius:0;text-align:center;font-size:var(--text-xs);background:var(--color-surface-2);border:1px solid var(--color-border)}
.carrier.on{background:color-mix(in oklab, var(--color-green) 16%, var(--color-surface-2));border-color:var(--color-green);color:var(--color-green);font-weight:700}
.rules{display:flex;flex-wrap:wrap;gap:var(--space-2);font-family:var(--font-mono)}
.rule{padding:.35rem .6rem;border-radius:0;font-size:var(--text-xs);background:color-mix(in oklab, var(--color-blue) 14%, var(--color-surface-2));color:var(--color-text);border:1px solid color-mix(in oklab, var(--color-blue) 30%, transparent)}

.detail{display:grid;grid-template-columns:1fr 360px;gap:var(--space-5);align-items:start}
.detail-main{padding:var(--space-6);background:var(--color-surface);border:1px solid var(--color-border);border-radius:0;min-height:440px;position:relative;overflow:hidden;padding-top:var(--space-8)}
.detail-main::before {
  content: "";
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
  height: 3px;
  background: repeating-linear-gradient(90deg, var(--color-blue) 0, var(--color-blue) 8px, transparent 8px, transparent 16px);
}
.detail-empty{display:grid;place-items:center;min-height:360px;color:var(--color-text-muted);text-align:center;font-family:var(--font-body)}
.detail-meta{display:grid;gap:var(--space-4)}
.metric-grid{display:grid;grid-template-columns:repeat(2,1fr);gap:var(--space-3);font-family:var(--font-mono)}
.metric{padding:var(--space-4);background:var(--color-surface-2);border-radius:0;border:1px solid var(--color-border)}
.metric strong{display:block;font-size:var(--text-lg);color:var(--color-primary)}
.metric span{color:var(--color-text-muted);font-size:var(--text-xs);text-transform:uppercase;letter-spacing:0.04em}

.footer-note{padding-bottom:var(--space-8);color:var(--color-text-muted);font-size:var(--text-xs);font-family:var(--font-mono);text-transform:uppercase;letter-spacing:0.05em}

@media (max-width: 1080px){
  .shell{grid-template-columns:1fr}
  .sidebar{position:sticky;top:0;height:auto;border-right:none;border-bottom:1px solid var(--color-border);z-index: 100;}
  .hero,.detail{grid-template-columns:1fr}
  .graph{height:440px}
}
@media (max-width: 640px){
  .main{padding:var(--space-5)}
  .stats{grid-template-columns:1fr}
  .node-circle{width:58px;height:58px;border-radius:0;font-size:12px}
  .graph{height:380px}
}

/* Styles for interactive labs */
.tab-headers {
  display: flex;
  gap: var(--space-4);
  border-bottom: 1px solid var(--color-border);
  margin-bottom: var(--space-5);
  font-family: var(--font-mono);
  text-transform: uppercase;
}
.tab-btn {
  padding: var(--space-2) var(--space-4);
  font-size: var(--text-xs);
  font-weight: 500;
  color: var(--color-text-muted);
  border-bottom: 2px solid transparent;
  transition: all 0.15s ease;
  border-radius: 0;
  letter-spacing: 0.05em;
}
.tab-btn.active {
  color: var(--color-primary);
  border-bottom-color: var(--color-primary);
  font-weight: 700;
}
.lab-container {
  display: grid;
  gap: var(--space-4);
}
.canvas-card {
  position: relative;
  background: var(--color-surface-offset);
  border: 1px solid var(--color-border);
  border-radius: 0;
  overflow: hidden;
  display: grid;
  place-items: center;
  padding: var(--space-4);
}
.canvas-card canvas {
  max-width: 100%;
  border-radius: 0;
}
.controls-grid {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
  gap: var(--space-3);
  padding: var(--space-4);
  background: var(--color-surface-2);
  border: 1px solid var(--color-border);
  border-radius: 0;
  font-family: var(--font-mono);
}
.control-item {
  display: grid;
  gap: 4px;
}
.control-item label {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.05em;
}
.control-item input, .control-item select {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: 0;
  padding: var(--space-2);
  font-size: var(--text-xs);
  color: var(--color-text);
  outline: none;
}
.control-item input[type="range"] {
  padding: 0;
  accent-color: var(--color-primary);
}
.trace-box {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  background: var(--color-surface-offset);
  color: var(--color-primary);
  padding: var(--space-4);
  border-radius: 0;
  border: 1px solid var(--color-border);
  max-height: 180px;
  overflow-y: auto;
  white-space: pre-wrap;
}

.edge {
  transition: opacity 0.4s ease, height 0.3s ease, background 0.3s ease, box-shadow 0.3s ease, left 0.6s cubic-bezier(0.25, 0.8, 0.25, 1), top 0.6s cubic-bezier(0.25, 0.8, 0.25, 1), width 0.6s cubic-bezier(0.25, 0.8, 0.25, 1), transform 0.6s cubic-bezier(0.25, 0.8, 0.25, 1);
}
.edge.hidden {
  opacity: 0 !important;
  pointer-events: none;
}
.node {
  transition: left 0.6s cubic-bezier(0.25, 0.8, 0.25, 1), top 0.6s cubic-bezier(0.25, 0.8, 0.25, 1), transform 0.18s ease, opacity 0.18s ease;
}

.quotient-bubble {
  position: absolute;
  border-radius: 50%;
  border: 2px dashed color-mix(in oklab, var(--color-text) 15%, transparent);
  background: color-mix(in oklab, var(--color-primary) 3%, transparent);
  transform: translate(-50%, -50%);
  pointer-events: none;
  display: grid;
  place-items: center;
  font-size: var(--text-xs);
  font-family: var(--font-mono);
  font-weight: 500;
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.05em;
  opacity: 0;
  transition: opacity 0.5s ease;
}
.quotient-bubble.visible {
  opacity: 0.95;
}

/* --- COLLAPSIBLE SIDEBAR LAYOUT & TRANSITIONS --- */
.sidebar {
  transition: transform 0.35s cubic-bezier(0.25, 0.8, 0.25, 1), width 0.35s cubic-bezier(0.25, 0.8, 0.25, 1), padding 0.35s cubic-bezier(0.25, 0.8, 0.25, 1), border-color 0.35s cubic-bezier(0.25, 0.8, 0.25, 1);
  will-change: transform, width;
}

.sidebar-toggle {
  width: 32px;
  height: 32px;
  border-radius: 50%;
  display: grid;
  place-items: center;
  background: var(--color-surface-2);
  border: 1px solid color-mix(in oklab, var(--color-text) 10%, transparent);
  font-size: 14px;
  transition: background 0.2s ease, border-color 0.2s ease;
}
.sidebar-toggle:hover {
  background: color-mix(in oklab, var(--color-primary) 12%, var(--color-surface-2));
  border-color: color-mix(in oklab, var(--color-primary) 40%, transparent);
}

.sidebar-expand-btn {
  position: fixed;
  top: var(--space-4);
  left: var(--space-4);
  width: 44px;
  height: 44px;
  border-radius: 50%;
  display: grid;
  place-items: center;
  background: var(--color-surface);
  border: 1px solid color-mix(in oklab, var(--color-text) 15%, transparent);
  box-shadow: var(--shadow-md);
  z-index: 999;
  font-size: 18px;
  color: var(--color-primary);
  transition: transform 0.2s ease, background 0.2s ease;
}
.sidebar-expand-btn:hover {
  transform: scale(1.05);
  background: color-mix(in oklab, var(--color-primary) 8%, var(--color-surface));
}

.sidebar-overlay {
  position: fixed;
  top: 0;
  left: 0;
  width: 100vw;
  height: 100vh;
  background: rgba(0, 0, 0, 0.5);
  backdrop-filter: blur(4px);
  z-index: 999;
  opacity: 0;
  pointer-events: none;
  transition: opacity 0.3s ease;
}
.sidebar-overlay.active {
  opacity: 1;
  pointer-events: auto;
}

.shell {
  transition: grid-template-columns 0.35s cubic-bezier(0.25, 0.8, 0.25, 1);
  will-change: grid-template-columns;
}

.shell.sidebar-collapsed {
  grid-template-columns: 0px 1fr !important;
}

.shell.sidebar-collapsed .sidebar {
  width: 0 !important;
  padding: var(--space-6) 0 !important;
  overflow: hidden;
  border-right-color: transparent !important;
  pointer-events: none;
}

/* --- MOBILE COLLAPSIBLE DRAWER --- */
@media (max-width: 1080px) {
  .shell {
    grid-template-columns: 1fr !important;
  }
  .sidebar {
    position: fixed !important;
    top: 0 !important;
    left: 0 !important;
    width: 320px !important;
    height: 100dvh !important;
    z-index: 1000 !important;
    border-right: 1px solid var(--color-border) !important;
    border-bottom: none !important;
    transform: translateX(0) !important;
    box-shadow: var(--shadow-md);
  }
  .shell.sidebar-collapsed .sidebar {
    transform: translateX(-100%) !important;
    width: 320px !important;
    padding: var(--space-6) !important;
  }
}

/* --- ZOOMABLE VIEWPORT STYLES --- */
.graph-viewport {
  transition: transform 0.1s ease-out;
  transform-origin: 0 0;
}