:root {
    --bg-primary: hsl(220, 14%, 10%);
    --bg-secondary: hsl(220, 14%, 13%);
    --bg-tertiary: hsl(220, 14%, 16%);
    --bg-card: hsl(220, 14%, 12%);
    --bg-code: hsl(220, 14%, 8%);
    
    --text-primary: hsl(220, 10%, 98%);
    --text-secondary: hsl(220, 10%, 70%);
    --text-muted: hsl(220, 10%, 50%);
    
    --accent-primary: hsl(24, 95%, 60%);
    --accent-secondary: hsl(24, 95%, 68%);
    --accent-tertiary: hsl(24, 95%, 75%);
    
    --border-color: hsl(220, 14%, 18%);
    --border-accent: hsl(24, 95%, 60%);
    
    --success: hsl(142, 76%, 45%);
    --warning: hsl(24, 95%, 60%);
    --danger: #ef4444;
    --info: #3b82f6;
    
    --font-sans: 'Sora', -apple-system, BlinkMacSystemFont, sans-serif;
    --font-mono: 'JetBrains Mono', 'Fira Code', monospace;
    
    --container-width: 1200px;
    --section-gap: 5rem;
    
    --transition-fast: 150ms ease;
    --transition-base: 250ms ease;
}

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

html {
    scroll-behavior: smooth;
}

body {
    font-family: var(--font-sans);
    background-color: var(--bg-primary);
    color: var(--text-primary);
    line-height: 1.6;
    min-height: 100vh;
    overflow-x: hidden;
}

.gradient-bg {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    height: 100vh;
    background: 
        radial-gradient(ellipse 80% 50% at 50% -20%, hsla(24, 95%, 60%, 0.12), transparent),
        radial-gradient(ellipse 60% 40% at 100% 0%, hsla(24, 95%, 55%, 0.08), transparent),
        radial-gradient(ellipse 50% 30% at 0% 100%, hsla(24, 95%, 65%, 0.06), transparent);
    pointer-events: none;
    z-index: -1;
}

.container {
    max-width: var(--container-width);
    margin: 0 auto;
    padding: 0 2rem;
}

.hero {
    padding: 4rem 0 5rem;
    text-align: center;
    border-bottom: 1px solid var(--border-color);
    background: linear-gradient(180deg, transparent, hsla(24, 95%, 60%, 0.03));
}

.logo {
    display: inline-flex;
    align-items: center;
    gap: 0.75rem;
    margin-bottom: 2rem;
}

.logo-icon {
    width: 48px;
    height: 48px;
    color: var(--accent-primary);
}

.logo-text {
    font-size: 1.5rem;
    font-weight: 700;
    letter-spacing: -0.02em;
    background: linear-gradient(135deg, var(--accent-primary), var(--accent-tertiary));
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

.hero-title {
    font-size: clamp(2.5rem, 5vw, 4rem);
    font-weight: 700;
    letter-spacing: -0.03em;
    margin-bottom: 1rem;
    background: linear-gradient(135deg, var(--text-primary) 0%, var(--text-secondary) 100%);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

.hero-subtitle {
    font-size: 1.25rem;
    color: var(--text-secondary);
    max-width: 600px;
    margin: 0 auto 2rem;
}

.hero-badges {
    display: flex;
    justify-content: center;
    gap: 1rem;
    flex-wrap: wrap;
}

.badge {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.5rem 1rem;
    border-radius: 9999px;
    font-size: 0.875rem;
    font-weight: 500;
}

.badge svg {
    width: 16px;
    height: 16px;
}

.badge-secure {
    background: hsla(24, 95%, 60%, 0.15);
    color: var(--accent-primary);
    border: 1px solid hsla(24, 95%, 60%, 0.3);
}

.badge-version {
    background: var(--bg-tertiary);
    color: var(--text-secondary);
    border: 1px solid var(--border-color);
}

.badge-date {
    background: var(--bg-tertiary);
    color: var(--text-secondary);
    border: 1px solid var(--border-color);
}

.section {
    padding: 4rem 0;
    border-bottom: 1px solid var(--border-color);
}

.section:last-child {
    border-bottom: none;
}

.section-title {
    font-size: 1.75rem;
    font-weight: 600;
    letter-spacing: -0.02em;
    margin-bottom: 2rem;
    color: var(--text-primary);
}

.summary-grid {
    display: grid;
    gap: 1.5rem;
}

.summary-card {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 1rem;
    padding: 2rem;
}

.summary-card-header {
    display: flex;
    justify-content: space-between;
    align-items: center;
    margin-bottom: 1rem;
    flex-wrap: wrap;
    gap: 1rem;
}

.summary-card-header h3 {
    font-size: 1.25rem;
    font-weight: 600;
}

.status-badge {
    padding: 0.5rem 1rem;
    border-radius: 0.5rem;
    font-weight: 600;
    font-size: 0.875rem;
}

.status-secure {
    background: hsla(24, 95%, 60%, 0.15);
    color: var(--accent-primary);
    border: 1px solid hsla(24, 95%, 60%, 0.3);
}

.summary-card p {
    color: var(--text-secondary);
    margin-bottom: 2rem;
}

.summary-card strong {
    color: var(--text-primary);
}

.stats-row {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    gap: 1.5rem;
}

.stat {
    text-align: center;
    padding: 1.5rem;
    background: var(--bg-secondary);
    border-radius: 0.75rem;
    border: 1px solid var(--border-color);
}

.stat-value {
    display: block;
    font-size: 2.5rem;
    font-weight: 700;
    color: var(--accent-primary);
    line-height: 1;
    margin-bottom: 0.5rem;
}

.stat-label {
    font-size: 0.875rem;
    color: var(--text-muted);
}

.properties-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(320px, 1fr));
    gap: 1.5rem;
}

.property-card {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 1rem;
    padding: 1.5rem;
    transition: var(--transition-base);
}

.property-card:hover {
    border-color: var(--border-accent);
    transform: translateY(-2px);
}

.property-icon {
    font-size: 2rem;
    margin-bottom: 1rem;
}

.property-card h4 {
    font-size: 1.125rem;
    font-weight: 600;
    margin-bottom: 1rem;
}

.property-list {
    list-style: none;
}

.property-list li {
    display: flex;
    align-items: flex-start;
    gap: 0.75rem;
    padding: 0.5rem 0;
    color: var(--text-secondary);
    font-size: 0.9375rem;
}

.property-list .check {
    color: var(--accent-primary);
    font-weight: 600;
    flex-shrink: 0;
}

.architecture-diagram {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.layer {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 0.75rem;
    overflow: hidden;
    transition: var(--transition-base);
}

.layer:hover {
    border-color: var(--border-accent);
}

.layer-header {
    display: flex;
    align-items: center;
    gap: 1rem;
    padding: 1rem 1.5rem;
    background: var(--bg-secondary);
    border-bottom: 1px solid var(--border-color);
}

.layer-number {
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
    letter-spacing: 0.05em;
    color: var(--accent-primary);
    background: hsla(24, 95%, 60%, 0.1);
    padding: 0.25rem 0.75rem;
    border-radius: 9999px;
}

.layer-title {
    font-weight: 600;
    color: var(--text-primary);
}

.layer-content {
    padding: 1.5rem;
    color: var(--text-secondary);
}

.role-flow {
    display: flex;
    align-items: center;
    gap: 1rem;
    flex-wrap: wrap;
    justify-content: center;
}

.role-box {
    padding: 0.75rem 1.25rem;
    border-radius: 0.5rem;
    font-family: var(--font-mono);
    font-size: 0.8125rem;
    font-weight: 500;
    white-space: nowrap;
}

.role-default {
    background: rgba(59, 130, 246, 0.15);
    color: #60a5fa;
    border: 1px solid rgba(59, 130, 246, 0.3);
}

.role-admin {
    background: rgba(245, 158, 11, 0.15);
    color: #fbbf24;
    border: 1px solid rgba(245, 158, 11, 0.3);
}

.role-bot {
    background: hsla(24, 95%, 60%, 0.15);
    color: var(--accent-primary);
    border: 1px solid hsla(24, 95%, 60%, 0.3);
}

.arrow {
    color: var(--text-muted);
    font-size: 1.25rem;
}

.fuzz-summary {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));
    gap: 1.5rem;
    margin-bottom: 2.5rem;
}

.fuzz-stat {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 1rem;
    padding: 1.5rem;
    text-align: center;
}

.fuzz-stat-value {
    font-size: 2rem;
    font-weight: 700;
    color: var(--accent-primary);
    margin-bottom: 0.5rem;
}

.fuzz-stat-label {
    font-size: 0.875rem;
    color: var(--text-muted);
}

.invariants-table-wrapper {
    overflow-x: auto;
    border-radius: 0.75rem;
    border: 1px solid var(--border-color);
}

.invariants-table {
    width: 100%;
    border-collapse: collapse;
    font-size: 0.875rem;
}

.invariants-table th,
.invariants-table td {
    padding: 1rem;
    text-align: left;
    border-bottom: 1px solid var(--border-color);
}

.invariants-table th {
    background: var(--bg-secondary);
    font-weight: 600;
    color: var(--text-primary);
    white-space: nowrap;
}

.invariants-table tr:last-child td {
    border-bottom: none;
}

.invariants-table tr:hover td {
    background: hsla(24, 95%, 60%, 0.03);
}

.invariants-table code {
    font-family: var(--font-mono);
    font-size: 0.8125rem;
    color: var(--text-secondary);
}

.category-badge {
    display: inline-block;
    padding: 0.25rem 0.75rem;
    border-radius: 9999px;
    font-size: 0.75rem;
    font-weight: 500;
    white-space: nowrap;
}

.cat-access { background: rgba(59, 130, 246, 0.15); color: #60a5fa; }
.cat-pause { background: hsla(24, 95%, 60%, 0.15); color: var(--accent-primary); }
.cat-init { background: rgba(168, 85, 247, 0.15); color: #c084fc; }
.cat-round { background: rgba(236, 72, 153, 0.15); color: #f472b6; }
.cat-price { background: hsla(24, 95%, 60%, 0.15); color: var(--accent-secondary); }
.cat-stale { background: rgba(6, 182, 212, 0.15); color: #22d3ee; }
.cat-immutable { background: rgba(99, 102, 241, 0.15); color: #818cf8; }
.cat-bot { background: rgba(244, 114, 182, 0.15); color: #f472b6; }
.cat-meta { background: hsla(24, 95%, 60%, 0.15); color: var(--accent-primary); }

.status-pass {
    color: var(--accent-primary);
    font-weight: 600;
}

.attacks-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(340px, 1fr));
    gap: 1.5rem;
}

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

.attack-card.mitigated {
    border-left: 3px solid var(--success);
}

.attack-card.warning {
    border-left: 3px solid var(--warning);
}

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

.attack-status {
    font-size: 0.75rem;
    font-weight: 600;
    padding: 0.25rem 0.75rem;
    border-radius: 9999px;
}

.attack-card.mitigated .attack-status {
    background: hsla(142, 76%, 45%, 0.15);
    color: var(--success);
}

.attack-card.warning .attack-status {
    background: rgba(245, 158, 11, 0.15);
    color: var(--warning);
}

.attack-header h4 {
    font-size: 1rem;
    font-weight: 600;
}

.attack-card > p {
    color: var(--text-secondary);
    font-size: 0.9375rem;
    margin-bottom: 1rem;
}

.attack-mitigation {
    background: var(--bg-secondary);
    padding: 0.75rem 1rem;
    border-radius: 0.5rem;
    font-size: 0.875rem;
    color: var(--text-secondary);
}

.attack-mitigation strong {
    color: var(--text-primary);
}

.attack-mitigation code {
    font-family: var(--font-mono);
    font-size: 0.8125rem;
    color: var(--accent-secondary);
}

.risk-table-wrapper {
    overflow-x: auto;
    border-radius: 0.75rem;
    border: 1px solid var(--border-color);
}

.risk-table {
    width: 100%;
    border-collapse: collapse;
}

.risk-table th,
.risk-table td {
    padding: 1rem 1.5rem;
    text-align: left;
    border-bottom: 1px solid var(--border-color);
}

.risk-table th {
    background: var(--bg-secondary);
    font-weight: 600;
    color: var(--text-primary);
}

.risk-table tr:last-child td {
    border-bottom: none;
}

.risk-table tr:hover td {
    background: hsla(24, 95%, 60%, 0.03);
}

.severity {
    display: inline-block;
    padding: 0.25rem 0.75rem;
    border-radius: 9999px;
    font-size: 0.75rem;
    font-weight: 600;
    text-transform: uppercase;
}

.severity.critical {
    background: rgba(239, 68, 68, 0.15);
    color: #f87171;
}

.severity.high {
    background: rgba(245, 158, 11, 0.15);
    color: #fbbf24;
}

.severity.medium {
    background: rgba(59, 130, 246, 0.15);
    color: #60a5fa;
}

.status-mitigated {
    color: var(--success);
    font-weight: 500;
}

.status-warning {
    color: var(--warning);
    font-weight: 500;
}

.contract-info {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 0.75rem;
    overflow: hidden;
}

.info-row {
    display: flex;
    justify-content: space-between;
    align-items: center;
    padding: 1rem 1.5rem;
    border-bottom: 1px solid var(--border-color);
    flex-wrap: wrap;
    gap: 0.5rem;
}

.info-row:last-child {
    border-bottom: none;
}

.info-label {
    color: var(--text-muted);
    font-size: 0.9375rem;
}

.info-value {
    color: var(--text-primary);
    font-weight: 500;
}

.info-value code {
    font-family: var(--font-mono);
    font-size: 0.875rem;
    color: var(--accent-secondary);
    background: var(--bg-code);
    padding: 0.25rem 0.5rem;
    border-radius: 0.25rem;
}

.balancer-info {
    background: var(--bg-card);
    border: 1px solid var(--border-color);
    border-radius: 0.75rem;
    padding: 2rem;
}

.balancer-badge {
    display: inline-flex;
    align-items: center;
    gap: 0.75rem;
    background: var(--bg-secondary);
    padding: 0.75rem 1.25rem;
    border-radius: 9999px;
    margin-bottom: 1.5rem;
    font-weight: 500;
    color: var(--text-primary);
}

.balancer-logo {
    height: 24px;
    width: auto;
}

.balancer-info > p {
    color: var(--text-secondary);
    margin-bottom: 1.5rem;
    max-width: 700px;
}

.balancer-info code {
    font-family: var(--font-mono);
    font-size: 0.875rem;
    color: var(--accent-secondary);
    background: var(--bg-code);
    padding: 0.125rem 0.375rem;
    border-radius: 0.25rem;
}

.code-block {
    background: var(--bg-code);
    border: 1px solid var(--border-color);
    border-radius: 0.5rem;
    overflow-x: auto;
}

.code-block pre {
    padding: 1.25rem;
    margin: 0;
}

.code-block code {
    font-family: var(--font-mono);
    font-size: 0.875rem;
    color: var(--text-secondary);
    background: transparent;
    padding: 0;
}

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

.footer-content {
    display: flex;
    justify-content: space-between;
    align-items: center;
    flex-wrap: wrap;
    gap: 1.5rem;
}

.footer-left p {
    color: var(--text-secondary);
    font-size: 0.9375rem;
}

.footer-version {
    font-size: 0.8125rem !important;
    color: var(--text-muted) !important;
    margin-top: 0.25rem;
}

.footer-link {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    color: var(--text-secondary);
    text-decoration: none;
    font-size: 0.9375rem;
    transition: var(--transition-fast);
}

.footer-link:hover {
    color: var(--accent-primary);
}

@media (max-width: 768px) {
    .container {
        padding: 0 1.25rem;
    }
    
    .hero {
        padding: 3rem 0 4rem;
    }
    
    .section {
        padding: 3rem 0;
    }
    
    .properties-grid,
    .attacks-grid {
        grid-template-columns: 1fr;
    }
    
    .role-flow {
        flex-direction: column;
    }
    
    .arrow {
        transform: rotate(90deg);
    }
    
    .invariants-table th,
    .invariants-table td {
        padding: 0.75rem;
    }
    
    .footer-content {
        flex-direction: column;
        text-align: center;
    }
}

@media (max-width: 480px) {
    .hero-badges {
        flex-direction: column;
        align-items: center;
    }
    
    .summary-card-header {
        flex-direction: column;
        align-items: flex-start;
    }
    
    .stats-row {
        grid-template-columns: 1fr;
    }
    
    .fuzz-summary {
        grid-template-columns: 1fr;
    }
}