@import url('https://fonts.googleapis.com/css2?family=Inter:wght@300;400;500;600;700;800;900&family=IBM+Plex+Mono:wght@400;500;600;700&display=swap');

/* ═══════════════════════════════════════════════════════════
   DESIGN TOKENS — "Data Dashboard" aesthetic
   ═══════════════════════════════════════════════════════════ */
:root {
  --primary: #0000C4;
  --primary-soft: #3333d8;
  --primary-10: rgba(0,0,196,0.06);
  --primary-20: rgba(0,0,196,0.12);
  --primary-30: rgba(0,0,196,0.20);
  --grid-line: rgba(0,0,196,0.05);

  --gray-50: #f6f8fc;
  --gray-100: #eef1f7;
  --gray-200: #dde2ec;
  --gray-300: #aab2c5;
  --gray-400: #727c92;
  --gray-500: #515a72;
  --gray-700: #2a3145;
  --gray-900: #0f1320;
  --white: #ffffff;
  --panel: #ffffff;

  --accent-warm: #D20F39;

  /* chart palette */
  --c-blue: #0000C4;
  --c-teal: #0d9488;
  --c-green: #16a34a;
  --c-amber: #d97706;
  --c-purple: #7c3aed;
  --c-red: #dc2626;
  --c-cyan: #0891b2;

  --shadow-sm: 0 1px 2px rgba(15,19,32,0.04), 0 1px 3px rgba(15,19,32,0.06);
  --shadow-md: 0 4px 14px rgba(15,19,32,0.06), 0 2px 6px rgba(15,19,32,0.04);
  --shadow-lg: 0 12px 40px rgba(0,0,196,0.08);
}
[data-theme="dark"] {
  --primary: #60a5fa;
  --primary-soft: #93c5fd;
  --primary-10: rgba(96,165,250,0.07);
  --primary-20: rgba(96,165,250,0.14);
  --primary-30: rgba(96,165,250,0.24);
  --grid-line: rgba(96,165,250,0.06);

  --gray-50: #0f1017;
  --gray-100: #161822;
  --gray-200: #262a38;
  --gray-300: #4a5064;
  --gray-400: #8a92a8;
  --gray-500: #9aa2b8;
  --gray-700: #cdd3e0;
  --gray-900: #eef1f7;
  --white: #0a0b11;
  --panel: #12141d;

  --accent-warm: #f87171;

  --c-blue: #60a5fa;
  --c-teal: #2dd4bf;
  --c-green: #4ade80;
  --c-amber: #fbbf24;
  --c-purple: #a78bfa;
  --c-red: #f87171;
  --c-cyan: #22d3ee;

  --shadow-sm: 0 1px 2px rgba(0,0,0,0.3);
  --shadow-md: 0 4px 14px rgba(0,0,0,0.4);
  --shadow-lg: 0 12px 40px rgba(0,0,0,0.5);
}

* { margin: 0; padding: 0; box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  font-family: 'Inter', -apple-system, sans-serif;
  color: var(--gray-700); background: var(--white);
  line-height: 1.6; -webkit-font-smoothing: antialiased;
}
a { color: var(--primary); text-decoration: none; }
a:hover { text-decoration: underline; }

/* ═══════════ TOP NAV ═══════════ */
.topnav {
  position: fixed; top: 0; left: 0; right: 0; z-index: 50;
  display: flex; align-items: center; justify-content: space-between;
  padding: 0.6rem 2rem;
  background: color-mix(in srgb, var(--white) 82%, transparent);
  backdrop-filter: blur(14px);
  border-bottom: 1px solid var(--gray-100);
  transition: background 0.3s;
}
.nav-back {
  font-size: 0.82rem; font-weight: 500; color: var(--gray-400);
  display: flex; align-items: center; gap: 0.4rem;
}
.nav-back:hover { color: var(--primary); text-decoration: none; }
.nav-title {
  font-size: 0.82rem; font-weight: 700; color: var(--gray-900);
  letter-spacing: -0.2px; display: flex; align-items: center; gap: 0.5rem;
}
.nav-title::before {
  content: ''; width: 8px; height: 8px; border-radius: 2px;
  background: var(--primary); box-shadow: 0 0 0 3px var(--primary-20);
}
.nav-right { display: flex; align-items: center; gap: 1rem; }
.nav-links { display: flex; gap: 0.4rem; }
.nav-link {
  font-size: 0.72rem; font-weight: 500; color: var(--gray-400);
  padding: 0.3rem 0.7rem; border-radius: 6px; transition: all 0.15s;
}
.nav-link:hover, .nav-link.active {
  color: var(--primary); background: var(--primary-10); text-decoration: none;
}
.theme-btn {
  font-size: 0.75rem; font-weight: 600; color: var(--primary);
  background: var(--primary-10); border: 1.5px solid var(--primary-30);
  padding: 0.3rem 0.8rem; border-radius: 20px; cursor: pointer;
  transition: all 0.3s; font-family: inherit;
}
.theme-btn:hover { opacity: 0.85; transform: scale(1.05); }

/* ═══════════ HERO ═══════════ */
.hero {
  min-height: 78vh; display: flex; align-items: center; justify-content: center;
  position: relative; overflow: hidden; margin-top: 46px;
  background:
    radial-gradient(circle at 15% 20%, var(--primary-10), transparent 45%),
    radial-gradient(circle at 85% 80%, var(--primary-10), transparent 45%),
    linear-gradient(160deg, var(--gray-50) 0%, var(--white) 55%, var(--gray-50) 100%);
}
.hero-grid {
  position: absolute; inset: 0; pointer-events: none;
  background-image:
    linear-gradient(var(--grid-line) 1px, transparent 1px),
    linear-gradient(90deg, var(--grid-line) 1px, transparent 1px);
  background-size: 44px 44px;
  mask-image: radial-gradient(ellipse 80% 70% at 50% 45%, #000 40%, transparent 100%);
  -webkit-mask-image: radial-gradient(ellipse 80% 70% at 50% 45%, #000 40%, transparent 100%);
}
.hero-canvas { position: absolute; inset: 0; width: 100%; height: 100%; pointer-events: none; }
.hero-inner { text-align: center; position: relative; z-index: 2; max-width: 760px; padding: 2rem; }
.hero-badge {
  display: inline-flex; align-items: center; gap: 0.5rem;
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.7rem; font-weight: 600; text-transform: uppercase; letter-spacing: 1.5px;
  color: var(--primary); padding: 0.4rem 1rem; border-radius: 20px;
  background: var(--primary-10); border: 1px solid var(--primary-20);
  margin-bottom: 1.5rem;
}
.hero-badge .live-dot {
  width: 7px; height: 7px; border-radius: 50%; background: var(--c-green);
  box-shadow: 0 0 0 0 rgba(22,163,74,0.5); animation: livePulse 1.8s infinite;
}
@keyframes livePulse {
  0% { box-shadow: 0 0 0 0 rgba(22,163,74,0.45); }
  70% { box-shadow: 0 0 0 7px rgba(22,163,74,0); }
  100% { box-shadow: 0 0 0 0 rgba(22,163,74,0); }
}
.hero h1 {
  font-size: 3.2rem; font-weight: 900; letter-spacing: -1.8px;
  line-height: 1.08; color: var(--gray-900); margin-bottom: 1rem;
}
.hero h1 .hl {
  background: linear-gradient(120deg, var(--primary), var(--c-cyan));
  -webkit-background-clip: text; background-clip: text; -webkit-text-fill-color: transparent;
}
.hero-sub { font-size: 1.12rem; color: var(--gray-500); max-width: 560px; margin: 0 auto 2.4rem; }

.hero-stats {
  display: flex; gap: 1rem; justify-content: center; flex-wrap: wrap;
}
.hero-stat {
  background: var(--panel); border: 1px solid var(--gray-200);
  border-radius: 14px; padding: 1.1rem 1.6rem; min-width: 140px;
  box-shadow: var(--shadow-sm); position: relative; overflow: hidden;
}
.hero-stat::after {
  content: ''; position: absolute; left: 0; top: 0; bottom: 0; width: 3px;
  background: linear-gradient(var(--primary), var(--c-cyan));
}
.hero-stat-num {
  font-size: 2.1rem; font-weight: 800; color: var(--gray-900);
  font-family: 'IBM Plex Mono', monospace; letter-spacing: -1px; line-height: 1;
}
.hero-stat-label {
  font-size: 0.68rem; color: var(--gray-400); text-transform: uppercase;
  letter-spacing: 0.5px; margin-top: 0.4rem; font-weight: 600;
}
.hero-scroll {
  position: absolute; bottom: 1.6rem; left: 50%; transform: translateX(-50%);
  font-size: 0.7rem; color: var(--gray-400); display: flex; flex-direction: column;
  align-items: center; gap: 0.3rem; animation: pulse 2s ease-in-out infinite; z-index: 2;
}
@keyframes pulse {
  0%,100% { opacity: 0.5; transform: translateX(-50%) translateY(0); }
  50% { opacity: 1; transform: translateX(-50%) translateY(4px); }
}

/* ═══════════ SHOWCASE SECTION ═══════════ */
.showcase {
  padding: 5rem 2rem; border-bottom: 1px solid var(--gray-100);
  position: relative; overflow: hidden;
}
.showcase.alt { background: var(--gray-50); }
.showcase-inner { max-width: 1000px; margin: 0 auto; }

.sc-eyebrow {
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.65rem; font-weight: 600; letter-spacing: 2px;
  text-transform: uppercase; color: var(--primary); margin-bottom: 0.5rem;
  display: flex; align-items: center; gap: 0.5rem;
}
.sc-eyebrow::before {
  content: ''; width: 18px; height: 2px; background: var(--primary); border-radius: 1px;
}
.sc-venue {
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.7rem; font-weight: 600; padding: 3px 10px;
  border-radius: 5px; background: var(--primary-10); color: var(--primary);
  display: inline-block; margin-bottom: 0.75rem; border: 1px solid var(--primary-20);
}
.sc-title {
  font-size: 1.7rem; font-weight: 800; letter-spacing: -0.5px;
  color: var(--gray-900); line-height: 1.22; margin-bottom: 0.5rem;
}
.sc-authors { font-size: 0.82rem; color: var(--gray-500); margin-bottom: 0.3rem; line-height: 1.55; }
.sc-authors .me { color: var(--accent-warm); font-weight: 700; }
.sc-desc { font-size: 0.9rem; color: var(--gray-500); margin-bottom: 1.5rem; max-width: 640px; }
.sc-links { display: flex; gap: 6px; margin-bottom: 2.4rem; flex-wrap: wrap; }
.sc-link {
  font-size: 0.72rem; font-weight: 600; padding: 0.35rem 1rem;
  border-radius: 6px; border: 1.5px solid var(--gray-200);
  color: var(--primary); background: var(--panel); transition: all 0.2s;
}
.sc-link:hover { border-color: var(--primary); text-decoration: none; box-shadow: var(--shadow-sm); }

/* Generic dashboard card / panel */
.dash-card {
  background: var(--panel); border: 1px solid var(--gray-200);
  border-radius: 16px; padding: 1.5rem; box-shadow: var(--shadow-sm);
}
.dash-head {
  display: flex; align-items: center; justify-content: space-between;
  margin-bottom: 1.2rem; flex-wrap: wrap; gap: 0.5rem;
}
.dash-head-title {
  font-size: 0.8rem; font-weight: 700; color: var(--gray-900);
  text-transform: uppercase; letter-spacing: 0.5px;
  display: flex; align-items: center; gap: 0.5rem;
}
.dash-head-title .swatch { width: 10px; height: 10px; border-radius: 3px; }
.dash-head-note {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.66rem;
  color: var(--gray-400); background: var(--gray-50);
  padding: 3px 9px; border-radius: 20px; border: 1px solid var(--gray-200);
}

/* ═══════════ STAT TILES (count-up) ═══════════ */
.stat-grid {
  display: grid; grid-template-columns: repeat(3, 1fr); gap: 1rem; margin-bottom: 1.6rem;
}
.stat-tile {
  background: var(--panel); border: 1px solid var(--gray-200);
  border-radius: 16px; padding: 1.5rem 1.4rem; position: relative; overflow: hidden;
  box-shadow: var(--shadow-sm); transition: transform 0.3s, box-shadow 0.3s;
}
.stat-tile:hover { transform: translateY(-3px); box-shadow: var(--shadow-md); }
.stat-tile::before {
  content: ''; position: absolute; inset: 0;
  background: radial-gradient(circle at 100% 0%, var(--primary-10), transparent 60%);
  pointer-events: none;
}
.stat-tile-icon {
  width: 38px; height: 38px; border-radius: 10px; display: flex;
  align-items: center; justify-content: center; font-size: 1.1rem;
  background: var(--primary-10); margin-bottom: 0.9rem;
}
.stat-tile-num {
  font-family: 'IBM Plex Mono', monospace; font-size: 2.6rem; font-weight: 700;
  color: var(--gray-900); letter-spacing: -1.5px; line-height: 1;
}
.stat-tile-num .unit { font-size: 1.2rem; color: var(--primary); margin-left: 2px; }
.stat-tile-label {
  font-size: 0.78rem; font-weight: 600; color: var(--gray-700); margin-top: 0.5rem;
}
.stat-tile-sub { font-size: 0.7rem; color: var(--gray-400); margin-top: 0.15rem; }

/* Category mini bars (survey breakdown) */
.cat-bars { display: grid; gap: 0.85rem; }
.cat-row { display: grid; grid-template-columns: 150px 1fr 46px; align-items: center; gap: 0.9rem; }
.cat-name { font-size: 0.76rem; font-weight: 600; color: var(--gray-700); }
.cat-track {
  height: 12px; border-radius: 6px; background: var(--gray-100); overflow: hidden;
  position: relative;
}
.cat-fill {
  height: 100%; width: 0; border-radius: 6px;
  background: linear-gradient(90deg, var(--primary), var(--c-cyan));
  transition: width 1.2s cubic-bezier(0.22, 1, 0.36, 1);
}
.cat-val {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.76rem; font-weight: 600;
  color: var(--gray-500); text-align: right;
}
/* 3R principle rows (survey) carry a word, not a number — widen the value column */
#catBars .cat-row { grid-template-columns: 150px 1fr 110px; }
#catBars .cat-val { text-align: left; }

/* Timeline vertical bars */
.timeline-chart {
  display: flex; align-items: flex-end; gap: 0.7rem; height: 180px;
  padding: 1.2rem 0.4rem 0; margin-top: 0.4rem;
  border-bottom: 2px solid var(--gray-200);
}
.tl-col { flex: 1; display: flex; flex-direction: column; align-items: center; justify-content: flex-end; height: 100%; gap: 0.5rem; }
.tl-bar {
  width: 100%; max-width: 46px; height: 0; border-radius: 6px 6px 0 0;
  background: linear-gradient(var(--primary), var(--primary-soft));
  transition: height 1s cubic-bezier(0.22, 1, 0.36, 1);
  position: relative; opacity: 0.9;
}
.tl-bar .tl-count {
  position: absolute; top: -18px; left: 50%; transform: translateX(-50%);
  font-family: 'IBM Plex Mono', monospace; font-size: 0.68rem; font-weight: 600;
  color: var(--gray-500); opacity: 0; transition: opacity 0.4s 0.6s;
}
.tl-bar.grown .tl-count { opacity: 1; }
.tl-year { font-family: 'IBM Plex Mono', monospace; font-size: 0.66rem; color: var(--gray-400); font-weight: 600; }
.tl-caption { margin-top: 1rem; font-size: 0.74rem; color: var(--gray-500); text-align: center; line-height: 1.5; }

/* ═══════════ LANGUAGE GRID (CruxEval-X) ═══════════ */
.lang-grid {
  display: grid; grid-template-columns: repeat(auto-fill, minmax(96px, 1fr));
  gap: 0.6rem; margin-bottom: 1.6rem;
}
.lang-chip {
  display: flex; align-items: center; gap: 0.45rem;
  padding: 0.55rem 0.7rem; border-radius: 10px;
  background: var(--gray-50); border: 1px solid var(--gray-200);
  font-size: 0.74rem; font-weight: 600; color: var(--gray-500);
  opacity: 0; transform: scale(0.9); transition: all 0.35s cubic-bezier(0.22, 1, 0.36, 1);
}
.lang-chip.on { opacity: 1; transform: scale(1); color: var(--gray-700); border-color: var(--primary-20); }
.lang-check {
  width: 16px; height: 16px; border-radius: 50%; flex-shrink: 0;
  background: var(--gray-200); color: transparent;
  display: flex; align-items: center; justify-content: center;
  font-size: 0.6rem; font-weight: 700; transition: all 0.3s 0.15s;
}
.lang-chip.on .lang-check { background: var(--c-green); color: #fff; }

/* Model bar chart (shared with leaderboard bars) */
.bar-chart { display: grid; gap: 0.9rem; }
.bar-row {
  display: grid; grid-template-columns: 120px 1fr 54px; align-items: center; gap: 0.9rem;
}
.bar-model { font-size: 0.78rem; font-weight: 600; color: var(--gray-700); display: flex; align-items: center; gap: 0.4rem; }
.bar-model .mdot { width: 9px; height: 9px; border-radius: 50%; flex-shrink: 0; }
.bar-track { height: 22px; border-radius: 7px; background: var(--gray-100); overflow: hidden; position: relative; }
.bar-fill {
  height: 100%; width: 0; border-radius: 7px;
  transition: width 1.3s cubic-bezier(0.22, 1, 0.36, 1);
  display: flex; align-items: center; justify-content: flex-end;
}
.bar-val {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.8rem; font-weight: 700;
  color: var(--gray-900); text-align: right;
}

/* ═══════════ SWE-ABS DEFLATION (before/after) ═══════════ */
.deflate-toggle {
  display: inline-flex; background: var(--gray-100); border-radius: 10px;
  padding: 4px; gap: 4px; margin-bottom: 1.4rem; border: 1px solid var(--gray-200);
}
.deflate-toggle button {
  font-family: inherit; font-size: 0.74rem; font-weight: 600; cursor: pointer;
  padding: 0.4rem 1rem; border-radius: 7px; border: none; background: transparent;
  color: var(--gray-500); transition: all 0.25s;
}
.deflate-toggle button.active { background: var(--panel); color: var(--gray-900); box-shadow: var(--shadow-sm); }
.deflate-chart { display: grid; gap: 1.1rem; }
.deflate-row { display: grid; grid-template-columns: 130px 1fr; align-items: center; gap: 1rem; }
.deflate-name { font-size: 0.78rem; font-weight: 600; color: var(--gray-700); }
.deflate-barwrap { position: relative; }
.deflate-track { height: 30px; border-radius: 8px; background: var(--gray-100); overflow: hidden; position: relative; }
.deflate-fill {
  height: 100%; border-radius: 8px; width: 0;
  transition: width 1.1s cubic-bezier(0.34, 1.2, 0.4, 1), background 0.5s;
  display: flex; align-items: center; justify-content: flex-end;
}
.deflate-fill.inflated { background: linear-gradient(90deg, rgba(22,163,74,0.7), var(--c-green)); }
.deflate-fill.real { background: linear-gradient(90deg, rgba(220,38,38,0.6), var(--c-red)); }
.deflate-tag {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.72rem; font-weight: 700;
  color: #fff; padding-right: 10px; white-space: nowrap;
}
.deflate-ghost {
  position: absolute; top: 0; bottom: 0; border-right: 2px dashed var(--gray-300);
  opacity: 0; transition: opacity 0.5s; pointer-events: none;
}
.deflate-ghost.show { opacity: 1; }
.deflate-ghost::after {
  content: 'inflated'; position: absolute; top: -16px; right: -4px;
  font-family: 'IBM Plex Mono', monospace; font-size: 0.58rem; color: var(--gray-400);
}
.deflate-summary {
  margin-top: 1.4rem; display: flex; gap: 1rem; flex-wrap: wrap;
  padding: 1rem 1.2rem; border-radius: 12px;
  background: var(--gray-50); border: 1px dashed var(--gray-200);
}
.deflate-summary .ds-item { display: flex; flex-direction: column; gap: 2px; }
.deflate-summary .ds-num {
  font-family: 'IBM Plex Mono', monospace; font-size: 1.3rem; font-weight: 700;
}
.deflate-summary .ds-num.down { color: var(--c-red); }
.deflate-summary .ds-label { font-size: 0.68rem; color: var(--gray-400); text-transform: uppercase; letter-spacing: 0.5px; }

/* ═══════════ JAVABENCH LEADERBOARD ═══════════ */
.oop-tags { display: flex; gap: 0.5rem; flex-wrap: wrap; margin-bottom: 1.4rem; }
.oop-tag {
  font-size: 0.72rem; font-weight: 600; padding: 0.35rem 0.8rem; border-radius: 20px;
  background: var(--primary-10); color: var(--primary); border: 1px solid var(--primary-20);
  opacity: 0; transform: translateY(8px); transition: all 0.4s;
}
.oop-tag.on { opacity: 1; transform: translateY(0); }
.oop-tag::before { content: '\25C6'; margin-right: 5px; font-size: 0.6rem; opacity: 0.6; }

.leaderboard { display: flex; flex-direction: column; gap: 0.5rem; }
.lb-head {
  display: grid; grid-template-columns: 48px 1fr 120px 60px; gap: 1rem;
  padding: 0 1rem 0.4rem; font-size: 0.64rem; font-weight: 700;
  text-transform: uppercase; letter-spacing: 0.8px; color: var(--gray-400);
}
.lb-row {
  display: grid; grid-template-columns: 48px 1fr 120px 60px; gap: 1rem; align-items: center;
  padding: 0.75rem 1rem; border-radius: 12px;
  background: var(--panel); border: 1px solid var(--gray-200);
  opacity: 0; transform: translateX(-24px); transition: all 0.5s cubic-bezier(0.22, 1, 0.36, 1);
  box-shadow: var(--shadow-sm);
}
.lb-row.on { opacity: 1; transform: translateX(0); }
.lb-row.top { border-color: var(--primary-30); background: linear-gradient(90deg, var(--primary-10), var(--panel) 60%); }
.lb-rank {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.9rem; font-weight: 700;
  width: 34px; height: 34px; border-radius: 9px; display: flex;
  align-items: center; justify-content: center;
  background: var(--gray-100); color: var(--gray-500);
}
.lb-row.top .lb-rank { background: linear-gradient(135deg, var(--primary), var(--c-cyan)); color: #fff; }
.lb-rank.medal-2 { background: color-mix(in srgb, var(--gray-300) 55%, var(--gray-100)); color: var(--gray-700); }
.lb-rank.medal-3 { background: color-mix(in srgb, var(--c-amber) 22%, var(--gray-100)); color: var(--c-amber); }
.lb-model-name { font-size: 0.86rem; font-weight: 700; color: var(--gray-900); }
.lb-model-sub { font-size: 0.68rem; color: var(--gray-400); }
.lb-bar-track { height: 8px; border-radius: 5px; background: var(--gray-100); overflow: hidden; }
.lb-bar-fill {
  height: 100%; width: 0; border-radius: 5px;
  background: linear-gradient(90deg, var(--primary), var(--c-cyan));
  transition: width 1s cubic-bezier(0.22, 1, 0.36, 1);
}
.lb-score {
  font-family: 'IBM Plex Mono', monospace; font-size: 0.92rem; font-weight: 700;
  color: var(--gray-900); text-align: right;
}

/* ═══════════ ALL PAPERS ═══════════ */
.papers-sec { padding: 4rem 2rem; background: var(--gray-50); }
.papers-inner { max-width: 1000px; margin: 0 auto; }
.papers-sec-title {
  font-size: 1.15rem; font-weight: 800; color: var(--gray-900);
  margin-bottom: 1.2rem; display: flex; align-items: center; gap: 0.6rem;
}
.papers-sec-bar { width: 4px; height: 22px; border-radius: 2px; background: var(--primary); }
.mini-card {
  display: flex; gap: 12px; padding: 12px 14px; border-radius: 10px;
  background: var(--panel); border: 1px solid var(--gray-200); margin-bottom: 7px;
  transition: all 0.2s;
}
.mini-card:hover { border-color: var(--primary-30); box-shadow: var(--shadow-sm); transform: translateX(3px); }
.mini-venue {
  font-family: 'IBM Plex Mono', monospace;
  font-size: 0.62rem; font-weight: 700; color: var(--primary);
  min-width: 74px; flex-shrink: 0; padding-top: 3px;
}
.mini-title { font-size: 0.84rem; font-weight: 600; color: var(--gray-900); line-height: 1.4; }
.mini-award { font-size: 0.66rem; font-weight: 700; color: var(--c-amber); margin-bottom: 2px; }
.mini-authors { font-size: 0.72rem; color: var(--gray-500); margin-top: 1px; }
.mini-authors .me { color: var(--accent-warm); font-weight: 700; }
.mini-links { display: flex; gap: 4px; margin-top: 5px; flex-wrap: wrap; }
.mini-link {
  font-size: 0.62rem; color: var(--primary); padding: 2px 8px; border-radius: 5px;
  background: var(--gray-50); border: 1px solid var(--gray-200); transition: all 0.15s;
}
.mini-link:hover { border-color: var(--primary); text-decoration: none; }

/* ═══════════ FOOTER ═══════════ */
.footer {
  padding: 1.6rem 2rem; border-top: 1px solid var(--gray-100);
  font-size: 0.75rem; color: var(--gray-400); text-align: center;
}

/* ═══════════ GSAP TARGETS ═══════════ */
.gsap-fade { opacity: 0; transform: translateY(24px); }

/* ═══════════ TAKEAWAY + COMPACT ANIMATIONS ═══════════ */
.sc-takeaway {
  margin-top: 1rem; padding: 0.8rem 1.2rem; border-radius: 10px;
  background: linear-gradient(135deg, var(--primary-10), var(--gray-50));
  border-left: 3px solid var(--primary);
  font-size: 0.82rem; color: var(--gray-700); line-height: 1.5;
  display: flex; align-items: flex-start; gap: 0.6rem;
  transition: transform 0.2s, box-shadow 0.2s;
}
.sc-takeaway:hover { transform: translateX(4px); box-shadow: var(--shadow-sm); }
.takeaway-icon { font-size: 1.1rem; flex-shrink: 0; }
.sc-award { font-size: 0.72rem; font-weight: 700; color: var(--c-amber); display: block; margin-bottom: 0.3rem; }

.compact-anim {
  margin-top: 1.4rem; padding: 1.2rem; border-radius: 12px;
  background: var(--panel); border: 1px solid var(--gray-200);
  min-height: 80px; overflow: hidden;
}

/* Domain pills (DomainEval) */
.domain-pills { display: flex; flex-wrap: wrap; gap: 0.5rem; }
.domain-pill {
  padding: 0.5rem 1rem; border-radius: 20px; font-size: 0.76rem; font-weight: 600;
  background: var(--gray-100); border: 1px solid var(--gray-200); color: var(--gray-500);
  opacity: 0; transform: scale(0.8); transition: all 0.4s cubic-bezier(0.22, 1, 0.36, 1);
  cursor: default;
}
.domain-pill.on { opacity: 1; transform: scale(1); color: var(--gray-700); border-color: var(--c-green); background: rgba(22,163,74,0.08); }
.domain-pill.on.weak { border-color: var(--c-red); background: rgba(220,38,38,0.08); color: var(--c-red); }
.domain-pill:hover { transform: scale(1.08); }

/* Path indicators (PathEval) */
.path-indicators { display: flex; flex-direction: column; gap: 0.6rem; }
.path-row {
  display: flex; align-items: center; gap: 0.8rem; padding: 0.5rem 0.8rem;
  border-radius: 8px; background: var(--gray-50); border: 1px solid var(--gray-200);
  opacity: 0; transform: translateX(-20px); transition: all 0.5s cubic-bezier(0.22, 1, 0.36, 1);
  cursor: default;
}
.path-row.on { opacity: 1; transform: translateX(0); }
.path-row:hover { transform: translateX(4px); }
.path-dot { width: 10px; height: 10px; border-radius: 50%; flex-shrink: 0; background: var(--gray-300); transition: background 0.3s; }
.path-row.on .path-dot.green { background: var(--c-green); }
.path-row.on .path-dot.amber { background: var(--c-amber); }
.path-row.on .path-dot.red { background: var(--c-red); }
.path-label { font-size: 0.78rem; font-weight: 600; color: var(--gray-700); }
.path-status { font-size: 0.68rem; font-weight: 700; margin-left: auto; }

/* Mini pipeline (CodeCleaner) */
.mini-pipe { display: flex; align-items: center; gap: 0.5rem; flex-wrap: wrap; margin-bottom: 1rem; }
.mini-pipe-stage {
  padding: 0.5rem 0.9rem; border-radius: 8px; font-size: 0.74rem; font-weight: 600;
  background: var(--gray-100); border: 1px solid var(--gray-200); color: var(--gray-500);
  opacity: 0; transition: all 0.4s; cursor: default;
}
.mini-pipe-stage.on { opacity: 1; background: var(--primary-10); border-color: var(--primary-20); color: var(--primary); }
.mini-pipe-stage:hover { transform: scale(1.05); }
.mini-pipe-sep { color: var(--gray-300); font-weight: 700; opacity: 0; transition: opacity 0.3s; }
.mini-pipe-sep.on { opacity: 1; }
.mini-progress { height: 8px; border-radius: 4px; background: var(--gray-100); overflow: hidden; }
.mini-progress-fill { height: 100%; width: 0; border-radius: 4px; background: linear-gradient(90deg, var(--c-green), var(--c-teal)); transition: width 1.2s cubic-bezier(0.22, 1, 0.36, 1); }
.mini-progress-label { font-size: 0.72rem; font-weight: 600; color: var(--gray-500); margin-top: 0.4rem; }

/* Comparison bars (Data Contamination) */
.compare-bars { display: flex; flex-direction: column; gap: 1rem; }
.compare-row { display: flex; align-items: center; gap: 0.8rem; }
.compare-label { font-size: 0.74rem; font-weight: 600; color: var(--gray-700); min-width: 100px; }
.compare-track { flex: 1; height: 24px; border-radius: 6px; background: var(--gray-100); overflow: hidden; position: relative; }
.compare-fill { height: 100%; border-radius: 6px; width: 0; transition: width 1s cubic-bezier(0.22, 1, 0.36, 1); }
.compare-fill.expected { background: var(--c-green); }
.compare-fill.actual { background: var(--c-amber); }
.compare-val { font-family: 'IBM Plex Mono', monospace; font-size: 0.78rem; font-weight: 700; min-width: 40px; }
.compare-warning { font-size: 0.72rem; color: var(--c-amber); font-weight: 600; margin-top: 0.5rem; display: flex; align-items: center; gap: 0.4rem; opacity: 0; transition: opacity 0.5s; }
.compare-warning.on { opacity: 1; }

/* Split diagram (PseudoEval) */
.split-diagram { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; }
.split-side {
  padding: 1rem; border-radius: 10px; text-align: center;
  background: var(--gray-50); border: 1px solid var(--gray-200);
  opacity: 0; transform: translateY(12px); transition: all 0.5s; cursor: default;
}
.split-side.on { opacity: 1; transform: translateY(0); }
.split-side:hover { transform: translateY(-3px); box-shadow: var(--shadow-sm); }
.split-label { font-size: 0.72rem; font-weight: 700; color: var(--gray-400); text-transform: uppercase; letter-spacing: 0.5px; margin-bottom: 0.5rem; }
.split-lang { font-size: 1.1rem; font-weight: 800; color: var(--primary); margin-bottom: 0.3rem; }
.split-note { font-size: 0.7rem; color: var(--gray-500); }

/* Feedback loop (FeedbackEval) */
.feedback-loop { display: flex; align-items: center; gap: 0.5rem; flex-wrap: wrap; justify-content: center; }
.fb-node {
  padding: 0.5rem 0.9rem; border-radius: 20px; font-size: 0.74rem; font-weight: 600;
  background: var(--gray-100); border: 1px solid var(--gray-200); color: var(--gray-500);
  opacity: 0; transform: scale(0.8); transition: all 0.4s; cursor: default;
}
.fb-node.on { opacity: 1; transform: scale(1); border-color: var(--primary-20); color: var(--primary); background: var(--primary-10); }
.fb-node.success { border-color: var(--c-green); color: var(--c-green); background: rgba(22,163,74,0.08); }
.fb-node:hover { transform: scale(1.08); }
.fb-arrow { color: var(--gray-300); font-weight: 700; opacity: 0; transition: opacity 0.3s; }
.fb-arrow.on { opacity: 1; }
.fb-rate { margin-top: 1rem; font-family: 'IBM Plex Mono', monospace; font-size: 1.4rem; font-weight: 700; color: var(--c-green); text-align: center; opacity: 0; transition: opacity 0.5s; }
.fb-rate.on { opacity: 1; }

/* ═══════════ INTERACTIVITY ═══════════ */
.stat-tile { transition: transform 0.25s, box-shadow 0.25s; cursor: default; }
.stat-tile:hover { transform: translateY(-4px) scale(1.02); box-shadow: var(--shadow-lg); }
.stat-tile:active { transform: translateY(-1px) scale(0.98); }

.lang-chip.on { cursor: pointer; }
.lang-chip.on:hover { transform: scale(1.08); border-color: var(--c-green); box-shadow: 0 0 12px rgba(22,163,74,0.2); }
.lang-chip.on:active { transform: scale(0.95); }

.oop-tag.on { cursor: pointer; }
.oop-tag.on:hover { transform: translateY(-3px) scale(1.06); box-shadow: 0 4px 12px var(--primary-20); }
.oop-tag.on:active { transform: scale(0.92); }

.deflate-toggle button { transition: all 0.25s; }
.deflate-toggle button:hover:not(.active) { background: var(--primary-10); color: var(--gray-700); transform: scale(1.04); }
.deflate-toggle button:active { transform: scale(0.95); }

.lb-row.on { cursor: default; }
.lb-row.on:hover { transform: translateX(6px) scale(1.01); box-shadow: var(--shadow-md); border-color: var(--primary-30); }

.tl-bar { cursor: default; }
.tl-bar:hover { opacity: 1; filter: brightness(1.15); }

.sc-link { transition: all 0.2s; }
.sc-link:hover { transform: translateY(-2px); box-shadow: 0 4px 10px var(--primary-20); text-decoration: none; }
.sc-link:active { transform: translateY(0) scale(0.95); }

.cat-row { transition: background 0.2s; border-radius: 6px; padding: 4px 6px; cursor: default; }
.cat-row:hover { background: var(--primary-10); }

.ds-item { transition: transform 0.2s; cursor: default; }
.ds-item:hover { transform: scale(1.05); }

/* ═══════════ RESPONSIVE ═══════════ */
@media (max-width: 900px) {
  .hero h1 { font-size: 2.2rem; }
  .hero-sub { font-size: 0.95rem; }
  .showcase { padding: 3.2rem 1.25rem; }
  .sc-title { font-size: 1.3rem; }
  .stat-grid { grid-template-columns: 1fr; }
  .cat-row { grid-template-columns: 110px 1fr 40px; gap: 0.6rem; }
  #catBars .cat-row { grid-template-columns: 100px 1fr 80px; }
  .bar-row { grid-template-columns: 88px 1fr 46px; gap: 0.5rem; }
  .deflate-row { grid-template-columns: 92px 1fr; gap: 0.6rem; }
  .lb-head, .lb-row { grid-template-columns: 40px 1fr 80px 52px; gap: 0.6rem; }
  .nav-links { display: none; }
}
@media (max-width: 480px) {
  .hero h1 { font-size: 1.7rem; }
  .hero { min-height: 68vh; }
  .topnav { padding: 0.5rem 1rem; }
  .stat-tile-num { font-size: 2rem; }
  .lb-head { display: none; }
  .lb-row { grid-template-columns: 36px 1fr 56px; }
  .lb-bar-track { display: none; }
  .timeline-chart { height: 140px; }
  .lang-grid { grid-template-columns: repeat(auto-fill, minmax(84px, 1fr)); }
}
/* EmbedAgent settings pipeline */
.embed-settings { display: flex; gap: 0.8rem; flex-wrap: wrap; margin-top: 0.8rem; }
.embed-setting {
  flex: 1; min-width: 140px; padding: 0.7rem 0.9rem; border-radius: 8px;
  background: var(--primary-10); border: 1px solid var(--primary-20);
  opacity: 0; transform: translateY(10px); transition: opacity 0.4s, transform 0.4s;
}
.embed-setting.on { opacity: 1; transform: translateY(0); }
.embed-setting-num { font-size: 1rem; color: var(--primary); margin-bottom: 0.2rem; }
.embed-setting-title { font-size: 0.82rem; font-weight: 700; color: var(--fg); margin-bottom: 0.15rem; }
.embed-setting-desc { font-size: 0.68rem; color: var(--gray-500); }

/* EmbedAgent circuit + code */
.embed-circuit-code { display: grid; grid-template-columns: 1fr 1fr; gap: 1rem; margin-top: 0.6rem; }
@media (max-width: 600px) { .embed-circuit-code { grid-template-columns: 1fr; } }
.embed-circuit-side { overflow: hidden; }
.embed-svg { width: 100%; height: auto; }
.embed-board { fill: var(--primary-10); stroke: var(--primary); stroke-width: 1.5; opacity: 0; transition: opacity 0.5s; }
.embed-board.on { opacity: 1; }
.embed-board-label { font-family: 'IBM Plex Mono', monospace; font-size: 11px; font-weight: 700; fill: var(--primary); opacity: 0; transition: opacity 0.5s; }
.embed-board-label.on { opacity: 1; }
.embed-pin-label { font-family: 'IBM Plex Mono', monospace; font-size: 8px; fill: var(--gray-400); opacity: 0; transition: opacity 0.4s; }
.embed-pin-label.on { opacity: 1; }
.embed-component { opacity: 0; transition: opacity 0.5s; }
.embed-component.on { opacity: 1; }
.embed-led-body { fill: rgba(52,211,153,0.15); stroke: var(--c-green); stroke-width: 1.5; }
.embed-led-body.glow { fill: rgba(52,211,153,0.5); filter: drop-shadow(0 0 6px rgba(52,211,153,0.6)); }
.embed-lead { stroke: var(--gray-400); stroke-width: 1; }
.embed-resistor { fill: var(--primary-10); stroke: var(--primary); stroke-width: 1; }
.embed-button-body { fill: rgba(251,146,60,0.15); stroke: var(--c-amber); stroke-width: 1.5; }
.embed-comp-label { font-family: 'IBM Plex Mono', monospace; font-size: 8px; font-weight: 600; fill: var(--fg); }
.embed-wire { stroke: var(--gray-400); stroke-width: 1.2; fill: none; stroke-dasharray: 200; stroke-dashoffset: 200; transition: stroke-dashoffset 0.8s ease; }
.embed-wire.on { stroke-dashoffset: 0; }
.embed-wire.wire-1.on, .embed-wire.wire-2.on, .embed-wire.wire-3.on { stroke: var(--c-green); }
.embed-wire.wire-4.on { stroke: var(--c-amber); }
.embed-wire.wire-gnd.on, .embed-wire.wire-gnd2.on { stroke: var(--gray-500); }
.embed-gnd-line { stroke: var(--gray-500); stroke-width: 1.5; opacity: 0; transition: opacity 0.4s; }
.embed-gnd-line.on { opacity: 1; }

.embed-code-side {
  background: var(--card-bg); border: 1px solid var(--border); border-radius: 8px;
  padding: 0.7rem 0.9rem; font-family: 'IBM Plex Mono', monospace; font-size: 0.72rem; line-height: 1.55;
}
.embed-code-label { font-size: 0.62rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.5px; color: var(--gray-400); display: block; margin-bottom: 0.4rem; }
.embed-code-line { opacity: 0; transform: translateX(-6px); transition: opacity 0.3s, transform 0.3s; color: var(--fg); }
.embed-code-line.on { opacity: 1; transform: translateX(0); }
.embed-code-line .syn-kw { color: var(--primary); font-weight: 600; }
.embed-code-line .fn { color: var(--c-green); font-weight: 600; }
.embed-code-line .num { color: var(--c-amber); }

/* EmbedAgent wiring entries */
.embed-wiring { font-family: 'IBM Plex Mono', monospace; font-size: 0.72rem; display: flex; flex-direction: column; gap: 0.35rem; margin-top: 0.5rem; }
.embed-wire-entry {
  padding: 0.35rem 0.7rem; border-radius: 6px; background: var(--primary-10);
  opacity: 0; transform: translateX(-8px); transition: opacity 0.35s, transform 0.35s; color: var(--fg);
}
.embed-wire-entry.on { opacity: 1; transform: translateX(0); }

/* CodeCleaner example transform */
.cc-example { margin-top: 0.5rem; }
.cc-step {
  padding: 0.6rem 0.8rem; border-radius: 8px; margin-bottom: 0.15rem;
  background: var(--card-bg); border: 1px solid var(--border);
  opacity: 0; transform: translateY(8px); transition: opacity 0.4s, transform 0.4s;
}
.cc-step.on { opacity: 1; transform: translateY(0); }
.cc-step-head { display: flex; justify-content: space-between; align-items: center; margin-bottom: 0.3rem; }
.cc-step-tag { font-size: 0.62rem; font-weight: 700; text-transform: uppercase; padding: 2px 6px; border-radius: 4px; background: var(--primary-10); color: var(--primary); }
.cc-overlap { font-family: 'IBM Plex Mono', monospace; font-size: 0.72rem; font-weight: 700; }
.cc-code { font-family: 'IBM Plex Mono', monospace; font-size: 0.7rem; line-height: 1.55; color: var(--fg); }
.cc-code-line .syn-kw { color: var(--primary); font-weight: 600; }
.cc-code-line .fn { color: var(--c-green); font-weight: 600; }
.cc-code-line .num { color: var(--c-amber); }
.cc-hl { background: rgba(52,211,153,0.15); padding: 0 3px; border-radius: 2px; }
.cc-arrow {
  text-align: center; font-size: 0.9rem; color: var(--gray-400); padding: 0.2rem 0;
  opacity: 0; transition: opacity 0.3s;
}
.cc-arrow.on { opacity: 1; }
.cc-op-tag { font-size: 0.62rem; font-weight: 700; color: var(--primary); background: var(--primary-10); padding: 1px 5px; border-radius: 3px; }

/* CodeCleaner operator grid */
.cc-ops { display: flex; flex-wrap: wrap; gap: 0.8rem; margin-top: 0.5rem; }
.cc-op-group { flex: 1; min-width: 140px; }
.cc-op-group-label { font-size: 0.65rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.5px; color: var(--gray-400); margin-bottom: 0.35rem; }
.cc-op-chip {
  display: inline-flex; align-items: center; gap: 0.3rem;
  padding: 0.3rem 0.6rem; border-radius: 6px; margin: 0.15rem 0.15rem;
  background: var(--primary-10); border: 1px solid var(--primary-20);
  font-family: 'IBM Plex Mono', monospace; font-size: 0.7rem; font-weight: 600; color: var(--primary);
  opacity: 0; transform: scale(0.85); transition: opacity 0.3s, transform 0.3s;
}
.cc-op-chip.on { opacity: 1; transform: scale(1); }
.cc-op-chip.cc-class { border-color: rgba(251,146,60,0.3); background: rgba(251,146,60,0.08); color: var(--c-amber); }
.cc-op-chip.cc-cross { border-color: rgba(168,85,247,0.3); background: rgba(168,85,247,0.08); color: var(--c-purple); }
.cc-op-desc { font-weight: 400; font-size: 0.6rem; color: var(--gray-500); }

/* CodeCleaner before/after bars */
.cc-before-after { margin-top: 0.5rem; }
.cc-ba-item { display: flex; align-items: center; gap: 0.5rem; margin-bottom: 0.4rem; }
.cc-ba-label { font-size: 0.72rem; font-weight: 600; width: 48px; text-align: right; color: var(--fg); flex-shrink: 0; }
.cc-ba-bar-track { flex: 1; height: 18px; background: var(--primary-10); border-radius: 9px; overflow: hidden; }
.cc-ba-bar { height: 100%; border-radius: 9px; width: 0; transition: width 1s cubic-bezier(0.22,1,0.36,1); }
.cc-ba-bar.before { background: linear-gradient(90deg, var(--c-red), var(--c-amber)); }
.cc-ba-bar.after { background: linear-gradient(90deg, var(--c-green), #34d399); }
.cc-ba-val { font-family: 'IBM Plex Mono', monospace; font-size: 0.75rem; font-weight: 700; width: 40px; color: var(--fg); }

/* PseudoEval pipeline */
.pseudo-pipeline {
  display: flex; align-items: flex-start; gap: 0.5rem; margin-bottom: 1.5rem;
  overflow-x: auto; padding-bottom: 0.5rem;
}
@media (max-width: 700px) { .pseudo-pipeline { flex-direction: column; align-items: stretch; } }
.pseudo-step {
  flex: 1; min-width: 0;
  opacity: 0; transform: translateY(10px); transition: opacity 0.5s, transform 0.5s;
}
.pseudo-step.on { opacity: 1; transform: translateY(0); }
.pseudo-step-label {
  text-align: center; font-size: 0.65rem; font-weight: 700; color: var(--gray-400);
  margin-top: 0.3rem; text-transform: uppercase; letter-spacing: 0.5px;
}
.pseudo-block {
  padding: 0.6rem 0.8rem; border-radius: 8px;
  font-family: 'IBM Plex Mono', monospace; font-size: 0.68rem; line-height: 1.55;
}
.pseudo-src { background: var(--primary-10); border: 1px solid var(--primary-20); }
.pseudo-pc { background: rgba(52,211,153,0.08); border: 1px solid rgba(52,211,153,0.2); }
.pseudo-tgt {
  background: var(--card-bg); border: 1px solid var(--border); margin-bottom: 0.4rem;
  opacity: 0; transform: translateX(8px); transition: opacity 0.4s, transform 0.4s;
}
.pseudo-tgt.on { opacity: 1; transform: translateX(0); }
.pseudo-label { font-size: 0.6rem; font-weight: 700; text-transform: uppercase; letter-spacing: 0.5px; color: var(--primary); display: block; margin-bottom: 0.25rem; }
.pseudo-code-line { color: var(--fg); }
.pseudo-code-line .syn-kw { color: var(--primary); font-weight: 600; }
.pseudo-code-line .fn { color: var(--c-green); font-weight: 600; }
.pseudo-code-line .num { color: var(--c-amber); }
.pseudo-arrow-h {
  font-size: 1.4rem; color: var(--gray-400); align-self: center; flex-shrink: 0;
  opacity: 0; transition: opacity 0.3s;
}
.pseudo-arrow-h.on { opacity: 1; }
@media (max-width: 700px) { .pseudo-arrow-h { transform: rotate(90deg); text-align: center; } }

/* PseudoEval bars */
.pseudo-bars { margin-top: 1.2rem; }
.pseudo-bar-group { margin-bottom: 0.9rem; position: relative; }
.pseudo-bar-label { font-size: 0.78rem; font-weight: 700; color: var(--fg); display: block; margin-bottom: 0.3rem; }
.pseudo-bar-pair { display: flex; flex-direction: column; gap: 0.25rem; }
.pseudo-bar-row { display: flex; align-items: center; gap: 0.5rem; }
.pseudo-bar-tag { font-size: 0.65rem; font-weight: 600; width: 48px; text-align: right; color: var(--gray-400); flex-shrink: 0; }
.pseudo-bar-track { flex: 1; height: 14px; background: var(--primary-10); border-radius: 7px; overflow: hidden; }
.pseudo-bar-fill { height: 100%; border-radius: 7px; width: 0; transition: width 0.8s cubic-bezier(0.22,1,0.36,1); }
.pseudo-bar-fill.prob { background: var(--gray-400); }
.pseudo-bar-fill.pseudo { background: var(--c-green); }
.pseudo-bar-val { font-size: 0.7rem; font-weight: 700; font-family: 'IBM Plex Mono', monospace; width: 36px; text-align: right; color: var(--fg); }
.pseudo-boost {
  position: absolute; right: 0; top: 0;
  font-size: 0.72rem; font-weight: 800; color: var(--c-green);
  opacity: 0; transform: translateX(-8px); transition: opacity 0.4s, transform 0.4s;
}
.pseudo-boost.on { opacity: 1; transform: translateX(0); }
.pseudo-insight { margin-top: 1.2rem; }

@media (prefers-reduced-motion: reduce) {
  * { animation-duration: 0.001ms !important; transition-duration: 0.001ms !important; }
  html { scroll-behavior: auto; }
}