/* ═══════════════════════════════════════════════════════════════
   DSC-3 Isomorphic Engine — Dark Theme Stylesheet
   ═══════════════════════════════════════════════════════════════ */

:root {
    --bg-primary: #0a0a0f;
    --bg-secondary: #12121a;
    --bg-card: #1a1a2e;
    --text-primary: #e0e0e8;
    --text-secondary: #8888a0;
    --accent-cyan: #00d4ff;
    --accent-magenta: #ff006e;
    --accent-gold: #ffd700;
    --accent-green: #00ff88;
    --border: #2a2a3e;
    --radius: 12px;
    --shadow-glow: 0 0 20px rgba(0, 212, 255, 0.08);
    --shadow-glow-hover: 0 0 30px rgba(0, 212, 255, 0.18);
    --transition: 0.25s ease;
}

/* ── Reset & Base ─────────────────────────────────────────────── */
*, *::before, *::after {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

html {
    scroll-behavior: smooth;
    font-size: 16px;
}

body {
    background: var(--bg-primary);
    color: var(--text-primary);
    font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, 'Helvetica Neue', Arial, sans-serif;
    line-height: 1.6;
    -webkit-font-smoothing: antialiased;
    -moz-osx-font-smoothing: grayscale;
    overflow-x: hidden;
}

a {
    color: var(--accent-cyan);
    text-decoration: none;
    transition: color var(--transition);
}

a:hover {
    color: #66e5ff;
}

code, pre {
    font-family: 'JetBrains Mono', 'Fira Code', 'Cascadia Code', 'Consolas', monospace;
}

/* ── Navigation ───────────────────────────────────────────────── */
.navbar {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    z-index: 1000;
    background: rgba(18, 18, 26, 0.92);
    backdrop-filter: blur(12px);
    -webkit-backdrop-filter: blur(12px);
    border-bottom: 1px solid var(--border);
}

.nav-inner {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 2rem;
    height: 60px;
    display: flex;
    align-items: center;
    justify-content: space-between;
}

.nav-logo {
    font-size: 1.5rem;
    font-weight: 800;
    color: var(--accent-cyan);
    letter-spacing: 0.05em;
    text-shadow: 0 0 20px rgba(0, 212, 255, 0.3);
}

.nav-logo:hover {
    color: var(--accent-cyan);
}

.nav-links {
    list-style: none;
    display: flex;
    align-items: center;
    gap: 2rem;
}

.nav-links a {
    color: var(--text-secondary);
    font-size: 0.9rem;
    font-weight: 500;
    letter-spacing: 0.02em;
    transition: color var(--transition);
}

.nav-links a:hover {
    color: var(--text-primary);
}

.nav-toggle {
    display: none;
    flex-direction: column;
    gap: 5px;
    background: none;
    border: none;
    cursor: pointer;
    padding: 4px;
}

.nav-toggle span {
    display: block;
    width: 24px;
    height: 2px;
    background: var(--text-primary);
    border-radius: 2px;
    transition: transform var(--transition), opacity var(--transition);
}

/* Health indicator */
.health-indicator {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    font-size: 0.8rem;
    color: var(--text-secondary);
}

.health-dot {
    display: inline-block;
    width: 8px;
    height: 8px;
    border-radius: 50%;
    background: var(--accent-green);
    animation: pulse 2s ease-in-out infinite;
}

@keyframes pulse {
    0%, 100% { opacity: 1; box-shadow: 0 0 4px var(--accent-green); }
    50% { opacity: 0.5; box-shadow: 0 0 12px var(--accent-green); }
}

/* ── Hero ─────────────────────────────────────────────────────── */
.hero {
    position: relative;
    min-height: 100vh;
    display: flex;
    align-items: center;
    justify-content: center;
    overflow: hidden;
}

#hero-canvas {
    position: absolute;
    inset: 0;
    width: 100%;
    height: 100%;
    z-index: 0;
}

.hero-content {
    position: relative;
    z-index: 1;
    text-align: center;
    padding: 2rem;
}

.hero-title {
    font-size: clamp(2.5rem, 6vw, 4.5rem);
    font-weight: 800;
    line-height: 1.1;
    margin-bottom: 1rem;
    letter-spacing: -0.02em;
}

.hero-title .accent {
    background: linear-gradient(135deg, var(--accent-cyan), var(--accent-magenta));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

.hero-badge {
    display: inline-block;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.15em;
    color: var(--accent-cyan);
    border: 1px solid rgba(0, 212, 255, 0.3);
    border-radius: 20px;
    padding: 6px 18px;
    margin-bottom: 1.5rem;
    background: rgba(0, 212, 255, 0.06);
}

.hero-subtitle {
    font-size: clamp(1.1rem, 2.5vw, 1.5rem);
    color: var(--text-secondary);
    margin-bottom: 1.5rem;
    font-weight: 400;
}

.hero-headline {
    margin-bottom: 2.5rem;
}
.headline-number {
    font-size: clamp(3rem, 8vw, 5rem);
    font-weight: 900;
    background: linear-gradient(135deg, var(--accent-gold), var(--accent-cyan));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
    line-height: 1;
    display: block;
}
.headline-label {
    font-size: 1rem;
    color: var(--text-secondary);
    font-weight: 400;
    display: block;
    margin-top: 0.5rem;
}
.headline-tagline {
    display: block;
    margin-top: 0.75rem;
    font-size: 1.15rem;
    font-weight: 600;
    color: var(--accent-gold);
    letter-spacing: 0.02em;
    text-shadow: 0 0 20px rgba(255, 215, 0, 0.2);
}

.hero-proof-bar {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.5rem;
    flex-wrap: wrap;
    margin-bottom: 1.5rem;
    font-size: 0.85rem;
    color: var(--text-secondary);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}
.proof-item {
    padding: 6px 16px;
    border-radius: 6px;
    background: rgba(255, 255, 255, 0.03);
    border: 1px solid var(--border);
    font-size: 0.9rem;
}
.proof-item.proof-highlight {
    background: rgba(0, 212, 255, 0.1);
    border-color: var(--accent-cyan);
    color: var(--accent-cyan);
    font-weight: 600;
}
.proof-sep {
    color: var(--border);
    font-size: 0.7rem;
}

.hero-cta-row {
    display: flex;
    gap: 1rem;
    justify-content: center;
    align-items: center;
    margin-bottom: 2rem;
    flex-wrap: wrap;
}
.btn-hero-alt {
    font-size: 1.1rem;
    padding: 1rem 2.5rem;
}

.hero-affiliations {
    font-size: 0.8rem;
    color: var(--text-secondary);
    letter-spacing: 0.05em;
    opacity: 0.7;
}

.stat-cards {
    display: flex;
    gap: 1.5rem;
    justify-content: center;
    margin-bottom: 3rem;
    flex-wrap: wrap;
}

.stat-card {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.25rem 1.75rem;
    display: flex;
    flex-direction: column;
    align-items: center;
    min-width: 140px;
    flex: 1;
    max-width: 200px;
    transition: transform var(--transition), box-shadow var(--transition);
}

.stat-card:hover {
    transform: translateY(-4px);
    box-shadow: var(--shadow-glow-hover);
}

.stat-value {
    font-size: 2.5rem;
    font-weight: 800;
    color: var(--accent-cyan);
    line-height: 1;
}

.stat-unit {
    font-size: 0.9rem;
    font-weight: 600;
    color: var(--accent-gold);
    text-transform: uppercase;
    letter-spacing: 0.1em;
    margin-top: 0.25rem;
}

.stat-label {
    font-size: 0.75rem;
    color: var(--text-secondary);
    margin-top: 0.5rem;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.btn-hero {
    font-size: 1.1rem;
    padding: 1rem 3rem;
}

/* Hero gradient border bottom */
.hero::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 0;
    right: 0;
    height: 2px;
    background: linear-gradient(90deg, transparent, var(--accent-cyan), var(--accent-magenta), var(--accent-gold), transparent);
    z-index: 2;
}

/* ── Buttons ──────────────────────────────────────────────────── */
.btn-primary {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    background: var(--accent-cyan);
    color: #0a0a0f;
    border: none;
    border-radius: 8px;
    padding: 0.75rem 1.75rem;
    font-size: 0.95rem;
    font-weight: 700;
    cursor: pointer;
    transition: all var(--transition);
    letter-spacing: 0.02em;
}

.btn-primary:hover {
    background: #33dfff;
    box-shadow: 0 0 24px rgba(0, 212, 255, 0.35);
    transform: translateY(-1px);
}

.btn-primary:active {
    transform: translateY(0);
}

.btn-secondary {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    background: transparent;
    color: var(--accent-cyan);
    border: 1px solid var(--accent-cyan);
    border-radius: 8px;
    padding: 0.6rem 1.25rem;
    font-size: 0.85rem;
    font-weight: 600;
    cursor: pointer;
    transition: all var(--transition);
}

.btn-secondary:hover {
    background: rgba(0, 212, 255, 0.1);
    box-shadow: 0 0 16px rgba(0, 212, 255, 0.15);
}

.btn-solve {
    width: 100%;
    justify-content: center;
    padding: 1rem;
    font-size: 1.05rem;
    margin-top: 1rem;
}

.btn-solve.solving {
    background: var(--accent-gold);
    animation: solvePulse 1.5s ease-in-out infinite;
}
@keyframes solvePulse {
    0%, 100% { box-shadow: 0 0 10px rgba(255, 215, 0, 0.3); }
    50% { box-shadow: 0 0 25px rgba(255, 215, 0, 0.6); }
}
.btn-solve.solved {
    background: var(--accent-green);
    transition: background 0.3s ease;
}

.elapsed-timer {
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.85rem;
    color: var(--accent-cyan);
    margin-left: 0.5rem;
}

.btn-icon {
    font-size: 0.8em;
}

/* ── Sections ─────────────────────────────────────────────────── */
.section {
    padding: 5rem 0;
}

.section:nth-child(even) {
    background: var(--bg-secondary);
}

.section-inner {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 2rem;
}

.section-title {
    font-size: 2.25rem;
    font-weight: 800;
    margin-bottom: 0.5rem;
    letter-spacing: -0.01em;
}

.section-desc {
    color: var(--text-secondary);
    font-size: 1.05rem;
    margin-bottom: 2.5rem;
}

.subsection-title {
    font-size: 1.35rem;
    font-weight: 700;
    margin-top: 3rem;
    margin-bottom: 1.5rem;
    color: var(--accent-cyan);
}

/* ── Tabs ─────────────────────────────────────────────────────── */
.problem-tabs,
.benchmark-tabs {
    display: flex;
    gap: 0;
    margin-bottom: 2rem;
    border-bottom: 1px solid var(--border);
    overflow-x: auto;
}

.tab {
    background: none;
    border: none;
    border-bottom: 2px solid transparent;
    color: var(--text-secondary);
    padding: 0.75rem 1.5rem;
    font-size: 0.9rem;
    font-weight: 600;
    cursor: pointer;
    transition: all var(--transition);
    white-space: nowrap;
}

.tab:hover {
    color: var(--text-primary);
    background: rgba(0, 212, 255, 0.04);
}

.tab.active {
    color: var(--accent-cyan);
    border-bottom-color: var(--accent-cyan);
}

/* ── Solver Panel ─────────────────────────────────────────────── */
.solver-panel {
    display: grid;
    grid-template-columns: 1fr;
    gap: 2rem;
    align-items: start;
}

.solver-config {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
}

.solver-form label {
    display: block;
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 0.35rem;
    margin-top: 1rem;
}

.solver-form label:first-child {
    margin-top: 0;
}

.solver-form input[type="number"],
.solver-form input[type="text"],
.solver-form select,
.solver-form textarea {
    width: 100%;
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 8px;
    color: var(--text-primary);
    padding: 0.6rem 0.8rem;
    font-size: 0.9rem;
    font-family: inherit;
    transition: border-color var(--transition);
}

.solver-form input:focus,
.solver-form select:focus,
.solver-form textarea:focus {
    outline: none;
    border-color: var(--accent-cyan);
    box-shadow: 0 0 0 3px rgba(0, 212, 255, 0.1);
}

/* Form rows (dynamically generated by solver.js) */
.problem-form {
    margin-bottom: 0.5rem;
}

.form-row {
    margin-bottom: 0.75rem;
}

.form-row label {
    display: block;
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
    margin-bottom: 0.35rem;
}

.form-row input[type="range"] {
    width: 100%;
    accent-color: var(--accent-cyan);
}

.form-row select {
    width: 100%;
    background: var(--bg-secondary);
    border: 1px solid var(--border);
    border-radius: 8px;
    color: var(--text-primary);
    padding: 0.5rem 0.75rem;
    font-size: 0.9rem;
}

.range-value {
    color: var(--accent-cyan);
    font-weight: 700;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}

/* Preset radio pills */
.preset-selector {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    margin-top: 1.25rem;
    flex-wrap: wrap;
}

.preset-label {
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-secondary);
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.radio-pill {
    cursor: pointer;
}

.radio-pill input {
    display: none;
}

.radio-pill span {
    display: inline-block;
    padding: 0.4rem 0.9rem;
    border: 1px solid var(--border);
    border-radius: 20px;
    font-size: 0.8rem;
    font-weight: 600;
    color: var(--text-secondary);
    transition: all var(--transition);
}

.radio-pill input:checked + span {
    border-color: var(--accent-cyan);
    color: var(--accent-cyan);
    background: rgba(0, 212, 255, 0.08);
}

.radio-pill:hover span {
    border-color: var(--accent-cyan);
}

/* Results */
.results-panel {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    animation: fadeIn 0.4s ease;
}

.results-panel.hidden {
    display: none;
}

.results-panel.visible {
    display: block !important;
    animation: fadeIn 0.4s ease;
}

@keyframes fadeIn {
    from { opacity: 0; transform: translateY(12px); }
    to { opacity: 1; transform: translateY(0); }
}

.solve-status {
    display: flex;
    align-items: center;
    gap: 0.6rem;
    margin-bottom: 1.25rem;
    font-size: 0.9rem;
    font-weight: 600;
}

.solve-status.status-info { border-left: 3px solid var(--accent-cyan); }
.solve-status.status-success { border-left: 3px solid var(--accent-green); background: rgba(0,255,136,0.05); }
.solve-status.status-error { border-left: 3px solid var(--accent-magenta); background: rgba(255,0,110,0.05); }

.solve-status .status-dot {
    width: 10px;
    height: 10px;
    border-radius: 50%;
    background: var(--accent-green);
}

.metrics-row {
    display: flex;
    gap: 1rem;
    margin-bottom: 1.5rem;
    flex-wrap: wrap;
}

.metric {
    flex: 1;
    min-width: 100px;
    background: var(--bg-secondary);
    border: 1px solid transparent;
    border-radius: 8px;
    padding: 0.75rem 1rem;
    text-align: center;
    transition: border-color 0.3s ease, box-shadow 0.3s ease;
}

.metric.winner {
    border-color: var(--accent-gold);
    box-shadow: 0 0 15px rgba(255, 215, 0, 0.2);
}
.metric.winner .metric-value { color: var(--accent-gold); }

.metric-label {
    display: block;
    font-size: 0.7rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    color: var(--text-secondary);
    margin-bottom: 0.25rem;
}

.metric-value {
    display: block;
    font-size: 1.1rem;
    font-weight: 700;
    color: var(--accent-cyan);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}

.viz-row {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 1rem;
    margin-bottom: 1.25rem;
}

#viz-canvas,
.solver-race canvas {
    width: 100%;
    height: auto;
    background: var(--bg-secondary);
    border-radius: 8px;
    border: 1px solid var(--border);
}

.solver-race {
    min-height: 500px;
    position: relative;
}

.raw-json-details {
    margin-top: 0.5rem;
}

.raw-json-details summary {
    cursor: pointer;
    font-size: 0.85rem;
    font-weight: 600;
    color: var(--text-secondary);
    padding: 0.5rem 0;
    transition: color var(--transition);
}

.raw-json-details summary:hover {
    color: var(--text-primary);
}

.raw-json {
    background: var(--bg-primary);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 1rem;
    margin-top: 0.5rem;
    font-size: 0.8rem;
    overflow-x: auto;
    max-height: 300px;
    overflow-y: auto;
    color: var(--accent-green);
}

/* ── Showcase Grid ────────────────────────────────────────────── */
.showcase-grid {
    display: grid;
    grid-template-columns: repeat(3, 1fr);
    gap: 1.5rem;
}

.showcase-card {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    display: flex;
    flex-direction: column;
    gap: 0.75rem;
    transition: transform var(--transition), box-shadow var(--transition);
}

.showcase-card:hover {
    transform: translateY(-4px);
    box-shadow: 0 8px 30px rgba(0, 212, 255, 0.15);
}

.showcase-card h3 {
    font-size: 1.1rem;
    font-weight: 700;
}

.showcase-card p {
    font-size: 0.88rem;
    color: var(--text-secondary);
    line-height: 1.55;
    flex: 1;
}

.showcase-meta {
    font-size: 0.78rem;
    color: var(--text-secondary);
}
.showcase-expected {
    display: inline-block;
    background: rgba(0, 212, 255, 0.08);
    border: 1px solid rgba(0, 212, 255, 0.15);
    border-radius: 6px;
    padding: 3px 10px;
    font-family: 'JetBrains Mono', monospace;
    font-size: 0.75rem;
    color: var(--accent-cyan);
}

.showcase-card .btn-secondary {
    align-self: flex-start;
    margin-top: auto;
}

/* Badges */
.badge {
    display: inline-block;
    padding: 0.2rem 0.7rem;
    border-radius: 20px;
    font-size: 0.7rem;
    font-weight: 700;
    text-transform: uppercase;
    letter-spacing: 0.06em;
    width: fit-content;
}

.badge-graph { background: rgba(0, 212, 255, 0.15); color: var(--accent-cyan); }
.badge-physics { background: rgba(255, 0, 110, 0.15); color: var(--accent-magenta); }
.badge-logic { background: rgba(255, 215, 0, 0.15); color: var(--accent-gold); }
.badge-routing { background: rgba(0, 255, 136, 0.15); color: var(--accent-green); }
.badge-math { background: rgba(180, 120, 255, 0.15); color: #b478ff; }
.badge-finance { background: rgba(255, 215, 0, 0.15); color: var(--accent-gold); }
.badge-logistics { background: rgba(0, 212, 255, 0.15); color: var(--accent-cyan); }
.badge-healthcare { background: rgba(0, 255, 136, 0.15); color: var(--accent-green); }
.badge-biology { background: rgba(0, 255, 136, 0.15); color: var(--accent-green); }
.badge-cs { background: rgba(255, 215, 0, 0.15); color: var(--accent-gold); }
.badge-optimization { background: rgba(0, 212, 255, 0.15); color: var(--accent-cyan); }

.winner-badge {
    display: inline-block;
    background: rgba(255, 215, 0, 0.2);
    color: var(--accent-gold);
    font-size: 0.65rem;
    font-weight: 700;
    padding: 2px 8px;
    border-radius: 10px;
    text-transform: uppercase;
    letter-spacing: 0.5px;
    vertical-align: middle;
    margin-left: 0.3rem;
}

.z2-badge, .quality-badge {
    display: inline-block;
    font-size: 0.7rem;
    font-weight: 600;
    padding: 2px 8px;
    border-radius: 10px;
    margin-left: 0.5rem;
}
.z2-badge { background: rgba(0, 212, 255, 0.15); color: var(--accent-cyan); }
.quality-badge.optimal { background: rgba(0, 255, 136, 0.15); color: var(--accent-green); }
.quality-badge.near-optimal { background: rgba(255, 215, 0, 0.15); color: var(--accent-gold); }
.quality-badge.heuristic { background: rgba(136, 136, 160, 0.15); color: var(--text-secondary); }

/* ── Benchmarks ───────────────────────────────────────────────── */
.benchmark-panels {
    position: relative;
}

.benchmark-chart {
    display: none;
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    min-height: 400px;
}

.benchmark-chart.active {
    display: block;
}

.benchmark-chart canvas {
    width: 100% !important;
    height: 380px !important;
    background: var(--bg-secondary);
    border-radius: 8px;
}

.table-wrap {
    overflow-x: auto;
}

.competition-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 0.9rem;
}

.competition-table th {
    text-align: left;
    padding: 0.85rem 1rem;
    border-bottom: 2px solid var(--border);
    color: var(--text-secondary);
    font-weight: 700;
    font-size: 0.8rem;
    text-transform: uppercase;
    letter-spacing: 0.05em;
}

.competition-table td {
    padding: 0.75rem 1rem;
    border-bottom: 1px solid var(--border);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    font-size: 0.85rem;
}

.competition-table td:first-child {
    font-family: inherit;
    font-weight: 600;
}

.competition-table td.highlight {
    color: var(--accent-cyan);
    font-weight: 700;
}

.competition-table tbody tr:hover {
    background: rgba(0, 212, 255, 0.04);
}

/* ── Architecture ─────────────────────────────────────────────── */
.pipeline {
    display: flex;
    gap: 1rem;
    overflow-x: auto;
    padding-bottom: 1rem;
    scroll-snap-type: x proximity;
    -webkit-overflow-scrolling: touch;
}

.pipeline::-webkit-scrollbar {
    height: 6px;
}

.pipeline::-webkit-scrollbar-track {
    background: var(--bg-secondary);
    border-radius: 3px;
}

.pipeline::-webkit-scrollbar-thumb {
    background: var(--border);
    border-radius: 3px;
}

.pipeline::-webkit-scrollbar-thumb:hover {
    background: var(--accent-cyan);
}

.pipeline-card {
    flex: 0 0 180px;
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.25rem;
    scroll-snap-align: start;
    transition: transform var(--transition), box-shadow var(--transition), border-color var(--transition);
    position: relative;
}

.pipeline-card:hover {
    transform: translateY(-3px);
    box-shadow: var(--shadow-glow-hover);
    border-color: rgba(0, 212, 255, 0.3);
}

.pipeline-card::after {
    content: "\2192";
    position: absolute;
    right: -0.85rem;
    top: 50%;
    transform: translateY(-50%);
    color: var(--text-secondary);
    font-size: 1.1rem;
    z-index: 1;
}

.pipeline-card:last-child::after {
    display: none;
}

.step-num {
    display: inline-flex;
    align-items: center;
    justify-content: center;
    width: 28px;
    height: 28px;
    border-radius: 50%;
    background: rgba(0, 212, 255, 0.12);
    color: var(--accent-cyan);
    font-size: 0.75rem;
    font-weight: 800;
    margin-bottom: 0.75rem;
}

.pipeline-card h4 {
    font-size: 0.85rem;
    font-weight: 700;
    margin-bottom: 0.4rem;
}

.pipeline-card p {
    font-size: 0.75rem;
    color: var(--text-secondary);
    line-height: 1.45;
}

/* Solver Grid */
.solver-grid {
    display: grid;
    grid-template-columns: repeat(4, 1fr);
    gap: 1rem;
}

.solver-card {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.25rem;
    position: relative;
    transition: transform var(--transition), box-shadow var(--transition);
}

.solver-card:hover {
    transform: translateY(-3px);
    box-shadow: var(--shadow-glow-hover);
}

.solver-card h4 {
    font-size: 1rem;
    font-weight: 700;
    margin-bottom: 0.5rem;
}

.solver-card p {
    font-size: 0.8rem;
    color: var(--text-secondary);
    line-height: 1.45;
}

/* T-class badges */
.tclass-badge {
    display: inline-block;
    padding: 0.15rem 0.55rem;
    border-radius: 4px;
    font-size: 0.65rem;
    font-weight: 800;
    letter-spacing: 0.06em;
    margin-bottom: 0.5rem;
}

.tclass-badge.t1 { background: rgba(0, 255, 136, 0.15); color: var(--accent-green); }
.tclass-badge.t2 { background: rgba(0, 212, 255, 0.15); color: var(--accent-cyan); }
.tclass-badge.t3 { background: rgba(255, 0, 110, 0.15); color: var(--accent-magenta); }

/* ── API Cards ────────────────────────────────────────────────── */
.api-cards {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.api-card {
    background: var(--bg-card);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 1.5rem;
    transition: box-shadow var(--transition);
}

.api-card:hover {
    box-shadow: var(--shadow-glow);
}

.api-header {
    display: flex;
    align-items: center;
    gap: 0.75rem;
    margin-bottom: 0.75rem;
}

.method-badge {
    display: inline-block;
    padding: 0.25rem 0.65rem;
    border-radius: 4px;
    font-size: 0.7rem;
    font-weight: 800;
    letter-spacing: 0.06em;
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}

.method-get {
    background: rgba(0, 255, 136, 0.15);
    color: var(--accent-green);
}

.method-post {
    background: rgba(0, 212, 255, 0.15);
    color: var(--accent-cyan);
}

.api-path {
    font-size: 1rem;
    font-weight: 600;
    color: var(--text-primary);
}

.api-card > p {
    font-size: 0.9rem;
    color: var(--text-secondary);
    line-height: 1.55;
}

.api-example {
    margin-top: 1rem;
}

.api-example summary {
    cursor: pointer;
    font-size: 0.82rem;
    font-weight: 600;
    color: var(--text-secondary);
    padding: 0.4rem 0;
    transition: color var(--transition);
}

.api-example summary:hover {
    color: var(--text-primary);
}

.api-example pre {
    background: var(--bg-primary);
    border: 1px solid var(--border);
    border-radius: 8px;
    padding: 1rem;
    margin-top: 0.5rem;
    font-size: 0.8rem;
    overflow-x: auto;
    color: var(--accent-green);
    line-height: 1.5;
}

/* ── Footer ───────────────────────────────────────────────────── */
.footer {
    background: var(--bg-secondary);
    border-top: 1px solid var(--border);
    padding: 2rem 0;
}

.footer-inner {
    max-width: 1200px;
    margin: 0 auto;
    padding: 0 2rem;
    display: flex;
    align-items: center;
    justify-content: space-between;
}

.footer-brand {
    display: flex;
    align-items: center;
    gap: 0.75rem;
}

.footer-logo {
    font-weight: 800;
    font-size: 1rem;
    color: var(--text-primary);
}

.footer-sep {
    color: var(--border);
}

.footer-version {
    font-size: 0.8rem;
    color: var(--text-secondary);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
}

.footer-partners {
    font-size: 0.85rem;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
}
.footer-partners a {
    color: var(--accent-cyan);
    text-decoration: none;
}
.footer-partners a:hover { text-decoration: underline; }

.footer-products {
    font-size: 0.85rem;
    color: var(--text-secondary);
    margin-bottom: 0.5rem;
}
.footer-products a {
    color: var(--accent-cyan);
    text-decoration: none;
}
.footer-products a:hover { text-decoration: underline; }

.footer-copy {
    font-size: 0.8rem;
    color: var(--text-secondary);
}

/* ── Responsive ───────────────────────────────────────────────── */
@media (max-width: 1024px) {
    .solver-grid {
        grid-template-columns: repeat(3, 1fr);
    }

    .showcase-grid {
        grid-template-columns: repeat(2, 1fr);
    }
}

@media (max-width: 768px) {
    .nav-toggle {
        display: flex;
    }

    .nav-links {
        display: none;
        position: absolute;
        top: 60px;
        left: 0;
        right: 0;
        background: var(--bg-secondary);
        border-bottom: 1px solid var(--border);
        flex-direction: column;
        padding: 1rem 2rem;
        gap: 0.75rem;
    }

    .nav-links.open {
        display: flex;
    }

    .hero-title {
        font-size: 2.2rem;
    }

    .stat-cards {
        flex-direction: column;
        align-items: center;
    }

    .stat-card {
        width: 100%;
        max-width: 280px;
    }

    .solver-panel {
        grid-template-columns: 1fr;
    }

    .viz-row {
        grid-template-columns: 1fr;
    }

    .showcase-grid {
        grid-template-columns: 1fr;
    }

    .solver-grid {
        grid-template-columns: repeat(2, 1fr);
    }

    .metrics-row {
        flex-direction: column;
    }

    .footer-inner {
        flex-direction: column;
        gap: 0.75rem;
        text-align: center;
    }

    .pipeline-card {
        flex: 0 0 160px;
    }
}

@media (max-width: 480px) {
    .solver-grid {
        grid-template-columns: 1fr;
    }

    .section {
        padding: 3rem 0;
    }

    .section-inner {
        padding: 0 1rem;
    }

    .nav-inner {
        padding: 0 1rem;
    }
}

/* ── Solver Panel Stacked Layout ─────────────────────────────── */
.solver-panel-stacked {
    display: block;
}
.solver-panel-stacked .solver-config {
    max-width: 480px;
    margin: 0 auto;
}

/* ── Solve Summary Card ─────────────────────────────────────── */
.solve-summary {
    background: rgba(0, 212, 255, 0.04);
    border: 1px solid rgba(0, 212, 255, 0.15);
    border-radius: var(--radius);
    padding: 1.5rem 2rem;
    margin-bottom: 1.5rem;
    text-align: center;
}
.summary-headline {
    display: flex;
    align-items: baseline;
    justify-content: center;
    gap: 0.75rem;
    margin-bottom: 0.5rem;
}
.summary-energy {
    font-size: 2.8rem;
    font-weight: 900;
    color: var(--accent-cyan);
    font-family: 'JetBrains Mono', 'Fira Code', monospace;
    text-shadow: 0 0 30px rgba(0, 212, 255, 0.3);
}
.summary-label {
    font-size: 1rem;
    color: var(--text-secondary);
    font-weight: 500;
}
.summary-detail {
    font-size: 0.9rem;
    color: var(--accent-gold);
    font-weight: 600;
}

/* ── Domain Bar ──────────────────────────────────────────────── */
.domain-bar {
    display: flex;
    flex-wrap: wrap;
    gap: 0.5rem;
    margin-bottom: 1.5rem;
    justify-content: center;
}
.domain-tag {
    display: inline-block;
    padding: 0.3rem 0.85rem;
    border-radius: 20px;
    font-size: 0.78rem;
    font-weight: 600;
    color: var(--text-secondary);
    border: 1px solid var(--border);
    background: rgba(255, 255, 255, 0.02);
    letter-spacing: 0.02em;
    transition: all var(--transition);
}
.domain-tag:hover {
    border-color: var(--accent-cyan);
    color: var(--accent-cyan);
    background: rgba(0, 212, 255, 0.06);
}

/* ── Showcase Controls ───────────────────────────────────────── */
.showcase-controls {
    display: flex;
    align-items: center;
    gap: 1rem;
    margin-bottom: 1.5rem;
}
.run-all-progress {
    font-size: 0.85rem;
    color: var(--accent-cyan);
    font-family: 'JetBrains Mono', monospace;
}

/* ── Powered By Section ──────────────────────────────────────── */
.powered-by {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.75rem;
    flex-wrap: wrap;
    padding: 1.5rem 2rem;
    background: rgba(0, 212, 255, 0.03);
    border-top: 1px solid var(--border);
    border-bottom: 1px solid var(--border);
    font-size: 0.88rem;
    color: var(--text-secondary);
}
.powered-by strong {
    color: var(--accent-cyan);
    font-weight: 700;
}
.powered-sep {
    color: var(--border);
}

/* ── Responsive: solver race chart ───────────────────────────── */
@media (max-width: 768px) {
    .solver-race {
        min-height: 350px;
    }
    .solver-race canvas {
        width: 100% !important;
    }
    .summary-headline {
        flex-direction: column;
        gap: 0.25rem;
    }
    .summary-energy {
        font-size: 2rem;
    }
    .powered-by {
        flex-direction: column;
        gap: 0.5rem;
        text-align: center;
    }
}

/* ── Benchmark chart responsive ──────────────────────────────── */
.benchmark-chart canvas {
    min-height: 350px;
}
@media (max-width: 768px) {
    .benchmark-chart {
        min-height: 300px;
    }
    .benchmark-chart canvas {
        height: 300px !important;
        min-height: 250px;
    }
}

/* Table footnote */
.competition-table .footnote {
    font-size: 0.75rem;
    color: var(--text-secondary);
    font-style: italic;
    padding: 0.75rem 1rem;
    font-family: inherit;
}

/* ── Utility ──────────────────────────────────────────────────── */
.hidden {
    display: none !important;
}

/* Selection styling */
::selection {
    background: rgba(0, 212, 255, 0.25);
    color: var(--text-primary);
}

/* Scrollbar global */
::-webkit-scrollbar {
    width: 8px;
}

::-webkit-scrollbar-track {
    background: var(--bg-primary);
}

::-webkit-scrollbar-thumb {
    background: var(--border);
    border-radius: 4px;
}

::-webkit-scrollbar-thumb:hover {
    background: #3a3a4e;
}

/* ── Live Stats Ticker ───────────────────────────────────────── */
.live-stats {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.75rem;
    margin-top: 1.5rem;
    font-size: 0.85rem;
    color: var(--text-secondary);
}
.live-stat strong {
    color: var(--accent-cyan);
    font-family: 'JetBrains Mono', monospace;
}
.live-stat-sep {
    color: var(--border);
}