/* DafnyComp - Professional Academic Website Styling */

/* CSS Custom Properties */
:root {
    /* Colors */
    --primary-color: #2563eb;
    --primary-dark: #1d4ed8;
    --primary-light: #3b82f6;
    --secondary-color: #10b981;
    --accent-color: #f59e0b;
    --danger-color: #ef4444;
    --warning-color: #f97316;

    /* Neutrals */
    --white: #ffffff;
    --gray-50: #f9fafb;
    --gray-100: #f3f4f6;
    --gray-200: #e5e7eb;
    --gray-300: #d1d5db;
    --gray-400: #9ca3af;
    --gray-500: #6b7280;
    --gray-600: #4b5563;
    --gray-700: #374151;
    --gray-800: #1f2937;
    --gray-900: #111827;

    /* Gradients */
    --gradient-primary: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    --gradient-dark: linear-gradient(135deg, var(--gray-800), var(--gray-900));
    --gradient-light: linear-gradient(135deg, var(--gray-50), var(--white));

    /* Typography */
    --font-family: 'Inter', -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
    --font-mono: 'Fira Code', 'SF Mono', Monaco, Inconsolata, 'Roboto Mono', monospace;

    /* Spacing */
    --container-max-width: 1200px;
    --container-padding: 2rem;
    --section-padding: 5rem 0;

    /* Transitions */
    --transition-fast: all 0.2s ease;
    --transition-medium: all 0.3s ease;
    --transition-slow: all 0.5s ease;

    /* Shadows */
    --shadow-sm: 0 1px 2px 0 rgba(0, 0, 0, 0.05);
    --shadow-md: 0 4px 6px -1px rgba(0, 0, 0, 0.1), 0 2px 4px -1px rgba(0, 0, 0, 0.06);
    --shadow-lg: 0 10px 15px -3px rgba(0, 0, 0, 0.1), 0 4px 6px -2px rgba(0, 0, 0, 0.05);
    --shadow-xl: 0 20px 25px -5px rgba(0, 0, 0, 0.1), 0 10px 10px -5px rgba(0, 0, 0, 0.04);

    /* Border radius */
    --border-radius-sm: 0.375rem;
    --border-radius-md: 0.5rem;
    --border-radius-lg: 0.75rem;
    --border-radius-xl: 1rem;
}

/* Reset and Base Styles */
* {
    margin: 0;
    padding: 0;
    box-sizing: border-box;
}

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

body {
    font-family: var(--font-family);
    line-height: 1.6;
    color: var(--gray-800);
    background-color: var(--white);
    overflow-x: hidden;
}

/* Typography */
h1, h2, h3, h4, h5, h6 {
    font-weight: 600;
    line-height: 1.3;
    margin-bottom: 1rem;
}

h1 {
    font-size: clamp(2.5rem, 5vw, 4rem);
    font-weight: 700;
}

h2 {
    font-size: clamp(2rem, 4vw, 2.5rem);
}

h3 {
    font-size: clamp(1.5rem, 3vw, 1.875rem);
}

h4 {
    font-size: 1.25rem;
}

p {
    margin-bottom: 1rem;
    color: var(--gray-600);
    font-size: 1.1rem;
}

a {
    color: var(--primary-color);
    text-decoration: none;
    transition: var(--transition-fast);
}

a:hover {
    color: var(--primary-dark);
}

/* Utility Classes */
.container {
    max-width: var(--container-max-width);
    margin: 0 auto;
    padding: 0 var(--container-padding);
}

.section {
    padding: var(--section-padding);
    position: relative;
}

.section-alt {
    background: linear-gradient(135deg, var(--gray-50), var(--white));
}

.section-title {
    text-align: center;
    margin-bottom: 3rem;
    position: relative;
}

.section-title::after {
    content: '';
    position: absolute;
    bottom: -10px;
    left: 50%;
    transform: translateX(-50%);
    width: 60px;
    height: 4px;
    background: var(--gradient-primary);
    border-radius: 2px;
}

.gradient-text {
    background: var(--gradient-primary);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

/* Buttons */
.btn {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    padding: 0.75rem 1.5rem;
    font-size: 1rem;
    font-weight: 500;
    text-decoration: none;
    border-radius: var(--border-radius-md);
    transition: var(--transition-medium);
    cursor: pointer;
    border: none;
    text-align: center;
    white-space: nowrap;
}

.btn-primary {
    background: var(--gradient-primary);
    color: var(--white);
    box-shadow: var(--shadow-md);
}

.btn-primary:hover {
    transform: translateY(-2px);
    box-shadow: var(--shadow-lg);
    color: var(--white);
}

.btn-secondary {
    background: var(--white);
    color: var(--gray-700);
    border: 2px solid var(--gray-200);
    box-shadow: var(--shadow-sm);
}

.btn-secondary:hover {
    background: var(--gray-50);
    border-color: var(--gray-300);
    transform: translateY(-2px);
    box-shadow: var(--shadow-md);
}

.btn-outline {
    background: transparent;
    color: var(--primary-color);
    border: 2px solid var(--primary-color);
}

.btn-outline:hover {
    background: var(--primary-color);
    color: var(--white);
    transform: translateY(-2px);
}

/* Navigation */
.navbar {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    background: rgba(255, 255, 255, 0.95);
    backdrop-filter: blur(10px);
    border-bottom: 1px solid var(--gray-200);
    z-index: 1000;
    transition: var(--transition-medium);
}

.nav-container {
    max-width: var(--container-max-width);
    margin: 0 auto;
    padding: 0 var(--container-padding);
    display: flex;
    align-items: center;
    justify-content: space-between;
    height: 70px;
}

.nav-logo {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--gray-800);
}

.nav-logo i {
    color: var(--primary-color);
    font-size: 1.75rem;
}

.nav-menu {
    display: flex;
    list-style: none;
    gap: 2rem;
    margin: 0;
}

.nav-link {
    color: var(--gray-600);
    font-weight: 500;
    padding: 0.5rem 0;
    position: relative;
    transition: var(--transition-fast);
}

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

.nav-link::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 0;
    width: 0;
    height: 2px;
    background: var(--primary-color);
    transition: var(--transition-fast);
}

.nav-link:hover::after {
    width: 100%;
}

.hamburger {
    display: none;
    flex-direction: column;
    cursor: pointer;
    gap: 4px;
}

.hamburger span {
    width: 25px;
    height: 3px;
    background: var(--gray-600);
    transition: var(--transition-fast);
}

/* Hero Section */
.hero {
    min-height: 100vh;
    display: flex;
    align-items: center;
    position: relative;
    background: linear-gradient(135deg, var(--white), var(--gray-50));
    overflow: hidden;
    padding-top: 70px;
}

.hero-particles {
    position: absolute;
    top: 0;
    left: 0;
    right: 0;
    bottom: 0;
    background-image:
        radial-gradient(circle at 20% 30%, rgba(37, 99, 235, 0.1) 0%, transparent 50%),
        radial-gradient(circle at 80% 70%, rgba(16, 185, 129, 0.1) 0%, transparent 50%),
        radial-gradient(circle at 60% 20%, rgba(245, 158, 11, 0.05) 0%, transparent 50%);
    animation: float 20s ease-in-out infinite;
}

@keyframes float {
    0%, 100% { transform: translate(0, 0) rotate(0deg); }
    33% { transform: translate(-10px, -10px) rotate(1deg); }
    66% { transform: translate(10px, 5px) rotate(-1deg); }
}

.hero .container {
    display: grid;
    grid-template-columns: 1fr 1fr;
    gap: 4rem;
    align-items: center;
    position: relative;
    z-index: 2;
}

.hero-content {
    max-width: 600px;
}

.hero-badge {
    display: inline-flex;
    align-items: center;
    gap: 0.5rem;
    background: var(--gradient-primary);
    color: var(--white);
    padding: 0.5rem 1rem;
    border-radius: 50px;
    font-size: 0.875rem;
    font-weight: 500;
    margin-bottom: 1rem;
    animation: pulse 2s infinite;
}

@keyframes pulse {
    0%, 100% { transform: scale(1); }
    50% { transform: scale(1.05); }
}

.hero-title {
    margin-bottom: 1rem;
    line-height: 1.2;
}

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

.hero-authors {
    margin: 1.5rem 0 2rem 0;
}

.authors-container {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    gap: 1rem;
    justify-items: center;
    max-width: 750px;
    margin: 0 auto;
}

.author-item {
    width: 100%;
}

.author-link {
    display: flex;
    flex-direction: column;
    align-items: center;
    text-decoration: none;
    padding: 1rem;
    border-radius: var(--border-radius-lg);
    transition: var(--transition-medium);
    background: var(--white);
    border: 1px solid var(--gray-200);
    box-shadow: var(--shadow-sm);
    width: 100%;
    text-align: center;
}

.author-link:hover {
    transform: translateY(-5px);
    box-shadow: var(--shadow-lg);
    border-color: var(--primary-color);
}

.author-name {
    font-weight: 600;
    font-size: 1rem;
    color: var(--gray-800);
    margin-bottom: 0.5rem;
    transition: var(--transition-fast);
}

.author-link:hover .author-name {
    color: var(--primary-color);
}

.author-affiliation {
    font-size: 0.875rem;
    color: var(--gray-500);
    text-align: center;
    line-height: 1.3;
    font-weight: 400;
    transition: var(--transition-fast);
}

.author-link:hover .author-affiliation {
    color: var(--gray-600);
}

.hero-description {
    font-size: 1.25rem;
    margin-bottom: 2rem;
    color: var(--gray-600);
}

.hero-stats {
    display: flex;
    gap: 2rem;
    margin: 2rem 0;
}

.stat {
    text-align: center;
}

.stat-number {
    display: block;
    font-size: 2rem;
    font-weight: 700;
    background: var(--gradient-primary);
    -webkit-background-clip: text;
    -webkit-text-fill-color: transparent;
    background-clip: text;
}

.stat-label {
    font-size: 0.875rem;
    color: var(--gray-500);
    font-weight: 500;
}

.hero-actions {
    display: flex;
    gap: 1rem;
    flex-wrap: wrap;
}

.hero-visual {
    display: flex;
    justify-content: center;
    align-items: center;
}

.chart-container {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-xl);
    box-shadow: var(--shadow-xl);
    border: 1px solid var(--gray-200);
    max-width: 400px;
    width: 100%;
}

.chart-title {
    text-align: center;
    font-weight: 600;
    font-size: 1.25rem;
    margin-bottom: 1.5rem;
    color: var(--gray-800);
}

.chart-bars {
    display: flex;
    gap: 2rem;
    justify-content: space-around;
}

.bar-group {
    text-align: center;
    flex: 1;
}

.bar {
    height: 200px;
    width: 40px;
    margin: 0 auto 1rem;
    border-radius: var(--border-radius-sm);
    position: relative;
    overflow: hidden;
}

.bar::before {
    content: '';
    position: absolute;
    bottom: 0;
    left: 0;
    right: 0;
    background: var(--gray-200);
    height: 100%;
    transition: var(--transition-slow);
}

.bar.syntax::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 0;
    right: 0;
    background: var(--gradient-primary);
    height: 99%;
    transition: var(--transition-slow);
    animation: fillBar 2s ease-out;
}

.bar.verification::after {
    content: '';
    position: absolute;
    bottom: 0;
    left: 0;
    right: 0;
    background: var(--danger-color);
    height: 7%;
    transition: var(--transition-slow);
    animation: fillBar 2s ease-out 0.5s both;
}

@keyframes fillBar {
    from { height: 0; }
    to { height: var(--bar-height, 0); }
}

.bar-group label {
    font-size: 0.875rem;
    color: var(--gray-600);
    font-weight: 500;
    margin-bottom: 0.5rem;
    display: block;
}

.percentage {
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--gray-800);
}

/* Abstract Section */
.abstract-content {
    display: grid;
    grid-template-columns: 2fr 1fr;
    gap: 4rem;
    align-items: start;
}

.abstract-text {
    font-size: 1.125rem;
    line-height: 1.7;
}

.abstract-text p {
    margin-bottom: 1.5rem;
}

.key-findings {
    background: var(--gray-50);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    border-left: 4px solid var(--primary-color);
    margin-top: 2rem;
}

.key-findings h3 {
    color: var(--primary-color);
    margin-bottom: 1rem;
}

.key-findings ul {
    list-style: none;
    padding: 0;
}

.key-findings li {
    margin-bottom: 1rem;
    padding-left: 1.5rem;
    position: relative;
}

.key-findings li::before {
    content: '▸';
    color: var(--primary-color);
    font-weight: 700;
    position: absolute;
    left: 0;
}

.abstract-visual {
    position: sticky;
    top: 100px;
}

.failure-modes {
    display: flex;
    flex-direction: column;
    gap: 1.5rem;
}

.failure-mode {
    background: var(--white);
    padding: 1.5rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    text-align: center;
    transition: var(--transition-medium);
}

.failure-mode:hover {
    transform: translateY(-5px);
    box-shadow: var(--shadow-lg);
}

.failure-icon {
    width: 50px;
    height: 50px;
    background: var(--gradient-primary);
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    margin: 0 auto 1rem;
    color: var(--white);
    font-size: 1.25rem;
}

.failure-mode h4 {
    font-size: 1rem;
    margin-bottom: 0.5rem;
    color: var(--gray-800);
}

.failure-mode p {
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--primary-color);
    margin-bottom: 0.25rem;
}

.failure-mode span {
    font-size: 0.875rem;
    color: var(--gray-500);
}

/* Benchmark Section */
.benchmark-stats-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(250px, 1fr));
    gap: 2rem;
    margin-bottom: 4rem;
}

.stat-card {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    text-align: center;
    transition: var(--transition-medium);
}

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

.stat-icon {
    width: 60px;
    height: 60px;
    background: var(--gradient-primary);
    border-radius: var(--border-radius-lg);
    display: flex;
    align-items: center;
    justify-content: center;
    margin: 0 auto 1rem;
    color: var(--white);
    font-size: 1.5rem;
}

.stat-card h3 {
    color: var(--gray-800);
    margin-bottom: 1rem;
}

.stat-card p {
    color: var(--gray-600);
}

/* Pipeline */
.benchmark-pipeline {
    margin: 4rem 0;
}

.pipeline-stages {
    display: flex;
    align-items: center;
    gap: 2rem;
    margin-top: 2rem;
}

.stage {
    flex: 1;
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    position: relative;
}

.stage-number {
    position: absolute;
    top: -15px;
    left: 2rem;
    background: var(--gradient-primary);
    color: var(--white);
    width: 30px;
    height: 30px;
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: 700;
}

.stage h4 {
    color: var(--primary-color);
    margin-bottom: 1rem;
}

.stage ul {
    list-style: none;
    padding: 0;
}

.stage li {
    margin-bottom: 0.5rem;
    padding-left: 1.5rem;
    position: relative;
    color: var(--gray-600);
}

.stage li::before {
    content: '•';
    color: var(--primary-color);
    position: absolute;
    left: 0;
}

.pipeline-arrow {
    font-size: 2rem;
    color: var(--primary-color);
    flex-shrink: 0;
}

/* Task Format */
.task-format {
    margin-top: 4rem;
}

.code-before-after {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    gap: 2rem;
    align-items: center;
    margin: 2rem 0;
}

.code-section {
    background: var(--gray-900);
    border-radius: var(--border-radius-lg);
    overflow: hidden;
}

.code-section h4 {
    background: var(--gray-800);
    padding: 1rem 1.5rem;
    margin: 0;
    color: var(--white);
    font-size: 1rem;
    border-bottom: 1px solid var(--gray-700);
}

.code-section pre {
    margin: 0;
    padding: 1.5rem;
}

.code-section code {
    font-family: var(--font-mono);
    font-size: 0.875rem;
    line-height: 1.6;
}

.arrow {
    font-size: 2rem;
    color: var(--primary-color);
}

.task-description {
    background: var(--gray-50);
    padding: 1.5rem;
    border-radius: var(--border-radius-lg);
    border-left: 4px solid var(--primary-color);
    margin-top: 2rem;
    font-style: italic;
}

/* Results Section */
.result-highlight {
    text-align: center;
    max-width: 800px;
    margin: 0 auto 4rem;
}

.result-summary {
    font-size: 1.25rem;
    line-height: 1.6;
    color: var(--gray-600);
}

.models-tested {
    margin: 4rem 0;
}

.model-families {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
}

.model-family {
    background: var(--white);
    padding: 1.5rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    text-align: center;
}

.family-icon {
    width: 50px;
    height: 50px;
    border-radius: var(--border-radius-lg);
    margin: 0 auto 1rem;
    display: flex;
    align-items: center;
    justify-content: center;
    color: var(--white);
    font-weight: 700;
    font-size: 1.25rem;
}

.family-icon.openai { background: linear-gradient(135deg, #10a37f, #1a7f64); }
.family-icon.anthropic { background: linear-gradient(135deg, #d97757, #c65d40); }
.family-icon.google { background: linear-gradient(135deg, #4285f4, #34a853); }
.family-icon.deepseek { background: linear-gradient(135deg, #1e293b, #334155); }
.family-icon.alibaba { background: linear-gradient(135deg, #ff6a00, #ff8533); }

.family-icon::before {
    content: attr(data-initial);
}

.model-family h4 {
    margin-bottom: 1rem;
    color: var(--gray-800);
}

.model-family ul {
    list-style: none;
    padding: 0;
}

.model-family li {
    padding: 0.25rem 0;
    color: var(--gray-600);
    font-size: 0.875rem;
}

/* Performance Comparison */
.performance-comparison {
    margin: 4rem 0;
}

.comparison-chart {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
}

.benchmark-comparison {
    display: grid;
    grid-template-columns: 1fr auto 1fr;
    gap: 2rem;
    align-items: center;
    margin-bottom: 2rem;
}

.benchmark-item h4 {
    margin-bottom: 1rem;
    color: var(--gray-800);
}

.performance-bar {
    background: var(--gray-200);
    height: 30px;
    border-radius: var(--border-radius-sm);
    position: relative;
    margin-bottom: 1rem;
    overflow: hidden;
}

.bar-fill {
    height: 100%;
    background: var(--gradient-primary);
    transition: var(--transition-slow);
    animation: fillBar 2s ease-out;
}

.bar-fill.critical {
    background: var(--danger-color);
}

.performance-bar .percentage {
    position: absolute;
    right: 10px;
    top: 50%;
    transform: translateY(-50%);
    color: var(--white);
    font-weight: 700;
    font-size: 1rem;
}

.vs-divider {
    background: var(--gradient-primary);
    color: var(--white);
    width: 60px;
    height: 60px;
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: 700;
    font-size: 1.25rem;
}

.degradation-stats {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 1rem;
    padding: 2rem;
    background: var(--gray-50);
    border-radius: var(--border-radius-lg);
}

.degradation-item {
    text-align: center;
}

.multiplier {
    display: block;
    font-size: 2rem;
    font-weight: 700;
    color: var(--danger-color);
}

.label {
    font-size: 0.875rem;
    color: var(--gray-600);
}

.arrow-right {
    font-size: 2rem;
    color: var(--primary-color);
}

.degradation-note {
    position: absolute;
    bottom: -2rem;
    left: 50%;
    transform: translateX(-50%);
    font-size: 0.875rem;
    color: var(--gray-500);
    font-style: italic;
    white-space: nowrap;
}

/* Observations */
.observations-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
}

.observation {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    position: relative;
}

.observation-number {
    position: absolute;
    top: -15px;
    left: 2rem;
    background: var(--gradient-primary);
    color: var(--white);
    width: 30px;
    height: 30px;
    border-radius: 50%;
    display: flex;
    align-items: center;
    justify-content: center;
    font-weight: 700;
}

.observation h4 {
    color: var(--primary-color);
    margin-bottom: 1rem;
}

/* Failure Analysis */
.insights-intro {
    text-align: center;
    max-width: 800px;
    margin: 0 auto 4rem;
}

.insights-description {
    font-size: 1.25rem;
    line-height: 1.6;
    color: var(--gray-600);
}

.failure-mode-detailed {
    background: var(--white);
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    margin-bottom: 2rem;
    overflow: hidden;
}

.failure-header {
    display: flex;
    align-items: center;
    gap: 2rem;
    padding: 2rem;
    background: var(--gray-50);
    border-bottom: 1px solid var(--gray-200);
}

.failure-icon-large {
    width: 80px;
    height: 80px;
    border-radius: var(--border-radius-lg);
    display: flex;
    align-items: center;
    justify-content: center;
    color: var(--white);
    font-size: 2rem;
    flex-shrink: 0;
}

.failure-icon-large.fragility {
    background: linear-gradient(135deg, #ef4444, #dc2626);
}

.failure-icon-large.misalignment {
    background: linear-gradient(135deg, #f97316, #ea580c);
}

.failure-icon-large.instability {
    background: linear-gradient(135deg, #eab308, #ca8a04);
}

.failure-info h3 {
    margin-bottom: 0.5rem;
    color: var(--gray-800);
}

.failure-stats {
    display: flex;
    gap: 1rem;
    align-items: baseline;
}

.failure-stats .percentage {
    font-size: 2rem;
    font-weight: 700;
    color: var(--primary-color);
}

.failure-stats .count {
    color: var(--gray-500);
    font-size: 1rem;
}

.failure-content {
    padding: 2rem;
}

.failure-content > p {
    font-size: 1.125rem;
    margin-bottom: 2rem;
    color: var(--gray-700);
}

.example-scenario {
    background: var(--gray-50);
    padding: 1.5rem;
    border-radius: var(--border-radius-lg);
    border-left: 4px solid var(--primary-color);
    margin-bottom: 2rem;
}

.example-scenario h4 {
    color: var(--primary-color);
    margin-bottom: 1rem;
    font-size: 1rem;
}

.takeaway {
    display: flex;
    gap: 1rem;
    align-items: start;
    background: linear-gradient(135deg, var(--primary-color), var(--secondary-color));
    background-opacity: 0.1;
    padding: 1.5rem;
    border-radius: var(--border-radius-lg);
    border: 1px solid rgba(37, 99, 235, 0.2);
}

.takeaway i {
    color: var(--primary-color);
    font-size: 1.25rem;
    margin-top: 0.25rem;
    flex-shrink: 0;
}

.takeaway p {
    margin: 0;
    color: var(--gray-700);
}

/* Implications */
.implications {
    margin-top: 4rem;
}

.implications-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));
    gap: 2rem;
    margin-top: 2rem;
}

.implication {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    text-align: center;
}

.implication i {
    font-size: 2.5rem;
    color: var(--primary-color);
    margin-bottom: 1rem;
    display: block;
}

.implication h4 {
    color: var(--gray-800);
    margin-bottom: 1rem;
}

/* Download Section */
.download-grid {
    display: grid;
    grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));
    gap: 2rem;
    margin-bottom: 4rem;
}

.download-card {
    background: var(--white);
    padding: 2rem;
    border-radius: var(--border-radius-lg);
    box-shadow: var(--shadow-md);
    border: 1px solid var(--gray-200);
    text-align: center;
    transition: var(--transition-medium);
}

.download-card:hover {
    transform: translateY(-5px);
    box-shadow: var(--shadow-lg);
}

.download-card.primary {
    border: 2px solid var(--primary-color);
}

.download-icon {
    width: 60px;
    height: 60px;
    border-radius: var(--border-radius-lg);
    display: flex;
    align-items: center;
    justify-content: center;
    margin: 0 auto 1.5rem;
    font-size: 1.5rem;
    color: var(--white);
    background: var(--gradient-primary);
}

.download-card h3 {
    margin-bottom: 1rem;
    color: var(--gray-800);
}

.download-card p {
    margin-bottom: 2rem;
    color: var(--gray-600);
}

/* Citation */
.citation-section {
    margin: 4rem 0;
}

.citation-box {
    background: var(--gray-900);
    border-radius: var(--border-radius-lg);
    position: relative;
    overflow: hidden;
}

.citation-content {
    padding: 2rem;
}

.citation-content pre {
    color: var(--gray-300);
    font-family: var(--font-mono);
    font-size: 0.875rem;
    line-height: 1.6;
    margin: 0;
    white-space: pre-wrap;
}

.copy-btn {
    position: absolute;
    top: 1rem;
    right: 1rem;
    background: var(--primary-color);
    color: var(--white);
    border: none;
    padding: 0.5rem 1rem;
    border-radius: var(--border-radius-sm);
    cursor: pointer;
    font-size: 0.875rem;
    transition: var(--transition-fast);
}

.copy-btn:hover {
    background: var(--primary-dark);
}

/* Contact */
.contact-section {
    text-align: center;
}

.contact-info {
    display: flex;
    justify-content: center;
    gap: 2rem;
    flex-wrap: wrap;
    margin-top: 1rem;
}

.contact-item {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    color: var(--primary-color);
    font-weight: 500;
    transition: var(--transition-fast);
}

.contact-item:hover {
    color: var(--primary-dark);
}

/* Footer */
.footer {
    background: var(--gray-900);
    color: var(--gray-300);
    padding: 3rem 0 1rem;
}

.footer-content {
    display: grid;
    grid-template-columns: 1fr auto;
    gap: 4rem;
    margin-bottom: 2rem;
}

.footer-logo {
    display: flex;
    align-items: center;
    gap: 0.5rem;
    font-size: 1.5rem;
    font-weight: 700;
    color: var(--white);
    margin-bottom: 1rem;
}

.footer-logo i {
    color: var(--primary-color);
}

.footer-info p {
    color: var(--gray-400);
    margin: 0;
}

.footer-links {
    display: flex;
    gap: 3rem;
}

.footer-section h4 {
    color: var(--white);
    margin-bottom: 1rem;
    font-size: 1rem;
}

.footer-section a {
    display: block;
    color: var(--gray-400);
    margin-bottom: 0.5rem;
    transition: var(--transition-fast);
}

.footer-section a:hover {
    color: var(--primary-color);
}

.footer-bottom {
    border-top: 1px solid var(--gray-800);
    padding-top: 2rem;
    text-align: center;
}

.footer-bottom p {
    margin: 0.5rem 0;
    color: var(--gray-500);
    font-size: 0.875rem;
}

/* Responsive Design */
@media (max-width: 768px) {
    :root {
        --container-padding: 1rem;
        --section-padding: 3rem 0;
    }

    .nav-menu {
        position: fixed;
        top: 70px;
        left: 0;
        right: 0;
        background: var(--white);
        flex-direction: column;
        padding: 2rem;
        box-shadow: var(--shadow-lg);
        transform: translateY(-100%);
        opacity: 0;
        transition: var(--transition-medium);
        pointer-events: none;
    }

    .nav-menu.active {
        transform: translateY(0);
        opacity: 1;
        pointer-events: all;
    }

    .hamburger {
        display: flex;
    }

    .hamburger.active span:nth-child(1) {
        transform: rotate(45deg) translate(5px, 5px);
    }

    .hamburger.active span:nth-child(2) {
        opacity: 0;
    }

    .hamburger.active span:nth-child(3) {
        transform: rotate(-45deg) translate(7px, -6px);
    }

    .hero .container {
        grid-template-columns: 1fr;
        gap: 2rem;
        text-align: center;
    }

    .hero-stats {
        justify-content: center;
    }

    .hero-actions {
        justify-content: center;
    }

    .authors-container {
        grid-template-columns: repeat(auto-fit, minmax(140px, 1fr));
        gap: 0.75rem;
        max-width: none;
    }

    .author-link {
        padding: 0.75rem;
    }

    .author-name {
        font-size: 0.95rem;
    }

    .author-affiliation {
        font-size: 0.8rem;
    }

    .abstract-content {
        grid-template-columns: 1fr;
        gap: 2rem;
    }

    .abstract-visual {
        position: static;
    }

    .failure-modes {
        flex-direction: row;
        overflow-x: auto;
        padding-bottom: 1rem;
    }

    .failure-mode {
        min-width: 200px;
    }

    .benchmark-stats-grid {
        grid-template-columns: 1fr;
    }

    .pipeline-stages {
        flex-direction: column;
    }

    .pipeline-arrow {
        transform: rotate(90deg);
    }

    .code-before-after {
        grid-template-columns: 1fr;
        gap: 1rem;
    }

    .arrow {
        transform: rotate(90deg);
        justify-self: center;
    }

    .model-families {
        grid-template-columns: repeat(auto-fit, minmax(150px, 1fr));
    }

    .benchmark-comparison {
        grid-template-columns: 1fr;
        gap: 1rem;
    }

    .vs-divider {
        justify-self: center;
    }

    .degradation-stats {
        flex-direction: column;
        gap: 0.5rem;
    }

    .arrow-right {
        transform: rotate(90deg);
    }

    .degradation-note {
        position: static;
        transform: none;
        margin-top: 1rem;
        white-space: normal;
        text-align: center;
    }

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

    .failure-header {
        flex-direction: column;
        text-align: center;
        gap: 1rem;
    }

    .failure-stats {
        justify-content: center;
    }

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

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

    .contact-info {
        flex-direction: column;
        gap: 1rem;
    }

    .footer-content {
        grid-template-columns: 1fr;
        gap: 2rem;
        text-align: center;
    }

    .footer-links {
        justify-content: center;
    }
}

@media (max-width: 480px) {
    .hero-stats {
        flex-direction: column;
        gap: 1rem;
    }

    .hero-actions {
        flex-direction: column;
        width: 100%;
    }

    .btn {
        width: 100%;
        justify-content: center;
    }

    .authors-container {
        grid-template-columns: 1fr;
        gap: 0.5rem;
        max-width: 280px;
    }

    .author-link {
        padding: 0.75rem;
    }

    .chart-bars {
        gap: 1rem;
    }

    .bar {
        width: 30px;
        height: 150px;
    }

    .failure-modes {
        flex-direction: column;
    }

    .failure-mode {
        min-width: auto;
    }
}

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

::-webkit-scrollbar-track {
    background: var(--gray-100);
}

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

::-webkit-scrollbar-thumb:hover {
    background: var(--gray-500);
}

/* Print Styles */
@media print {
    .navbar, .hero-particles, .hamburger {
        display: none;
    }

    .section {
        padding: 2rem 0;
    }

    .hero {
        min-height: auto;
        padding: 2rem 0;
    }

    .footer {
        background: none;
        color: var(--gray-800);
    }
}