/* ═══════════════════════════════════════════════════════════════════════
   CryptSmith — Design System
   200% better: dark mode, animations, multi-page, search, RSS, code blocks
   ═══════════════════════════════════════════════════════════════════════ */

/* ── CSS Custom Properties ── */
:root {
  /* Light theme */
  --bg: #ffffff;
  --bg-secondary: #f8f9fa;
  --bg-tertiary: #f1f3f5;
  --surface: #ffffff;
  --surface-hover: #f8f9fa;
  --text: #1a1a2e;
  --text-secondary: #495057;
  --text-tertiary: #868e96;
  --border: #dee2e6;
  --border-light: #e9ecef;
  --shadow-sm: 0 1px 2px rgba(0,0,0,0.04);
  --shadow-md: 0 4px 12px rgba(0,0,0,0.06), 0 1px 2px rgba(0,0,0,0.04);
  --shadow-lg: 0 12px 40px rgba(0,0,0,0.08), 0 2px 8px rgba(0,0,0,0.04);
  --shadow-xl: 0 24px 64px rgba(0,0,0,0.10), 0 4px 16px rgba(0,0,0,0.04);
  --ring: 0 0 0 1px rgba(0,0,0,0.06);

  /* Brand */
  --gold: #b8860b;
  --gold-light: #f5e6c8;
  --gold-dark: #8b6508;
  --green: #0a7f3a;
  --green-light: #e6f4ea;
  --purple: #6b3fa0;
  --purple-light: #f0ebf8;
  --blue: #0072f5;
  --blue-light: #e6f0ff;
  --red: #c92a2a;
  --red-light: #ffe3e3;

  /* Typography */
  --font-sans: 'Inter', system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif;
  --font-mono: 'JetBrains Mono', 'Geist Mono', ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;
  --font-size-xs: 0.75rem;
  --font-size-sm: 0.875rem;
  --font-size-base: 1rem;
  --font-size-lg: 1.125rem;
  --font-size-xl: 1.25rem;
  --font-size-2xl: 1.5rem;
  --font-size-3xl: 2rem;
  --font-size-4xl: 2.5rem;
  --font-size-5xl: 3.5rem;

  /* Spacing */
  --space-xs: 0.25rem;
  --space-sm: 0.5rem;
  --space-md: 1rem;
  --space-lg: 1.5rem;
  --space-xl: 2rem;
  --space-2xl: 3rem;
  --space-3xl: 4rem;
  --space-4xl: 6rem;

  /* Layout */
  --max-width: 1200px;
  --content-width: 720px;
  --nav-height: 60px;
  --radius-sm: 6px;
  --radius-md: 10px;
  --radius-lg: 16px;
  --radius-xl: 24px;

  /* Transitions */
  --transition-fast: 150ms ease;
  --transition-base: 250ms ease;
  --transition-slow: 400ms cubic-bezier(0.16, 1, 0.3, 1);
}

/* ── Dark Theme ── */
[data-theme="dark"] {
  --bg: #0d1117;
  --bg-secondary: #161b22;
  --bg-tertiary: #21262d;
  --surface: #161b22;
  --surface-hover: #1c2128;
  --text: #e6edf3;
  --text-secondary: #8b949e;
  --text-tertiary: #6e7681;
  --border: #30363d;
  --border-light: #21262d;
  --shadow-sm: 0 1px 2px rgba(0,0,0,0.3);
  --shadow-md: 0 4px 12px rgba(0,0,0,0.4), 0 1px 2px rgba(0,0,0,0.3);
  --shadow-lg: 0 12px 40px rgba(0,0,0,0.5), 0 2px 8px rgba(0,0,0,0.3);
  --shadow-xl: 0 24px 64px rgba(0,0,0,0.6), 0 4px 16px rgba(0,0,0,0.3);
  --ring: 0 0 0 1px rgba(255,255,255,0.08);

  --gold: #d4a017;
  --gold-light: #3d3520;
  --gold-dark: #f0c040;
  --green: #3fb950;
  --green-light: #162918;
  --purple: #a371f7;
  --purple-light: #1c1530;
  --blue: #58a6ff;
  --blue-light: #0d2137;
  --red: #f85149;
  --red-light: #2d1215;
}

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

html {
  scroll-behavior: smooth;
  -webkit-text-size-adjust: 100%;
}

body {
  font-family: var(--font-sans);
  font-size: var(--font-size-base);
  line-height: 1.7;
  color: var(--text);
  background: var(--bg);
  transition: background var(--transition-base), color var(--transition-base);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
}

/* ── Reading Progress Bar ── */
#reading-progress {
  position: fixed;
  top: 0;
  left: 0;
  height: 3px;
  background: linear-gradient(90deg, var(--gold), var(--purple));
  z-index: 1000;
  transition: width 100ms linear;
}

/* ── Navigation ── */
nav {
  position: sticky;
  top: 0;
  z-index: 100;
  background: var(--bg);
  border-bottom: 1px solid var(--border-light);
  backdrop-filter: blur(12px);
  -webkit-backdrop-filter: blur(12px);
  height: var(--nav-height);
  display: flex;
  align-items: center;
  padding: 0 var(--space-xl);
  transition: background var(--transition-base), border-color var(--transition-base);
}

.nav-inner {
  max-width: var(--max-width);
  width: 100%;
  margin: 0 auto;
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.nav-brand {
  font-family: var(--font-mono);
  font-size: 1.125rem;
  font-weight: 600;
  color: var(--text);
  text-decoration: none;
  letter-spacing: -0.5px;
  display: flex;
  align-items: center;
  gap: var(--space-sm);
}

.nav-brand .icon {
  width: 32px;
  height: 32px;
  background: linear-gradient(135deg, var(--gold), var(--gold-dark));
  border-radius: var(--radius-sm);
  display: flex;
  align-items: center;
  justify-content: center;
  font-size: 1rem;
}

.nav-brand span { color: var(--gold); }

.nav-links {
  display: flex;
  gap: var(--space-sm);
  align-items: center;
}

.nav-links a {
  font-size: var(--font-size-sm);
  font-weight: 500;
  color: var(--text-secondary);
  text-decoration: none;
  padding: var(--space-xs) var(--space-md);
  border-radius: var(--radius-sm);
  transition: color var(--transition-fast), background var(--transition-fast);
}

.nav-links a:hover,
.nav-links a.active {
  color: var(--text);
  background: var(--bg-tertiary);
}

.nav-cta {
  background: var(--text) !important;
  color: var(--bg) !important;
  padding: var(--space-sm) var(--space-lg) !important;
  border-radius: var(--radius-md) !important;
  font-weight: 600 !important;
  transition: opacity var(--transition-fast) !important;
}

.nav-cta:hover { opacity: 0.85; }

/* Theme toggle */
.theme-toggle {
  background: none;
  border: 1px solid var(--border);
  border-radius: var(--radius-sm);
  width: 36px;
  height: 36px;
  display: flex;
  align-items: center;
  justify-content: center;
  cursor: pointer;
  color: var(--text-secondary);
  font-size: 1.1rem;
  transition: all var(--transition-fast);
  margin-left: var(--space-sm);
}

.theme-toggle:hover {
  color: var(--text);
  border-color: var(--text-tertiary);
}

/* Mobile nav */
.mobile-menu-btn {
  display: none;
  background: none;
  border: none;
  color: var(--text);
  font-size: 1.5rem;
  cursor: pointer;
  padding: var(--space-xs);
}

/* ── Hero ── */
.hero {
  padding: var(--space-4xl) var(--space-xl) var(--space-3xl);
  max-width: var(--max-width);
  margin: 0 auto;
  text-align: center;
  position: relative;
}

.hero::before {
  content: '';
  position: absolute;
  top: -100px;
  left: 50%;
  transform: translateX(-50%);
  width: 600px;
  height: 600px;
  background: radial-gradient(circle, var(--gold-light) 0%, transparent 70%);
  opacity: 0.3;
  pointer-events: none;
  z-index: 0;
}

[data-theme="dark"] .hero::before {
  opacity: 0.15;
}

.hero > * { position: relative; z-index: 1; }

.hero-badge {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: var(--font-size-xs);
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 1px;
  color: var(--gold);
  background: var(--gold-light);
  padding: var(--space-xs) var(--space-md);
  border-radius: 9999px;
  margin-bottom: var(--space-xl);
}

.hero h1 {
  font-size: var(--font-size-5xl);
  font-weight: 800;
  line-height: 1.08;
  letter-spacing: -2.4px;
  color: var(--text);
  margin-bottom: var(--space-lg);
  max-width: 800px;
  margin-left: auto;
  margin-right: auto;
}

.hero h1 .gold { color: var(--gold); }
.hero h1 .purple { color: var(--purple); }

.hero .subtitle {
  font-size: var(--font-size-xl);
  font-weight: 400;
  line-height: 1.6;
  color: var(--text-secondary);
  max-width: 640px;
  margin: 0 auto var(--space-xl);
}

.hero .byline {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  font-weight: 500;
  color: var(--text-tertiary);
  display: flex;
  align-items: center;
  justify-content: center;
  gap: var(--space-md);
  flex-wrap: wrap;
}

.hero .byline a {
  color: var(--blue);
  text-decoration: none;
  transition: color var(--transition-fast);
}

.hero .byline a:hover { text-decoration: underline; }

.hero-stats {
  display: flex;
  gap: var(--space-2xl);
  justify-content: center;
  margin-top: var(--space-2xl);
  flex-wrap: wrap;
}

.hero-stat {
  text-align: center;
}

.hero-stat .number {
  font-size: var(--font-size-3xl);
  font-weight: 800;
  color: var(--text);
  letter-spacing: -1px;
}

.hero-stat .label {
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
  margin-top: var(--space-xs);
}

/* ── Section Headers ── */
section {
  padding: var(--space-4xl) var(--space-xl);
}

.section-inner {
  max-width: var(--max-width);
  margin: 0 auto;
}

.section-label {
  font-family: var(--font-mono);
  font-size: var(--font-size-xs);
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 1px;
  color: var(--gold);
  margin-bottom: var(--space-sm);
}

.section-title {
  font-size: var(--font-size-4xl);
  font-weight: 700;
  line-height: 1.2;
  letter-spacing: -1.6px;
  color: var(--text);
  margin-bottom: var(--space-md);
}

.section-desc {
  font-size: var(--font-size-lg);
  color: var(--text-secondary);
  max-width: 600px;
  margin-bottom: var(--space-2xl);
  line-height: 1.6;
}

/* ── Cards ── */
.card {
  background: var(--surface);
  border: 1px solid var(--border-light);
  border-radius: var(--radius-lg);
  padding: var(--space-xl);
  transition: all var(--transition-base);
  position: relative;
  overflow: hidden;
}

.card:hover {
  border-color: var(--border);
  box-shadow: var(--shadow-md);
  transform: translateY(-2px);
}

.card-accent-left {
  border-left: 3px solid var(--gold);
}

.card-accent-purple { border-left-color: var(--purple); }
.card-accent-green { border-left-color: var(--green); }
.card-accent-blue { border-left-color: var(--blue); }

/* ── Post Cards ── */
.posts-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(360px, 1fr));
  gap: var(--space-lg);
}

.post-card {
  cursor: pointer;
  display: flex;
  flex-direction: column;
}

.post-card .post-date {
  font-family: var(--font-mono);
  font-size: var(--font-size-xs);
  font-weight: 500;
  color: var(--text-tertiary);
  text-transform: uppercase;
  letter-spacing: 0.5px;
  margin-bottom: var(--space-sm);
}

.post-card .post-tags {
  display: flex;
  gap: var(--space-xs);
  flex-wrap: wrap;
  margin-bottom: var(--space-md);
}

.tag {
  display: inline-block;
  font-size: 0.6875rem;
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.3px;
  padding: 2px 10px;
  border-radius: 9999px;
}

.tag-lean { background: var(--purple-light); color: var(--purple); }
.tag-proof { background: var(--green-light); color: var(--green); }
.tag-theory { background: var(--gold-light); color: var(--gold); }
.tag-ml { background: var(--blue-light); color: var(--blue); }

.post-card h3 {
  font-size: var(--font-size-2xl);
  font-weight: 700;
  letter-spacing: -0.6px;
  line-height: 1.33;
  margin-bottom: var(--space-sm);
  color: var(--text);
}

.post-card h3 a {
  color: inherit;
  text-decoration: none;
}

.post-card h3 a:hover { color: var(--gold); }

.post-card .post-excerpt {
  font-size: var(--font-size-base);
  color: var(--text-secondary);
  line-height: 1.6;
  margin-bottom: var(--space-lg);
  flex: 1;
}

.post-card .post-meta {
  font-family: var(--font-mono);
  font-size: var(--font-size-xs);
  color: var(--text-tertiary);
  display: flex;
  gap: var(--space-md);
  align-items: center;
  flex-wrap: wrap;
  padding-top: var(--space-md);
  border-top: 1px solid var(--border-light);
}

.post-meta .reading-time::before { content: '⏱ '; }
.post-meta .proof-count::before { content: '✓ '; }

/* ── Theorem Grid ── */
.theorem-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(260px, 1fr));
  gap: var(--space-md);
}

.theorem-card {
  background: var(--surface);
  border: 1px solid var(--border-light);
  border-radius: var(--radius-md);
  padding: var(--space-lg);
  border-left: 3px solid var(--gold);
  transition: all var(--transition-base);
}

.theorem-card:hover {
  box-shadow: var(--shadow-md);
  transform: translateY(-1px);
}

.theorem-card h4 {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  font-weight: 600;
  color: var(--text);
  margin-bottom: var(--space-sm);
}

.theorem-card .status {
  font-size: var(--font-size-xs);
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.5px;
  color: var(--green);
  margin-bottom: var(--space-sm);
  display: flex;
  align-items: center;
  gap: 4px;
}

.theorem-card .status::before { content: '✓'; }

.theorem-card .bound {
  font-size: var(--font-size-sm);
  color: var(--text-secondary);
  line-height: 1.5;
}

/* ── Pipeline ── */
.pipeline {
  display: flex;
  gap: 0;
  align-items: flex-start;
  justify-content: center;
  flex-wrap: wrap;
  margin: var(--space-2xl) 0;
}

.pipeline-step {
  text-align: center;
  padding: var(--space-xl) var(--space-lg);
  min-width: 200px;
  flex: 1;
  max-width: 250px;
  position: relative;
}

.pipeline-step .step-number {
  width: 40px;
  height: 40px;
  border-radius: 50%;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  font-weight: 700;
  margin: 0 auto var(--space-md);
  border: 2px solid var(--border);
  color: var(--text-secondary);
  background: var(--bg);
}

.step-conjecture .step-number { border-color: var(--purple); color: var(--purple); background: var(--purple-light); }
.step-formalize .step-number { border-color: var(--blue); color: var(--blue); background: var(--blue-light); }
.step-prove .step-number { border-color: var(--green); color: var(--green); background: var(--green-light); }
.step-publish .step-number { border-color: var(--gold); color: var(--gold); background: var(--gold-light); }

.pipeline-step h4 {
  font-size: var(--font-size-lg);
  font-weight: 700;
  margin-bottom: var(--space-sm);
  color: var(--text);
}

.pipeline-step p {
  font-size: var(--font-size-sm);
  color: var(--text-secondary);
  line-height: 1.5;
}

.pipeline-arrow {
  font-size: 1.5rem;
  color: var(--text-tertiary);
  padding: var(--space-xl) var(--space-sm);
  align-self: center;
}

/* ── About Card ── */
.about-card {
  display: flex;
  gap: var(--space-xl);
  align-items: flex-start;
  flex-wrap: wrap;
}

.about-avatar {
  width: 96px;
  height: 96px;
  border-radius: 50%;
  background: linear-gradient(135deg, var(--gold-light), var(--purple-light));
  flex-shrink: 0;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: var(--font-mono);
  font-size: 2rem;
  font-weight: 700;
  color: var(--gold);
  border: 2px solid var(--border-light);
}

.about-text { flex: 1; min-width: 280px; }

.about-text h3 {
  font-size: var(--font-size-2xl);
  font-weight: 700;
  letter-spacing: -0.6px;
  margin-bottom: var(--space-xs);
}

.about-text .role {
  font-size: var(--font-size-sm);
  font-weight: 500;
  color: var(--text-tertiary);
  margin-bottom: var(--space-lg);
}

.about-text p {
  font-size: var(--font-size-base);
  color: var(--text-secondary);
  line-height: 1.7;
  margin-bottom: var(--space-md);
}

.about-links {
  display: flex;
  gap: var(--space-sm);
  flex-wrap: wrap;
  margin-top: var(--space-lg);
}

.about-links a {
  font-size: var(--font-size-sm);
  font-weight: 500;
  color: var(--text);
  text-decoration: none;
  padding: var(--space-sm) var(--space-lg);
  border-radius: var(--radius-md);
  border: 1px solid var(--border);
  transition: all var(--transition-fast);
  display: flex;
  align-items: center;
  gap: var(--space-xs);
}

.about-links a:hover {
  background: var(--bg-tertiary);
  border-color: var(--text-tertiary);
}

/* ── Search ── */
.search-container {
  position: relative;
  max-width: 480px;
  margin: 0 auto var(--space-2xl);
}

.search-input {
  width: 100%;
  padding: var(--space-md) var(--space-lg);
  padding-left: 48px;
  font-size: var(--font-size-base);
  font-family: var(--font-sans);
  border: 1px solid var(--border);
  border-radius: var(--radius-lg);
  background: var(--surface);
  color: var(--text);
  transition: all var(--transition-fast);
  outline: none;
}

.search-input:focus {
  border-color: var(--gold);
  box-shadow: 0 0 0 3px var(--gold-light);
}

.search-input::placeholder { color: var(--text-tertiary); }

.search-icon {
  position: absolute;
  left: 16px;
  top: 50%;
  transform: translateY(-50%);
  color: var(--text-tertiary);
  font-size: 1.1rem;
  pointer-events: none;
}

.search-results {
  position: absolute;
  top: 100%;
  left: 0;
  right: 0;
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: var(--radius-md);
  box-shadow: var(--shadow-lg);
  margin-top: var(--space-xs);
  max-height: 320px;
  overflow-y: auto;
  z-index: 50;
  display: none;
}

.search-results.active { display: block; }

.search-result-item {
  padding: var(--space-md) var(--space-lg);
  border-bottom: 1px solid var(--border-light);
  cursor: pointer;
  transition: background var(--transition-fast);
}

.search-result-item:last-child { border-bottom: none; }

.search-result-item:hover { background: var(--bg-tertiary); }

.search-result-item h4 {
  font-size: var(--font-size-sm);
  font-weight: 600;
  color: var(--text);
  margin-bottom: 2px;
}

.search-result-item .match-type {
  font-size: var(--font-size-xs);
  color: var(--text-tertiary);
}

/* ── Post Page (Single) ── */
.post-header {
  padding: var(--space-3xl) var(--space-xl) var(--space-xl);
  max-width: var(--content-width);
  margin: 0 auto;
  text-align: center;
}

.post-header .post-date {
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
  margin-bottom: var(--space-md);
}

.post-header h1 {
  font-size: var(--font-size-4xl);
  font-weight: 800;
  line-height: 1.15;
  letter-spacing: -1.6px;
  margin-bottom: var(--space-lg);
}

.post-header .post-meta-row {
  display: flex;
  gap: var(--space-lg);
  justify-content: center;
  align-items: center;
  flex-wrap: wrap;
  font-family: var(--font-mono);
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
}

.post-content {
  max-width: var(--content-width);
  margin: 0 auto;
  padding: 0 var(--space-xl) var(--space-4xl);
  font-size: var(--font-size-lg);
  line-height: 1.8;
  color: var(--text);
}

.post-content h2 {
  font-size: var(--font-size-3xl);
  font-weight: 700;
  margin-top: var(--space-3xl);
  margin-bottom: var(--space-lg);
  letter-spacing: -0.8px;
}

.post-content h3 {
  font-size: var(--font-size-2xl);
  font-weight: 600;
  margin-top: var(--space-2xl);
  margin-bottom: var(--space-md);
}

.post-content p {
  margin-bottom: var(--space-lg);
}

.post-content a {
  color: var(--blue);
  text-decoration: none;
}

.post-content a:hover { text-decoration: underline; }

.post-content ul, .post-content ol {
  margin-bottom: var(--space-lg);
  padding-left: var(--space-xl);
}

.post-content li { margin-bottom: var(--space-sm); }

.post-content blockquote {
  border-left: 3px solid var(--gold);
  padding: var(--space-md) var(--space-lg);
  margin: var(--space-xl) 0;
  background: var(--bg-secondary);
  border-radius: 0 var(--radius-sm) var(--radius-sm) 0;
  color: var(--text-secondary);
  font-style: italic;
}

.post-content code {
  font-family: var(--font-mono);
  font-size: 0.875em;
  background: var(--bg-tertiary);
  padding: 2px 6px;
  border-radius: 4px;
  color: var(--purple);
}

.post-content pre {
  background: var(--bg-secondary);
  border: 1px solid var(--border);
  border-radius: var(--radius-md);
  padding: var(--space-lg);
  overflow-x: auto;
  margin: var(--space-xl) 0;
  position: relative;
}

.post-content pre code {
  background: none;
  padding: 0;
  color: var(--text);
  font-size: var(--font-size-sm);
  line-height: 1.6;
}

.copy-btn {
  position: absolute;
  top: var(--space-sm);
  right: var(--space-sm);
  background: var(--bg-tertiary);
  border: 1px solid var(--border);
  border-radius: var(--radius-sm);
  padding: 4px 10px;
  font-size: var(--font-size-xs);
  font-family: var(--font-mono);
  cursor: pointer;
  color: var(--text-secondary);
  transition: all var(--transition-fast);
}

.copy-btn:hover { background: var(--surface-hover); color: var(--text); }
.copy-btn.copied { color: var(--green); border-color: var(--green); }

/* ── Back to Top ── */
.back-to-top {
  position: fixed;
  bottom: var(--space-xl);
  right: var(--space-xl);
  width: 44px;
  height: 44px;
  border-radius: 50%;
  background: var(--surface);
  border: 1px solid var(--border);
  box-shadow: var(--shadow-md);
  display: flex;
  align-items: center;
  justify-content: center;
  cursor: pointer;
  color: var(--text-secondary);
  font-size: 1.2rem;
  z-index: 50;
  opacity: 0;
  transform: translateY(20px);
  transition: all var(--transition-base);
  pointer-events: none;
}

.back-to-top.visible {
  opacity: 1;
  transform: translateY(0);
  pointer-events: auto;
}

.back-to-top:hover {
  background: var(--bg-tertiary);
  color: var(--text);
}

/* ── Footer ── */
footer {
  border-top: 1px solid var(--border-light);
  padding: var(--space-3xl) var(--space-xl);
  max-width: var(--max-width);
  margin: 0 auto;
}

.footer-grid {
  display: grid;
  grid-template-columns: 2fr 1fr 1fr;
  gap: var(--space-2xl);
}

.footer-brand-col .footer-brand {
  font-family: var(--font-mono);
  font-size: var(--font-size-lg);
  font-weight: 600;
  color: var(--text);
  margin-bottom: var(--space-sm);
}

.footer-brand-col .footer-tagline {
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
  margin-bottom: var(--space-lg);
}

.footer-col h4 {
  font-size: var(--font-size-sm);
  font-weight: 600;
  text-transform: uppercase;
  letter-spacing: 0.5px;
  color: var(--text-secondary);
  margin-bottom: var(--space-md);
}

.footer-col a {
  display: block;
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
  text-decoration: none;
  margin-bottom: var(--space-sm);
  transition: color var(--transition-fast);
}

.footer-col a:hover { color: var(--text); }

.footer-bottom {
  margin-top: var(--space-2xl);
  padding-top: var(--space-lg);
  border-top: 1px solid var(--border-light);
  display: flex;
  justify-content: space-between;
  align-items: center;
  flex-wrap: wrap;
  gap: var(--space-md);
  font-size: var(--font-size-sm);
  color: var(--text-tertiary);
}

.footer-bottom .rss-link {
  display: flex;
  align-items: center;
  gap: var(--space-xs);
  color: var(--gold);
  text-decoration: none;
  font-weight: 500;
}

.footer-bottom .rss-link:hover { text-decoration: underline; }

/* ── Newsletter ── */
.newsletter {
  background: var(--bg-secondary);
  border: 1px solid var(--border-light);
  border-radius: var(--radius-lg);
  padding: var(--space-2xl);
  text-align: center;
  max-width: 600px;
  margin: var(--space-2xl) auto 0;
}

.newsletter h3 {
  font-size: var(--font-size-xl);
  font-weight: 700;
  margin-bottom: var(--space-sm);
}

.newsletter p {
  font-size: var(--font-size-sm);
  color: var(--text-secondary);
  margin-bottom: var(--space-lg);
}

.newsletter-form {
  display: flex;
  gap: var(--space-sm);
  max-width: 420px;
  margin: 0 auto;
}

.newsletter-form input {
  flex: 1;
  padding: var(--space-sm) var(--space-md);
  border: 1px solid var(--border);
  border-radius: var(--radius-md);
  font-size: var(--font-size-sm);
  font-family: var(--font-sans);
  background: var(--surface);
  color: var(--text);
  outline: none;
}

.newsletter-form input:focus {
  border-color: var(--gold);
  box-shadow: 0 0 0 3px var(--gold-light);
}

.newsletter-form button {
  padding: var(--space-sm) var(--space-lg);
  background: var(--text);
  color: var(--bg);
  border: none;
  border-radius: var(--radius-md);
  font-size: var(--font-size-sm);
  font-weight: 600;
  font-family: var(--font-sans);
  cursor: pointer;
  transition: opacity var(--transition-fast);
  white-space: nowrap;
}

.newsletter-form button:hover { opacity: 0.85; }

/* ── Scroll Reveal ── */
.reveal {
  opacity: 0;
  transform: translateY(24px);
  transition: opacity 0.6s ease, transform 0.6s cubic-bezier(0.16, 1, 0.3, 1);
}

.reveal.visible {
  opacity: 1;
  transform: translateY(0);
}

/* ── Skeleton Loading ── */
.skeleton {
  background: linear-gradient(90deg, var(--bg-tertiary) 25%, var(--bg-secondary) 50%, var(--bg-tertiary) 75%);
  background-size: 200% 100%;
  animation: shimmer 1.5s infinite;
  border-radius: var(--radius-sm);
}

@keyframes shimmer {
  0% { background-position: 200% 0; }
  100% { background-position: -200% 0; }
}

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

@media (max-width: 768px) {
  :root {
    --font-size-5xl: 2.5rem;
    --font-size-4xl: 2rem;
    --font-size-3xl: 1.75rem;
    --space-4xl: 3rem;
    --space-3xl: 2rem;
  }

  .hero { padding: var(--space-3xl) var(--space-lg) var(--space-2xl); }
  .hero h1 { letter-spacing: -1.2px; }
  section { padding: var(--space-2xl) var(--space-lg); }
  .posts-grid { grid-template-columns: 1fr; }
  .theorem-grid { grid-template-columns: 1fr 1fr; }
  .about-card { flex-direction: column; align-items: center; text-align: center; }
  .about-links { justify-content: center; }
  .pipeline { flex-direction: column; align-items: center; }
  .pipeline-arrow { transform: rotate(90deg); padding: var(--space-sm); }
  .footer-grid { grid-template-columns: 1fr; }
  .footer-bottom { flex-direction: column; text-align: center; }
  .newsletter-form { flex-direction: column; }
  .post-header h1 { font-size: var(--font-size-3xl); }

  .nav-links { display: none; }
  .nav-links.open {
    display: flex;
    flex-direction: column;
    position: absolute;
    top: var(--nav-height);
    left: 0;
    right: 0;
    background: var(--bg);
    border-bottom: 1px solid var(--border);
    padding: var(--space-md);
    gap: var(--space-xs);
    box-shadow: var(--shadow-lg);
  }
  .mobile-menu-btn { display: block; }
}

@media (max-width: 480px) {
  .theorem-grid { grid-template-columns: 1fr; }
  .hero-stats { gap: var(--space-lg); }
}