/* style.css — EconLib4 Documentation Components */

/* ─── UTILITY ─── */
.container {
  width: 100%;
  max-width: var(--content-wide);
  margin-inline: auto;
  padding-inline: var(--space-6);
}

.container--narrow {
  max-width: var(--content-default);
}

.section {
  padding-block: clamp(var(--space-12), 8vw, var(--space-24));
}

.section-label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.12em;
  color: var(--color-primary);
  margin-bottom: var(--space-3);
  font-weight: 500;
}

.section-title {
  font-size: var(--text-2xl);
  font-weight: 700;
  letter-spacing: -0.02em;
  margin-bottom: var(--space-4);
  color: var(--color-text);
}

.section-subtitle {
  font-size: var(--text-base);
  color: var(--color-text-muted);
  max-width: 60ch;
  line-height: 1.7;
}

/* ─── SCROLL REVEAL ─── */
.reveal {
  opacity: 0;
  transition: opacity 0.6s var(--ease-out);
}
.reveal.visible {
  opacity: 1;
}

/* ─── NAV ─── */
.nav {
  position: sticky;
  top: 0;
  z-index: 100;
  background: color-mix(in srgb, var(--color-bg) 88%, transparent);
  backdrop-filter: blur(16px);
  -webkit-backdrop-filter: blur(16px);
  border-bottom: 1px solid var(--color-divider);
  transition: box-shadow 0.3s var(--ease-out);
}

.nav--scrolled {
  box-shadow: var(--shadow-sm);
}

.nav__inner {
  display: flex;
  align-items: center;
  justify-content: space-between;
  height: 3.5rem;
  gap: var(--space-4);
}

.nav__logo {
  display: flex;
  align-items: center;
  gap: var(--space-2);
  text-decoration: none;
  color: var(--color-text);
  font-family: var(--font-display);
  font-weight: 700;
  font-size: var(--text-sm);
  letter-spacing: -0.01em;
  flex-shrink: 0;
}

.nav__logo svg {
  width: 28px;
  height: 28px;
  flex-shrink: 0;
}

.nav__links {
  display: flex;
  align-items: center;
  gap: var(--space-1);
  list-style: none;
  overflow-x: auto;
  scrollbar-width: none;
}

.nav__links::-webkit-scrollbar { display: none; }

.nav__link {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  text-decoration: none;
  padding: var(--space-1) var(--space-3);
  border-radius: var(--radius-full);
  white-space: nowrap;
  transition: color var(--transition-interactive),
              background var(--transition-interactive);
}

.nav__link:hover {
  color: var(--color-text);
  background: var(--color-primary-light);
}

.nav__link--active {
  color: var(--color-primary);
  background: var(--color-primary-light);
}

.nav__actions {
  display: flex;
  align-items: center;
  gap: var(--space-2);
  flex-shrink: 0;
}

.btn-icon {
  display: flex;
  align-items: center;
  justify-content: center;
  width: 36px;
  height: 36px;
  border-radius: var(--radius-md);
  color: var(--color-text-muted);
  transition: color var(--transition-interactive),
              background var(--transition-interactive);
}

.btn-icon:hover {
  color: var(--color-text);
  background: var(--color-primary-light);
}

/* Mobile nav */
.nav__mobile-toggle {
  display: none;
}

@media (max-width: 900px) {
  .nav__links {
    display: none;
  }
  .nav__mobile-toggle {
    display: flex;
  }
  .nav__links--open {
    display: flex;
    flex-direction: column;
    position: absolute;
    top: 3.5rem;
    left: 0;
    right: 0;
    background: var(--color-surface);
    border-bottom: 1px solid var(--color-divider);
    padding: var(--space-4);
    gap: var(--space-2);
    box-shadow: var(--shadow-md);
  }
  .nav__links--open .nav__link {
    display: block;
    padding: var(--space-2) var(--space-4);
    border-radius: var(--radius-md);
  }
}

/* ─── HERO ─── */
.hero {
  padding-top: clamp(var(--space-16), 10vw, var(--space-32));
  padding-bottom: clamp(var(--space-12), 8vw, var(--space-24));
  text-align: center;
  position: relative;
  overflow: hidden;
}

.hero::before {
  content: '';
  position: absolute;
  top: -40%;
  left: 50%;
  transform: translateX(-50%);
  width: 800px;
  height: 800px;
  border-radius: 50%;
  background: radial-gradient(circle, var(--color-primary-glow) 0%, transparent 70%);
  pointer-events: none;
  z-index: 0;
}

.hero__content {
  position: relative;
  z-index: 1;
}

.hero__title {
  font-size: var(--text-3xl);
  font-weight: 800;
  letter-spacing: -0.04em;
  line-height: 1.05;
  margin-bottom: var(--space-4);
  background: linear-gradient(135deg, var(--color-text) 40%, var(--color-primary) 100%);
  -webkit-background-clip: text;
  -webkit-text-fill-color: transparent;
  background-clip: text;
}

.hero__subtitle {
  font-family: var(--font-body);
  font-size: var(--text-lg);
  font-weight: 400;
  color: var(--color-primary);
  letter-spacing: 0.04em;
  margin-bottom: var(--space-6);
  font-style: italic;
}

.hero__tagline {
  font-size: var(--text-base);
  color: var(--color-text-muted);
  max-width: 56ch;
  margin-inline: auto;
  margin-bottom: clamp(var(--space-8), 4vw, var(--space-12));
  line-height: 1.7;
}

.hero__stats {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: var(--space-4);
  max-width: 800px;
  margin-inline: auto;
  margin-bottom: var(--space-10);
}

.stat {
  text-align: center;
}

.stat__value {
  font-family: var(--font-display);
  font-size: var(--text-xl);
  font-weight: 700;
  color: var(--color-text);
  line-height: 1.2;
}

.stat__label {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  margin-top: var(--space-1);
}

.hero__cta {
  display: inline-flex;
  align-items: center;
  gap: var(--space-2);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  font-weight: 600;
  color: var(--color-text-inverse);
  background: var(--color-primary);
  padding: var(--space-3) var(--space-6);
  border-radius: var(--radius-full);
  text-decoration: none;
  transition: background var(--transition-interactive),
              transform var(--transition-interactive),
              box-shadow var(--transition-interactive);
}

.hero__cta:hover {
  background: var(--color-primary-hover);
  transform: translateY(-1px);
  box-shadow: var(--shadow-md);
}

.hero__cta:active {
  transform: translateY(0);
}

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

@media (max-width: 640px) {
  .hero__stats {
    grid-template-columns: repeat(3, 1fr);
    gap: var(--space-6) var(--space-4);
  }
}

/* ─── ARCHITECTURE ─── */
.arch {
  background: var(--color-surface-offset);
}

.arch__diagram {
  max-width: 900px;
  margin-inline: auto;
  margin-top: var(--space-8);
  display: flex;
  flex-direction: column;
  gap: var(--space-3);
}

.arch__layer {
  display: flex;
  align-items: center;
  gap: var(--space-4);
  padding: var(--space-3) var(--space-5);
  border-radius: var(--radius-lg);
  position: relative;
}

.arch__layer-num {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 700;
  color: var(--layer-text);
  opacity: 0.5;
  min-width: 1.8rem;
  flex-shrink: 0;
}

.arch__layer-name {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 600;
  color: var(--layer-text);
  opacity: 0.7;
  min-width: 10rem;
  flex-shrink: 0;
}

.arch__modules {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-2);
}

.arch__chip {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  padding: var(--space-1) var(--space-3);
  border-radius: var(--radius-full);
  background: color-mix(in srgb, var(--color-bg) 50%, transparent);
  color: var(--layer-text);
  font-weight: 500;
  white-space: nowrap;
  border: 1px solid color-mix(in srgb, var(--layer-text) 15%, transparent);
}

/* Connector lines between layers */
.arch__connector {
  display: flex;
  justify-content: center;
  height: 12px;
  position: relative;
}

.arch__connector::before {
  content: '';
  width: 2px;
  height: 100%;
  background: var(--color-divider);
}

.arch__connector-arrows {
  display: flex;
  justify-content: center;
  gap: var(--space-4);
}

@media (max-width: 700px) {
  .arch__layer {
    flex-direction: column;
    align-items: flex-start;
    gap: var(--space-2);
  }
  .arch__layer-name {
    min-width: auto;
  }
}

/* ─── MODULE CARDS ─── */
.modules-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(340px, 1fr));
  gap: var(--space-6);
  margin-top: var(--space-8);
}

.module-card {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  padding: var(--space-6);
  transition: box-shadow var(--transition-interactive),
              border-color var(--transition-interactive);
}

.module-card:hover {
  box-shadow: var(--shadow-md);
  border-color: var(--color-primary);
}

.module-card__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  margin-bottom: var(--space-3);
}

.module-card__name {
  font-family: var(--font-display);
  font-size: var(--text-lg);
  font-weight: 700;
  color: var(--color-text);
}

.module-card__lines {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-text-faint);
  white-space: nowrap;
}

.module-card__layer {
  font-family: var(--font-mono);
  font-size: 0.7rem;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--color-primary);
  margin-bottom: var(--space-3);
  font-weight: 600;
}

.module-card__desc {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  line-height: 1.65;
}

.module-card__tags {
  display: flex;
  flex-wrap: wrap;
  gap: var(--space-1);
  margin-top: var(--space-4);
}

.tag {
  font-family: var(--font-mono);
  font-size: 0.7rem;
  padding: 2px var(--space-2);
  border-radius: var(--radius-sm);
  background: var(--color-surface-offset);
  color: var(--color-text-muted);
  border: 1px solid var(--color-divider);
}

.tag--novel {
  background: var(--color-primary-light);
  color: var(--color-primary);
  border-color: var(--color-primary);
  font-weight: 600;
}

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

/* ─── THEOREMS TABLE ─── */
.theorems {
  background: var(--color-surface-offset);
}

.theorems-table {
  margin-top: var(--space-8);
  overflow-x: auto;
  border-radius: var(--radius-lg);
  border: 1px solid var(--color-border);
  background: var(--color-surface);
}

.theorems-table table {
  min-width: 640px;
}

.theorems-table th {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: var(--color-text-muted);
  text-align: left;
  padding: var(--space-3) var(--space-5);
  border-bottom: 2px solid var(--color-divider);
  font-weight: 600;
  background: var(--color-surface-2);
}

.theorems-table td {
  font-size: var(--text-sm);
  padding: var(--space-3) var(--space-5);
  border-bottom: 1px solid var(--color-divider);
  vertical-align: middle;
}

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

.theorems-table .theorem-name {
  font-family: var(--font-mono);
  font-weight: 600;
  color: var(--color-text);
  font-size: var(--text-sm);
}

.theorems-table .connects {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
}

.status-proved {
  display: inline-flex;
  align-items: center;
  gap: var(--space-1);
  color: var(--color-success);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 600;
}

.status-stated {
  display: inline-flex;
  align-items: center;
  gap: var(--space-1);
  color: var(--color-warning);
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  font-weight: 600;
}

.status-icon {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  display: inline-block;
  flex-shrink: 0;
}

.status-proved .status-icon { background: var(--color-success); }
.status-stated .status-icon { background: var(--color-warning); }

/* ─── CODE SAMPLES ─── */
.code-samples__grid {
  display: flex;
  flex-direction: column;
  gap: var(--space-6);
  margin-top: var(--space-8);
}

.code-block {
  background: var(--color-surface-code);
  border-radius: var(--radius-lg);
  overflow: hidden;
  border: 1px solid var(--color-border);
}

.code-block__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: var(--space-3) var(--space-5);
  background: color-mix(in srgb, var(--color-surface-code) 90%, white 10%);
  border-bottom: 1px solid rgba(255, 255, 255, 0.06);
}

.code-block__lang {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: rgba(255, 255, 255, 0.4);
  text-transform: uppercase;
  letter-spacing: 0.08em;
}

.code-block__dots {
  display: flex;
  gap: 6px;
}

.code-block__dot {
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: rgba(255, 255, 255, 0.12);
}

.code-block pre {
  padding: var(--space-5);
  overflow-x: auto;
  font-family: var(--font-mono);
  font-size: clamp(0.78rem, 0.7rem + 0.3vw, 0.9rem);
  line-height: 1.7;
  color: #cdd6f4;
  tab-size: 2;
}

/* Lean 4 syntax highlighting — Catppuccin-inspired */
.code-block .kw { color: #cba6f7; }            /* keywords — purple */
.code-block .type { color: #89b4fa; }           /* types — blue */
.code-block .fn { color: #a6e3a1; }             /* functions — green */
.code-block .string { color: #a6e3a1; }         /* strings */
.code-block .comment { color: #585b70; font-style: italic; }
.code-block .prop { color: #f9e2af; }           /* properties/fields — yellow */
.code-block .tactic { color: #94e2d5; }         /* tactics — teal */
.code-block .op { color: #89dceb; }             /* operators — sky */
.code-block .num { color: #fab387; }            /* numbers — peach */
.code-block .sym { color: #f38ba8; }            /* symbols — pink */

/* ─── SEMANTIC COMPRESSION (NOVEL MODULE) ─── */
.novel {
  position: relative;
  overflow: hidden;
}

.novel::before {
  content: '';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: linear-gradient(135deg, var(--color-primary-glow) 0%, transparent 50%);
  pointer-events: none;
}

.novel__content {
  position: relative;
  z-index: 1;
}

.novel__badge {
  display: inline-block;
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  text-transform: uppercase;
  letter-spacing: 0.1em;
  color: var(--color-primary);
  background: var(--color-primary-light);
  padding: var(--space-1) var(--space-3);
  border-radius: var(--radius-full);
  margin-bottom: var(--space-4);
  font-weight: 600;
  border: 1px solid var(--color-primary);
}

.novel__grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(280px, 1fr));
  gap: var(--space-6);
  margin-top: var(--space-8);
}

.novel__card {
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  border-radius: var(--radius-lg);
  padding: var(--space-6);
}

.novel__card-title {
  font-family: var(--font-display);
  font-size: var(--text-lg);
  font-weight: 700;
  color: var(--color-primary);
  margin-bottom: var(--space-2);
}

.novel__card-desc {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  line-height: 1.65;
}

.novel__note {
  margin-top: var(--space-8);
  padding: var(--space-5) var(--space-6);
  background: var(--color-primary-light);
  border-radius: var(--radius-lg);
  border-left: 3px solid var(--color-primary);
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  line-height: 1.65;
  font-style: italic;
}

/* ─── PHILOSOPHY CARDS ─── */
.philosophy-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(260px, 1fr));
  gap: var(--space-6);
  margin-top: var(--space-8);
}

.philosophy-card {
  padding: var(--space-6);
  border-radius: var(--radius-lg);
  background: var(--color-surface);
  border: 1px solid var(--color-border);
}

.philosophy-card__num {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-primary);
  margin-bottom: var(--space-3);
  font-weight: 700;
}

.philosophy-card__title {
  font-family: var(--font-display);
  font-size: var(--text-base);
  font-weight: 700;
  color: var(--color-text);
  margin-bottom: var(--space-2);
}

.philosophy-card__desc {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
  line-height: 1.65;
}

/* ─── CONTRIBUTING ─── */
.contributing {
  background: var(--color-surface-offset);
}

.priority-list {
  list-style: none;
  margin-top: var(--space-6);
  display: flex;
  flex-direction: column;
  gap: var(--space-3);
}

.priority-item {
  display: flex;
  gap: var(--space-4);
  align-items: baseline;
  padding: var(--space-3) var(--space-5);
  background: var(--color-surface);
  border-radius: var(--radius-md);
  border: 1px solid var(--color-border);
}

.priority-item__num {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-primary);
  font-weight: 700;
  flex-shrink: 0;
  min-width: 1.5rem;
}

.priority-item__name {
  font-family: var(--font-display);
  font-weight: 600;
  font-size: var(--text-sm);
  color: var(--color-text);
}

.priority-item__hint {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  margin-left: var(--space-2);
}

/* ─── ECOSYSTEM ─── */
.ecosystem-grid {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(220px, 1fr));
  gap: var(--space-5);
  margin-top: var(--space-8);
}

.eco-card {
  padding: var(--space-5);
  border-radius: var(--radius-lg);
  background: var(--color-surface);
  border: 1px solid var(--color-border);
  transition: box-shadow var(--transition-interactive),
              border-color var(--transition-interactive);
}

.eco-card:hover {
  box-shadow: var(--shadow-md);
  border-color: var(--color-primary);
}

.eco-card__name {
  font-family: var(--font-display);
  font-size: var(--text-base);
  font-weight: 700;
  color: var(--color-primary);
  margin-bottom: var(--space-2);
}

.eco-card__desc {
  font-size: var(--text-xs);
  color: var(--color-text-muted);
  line-height: 1.6;
}

/* ─── FOOTER ─── */
.footer {
  border-top: 1px solid var(--color-divider);
  padding-block: var(--space-8);
  text-align: center;
}

.footer__inner {
  display: flex;
  flex-direction: column;
  align-items: center;
  gap: var(--space-3);
}

.footer__text {
  font-size: var(--text-sm);
  color: var(--color-text-muted);
}

.footer__links {
  display: flex;
  gap: var(--space-4);
}

.footer__link {
  font-family: var(--font-mono);
  font-size: var(--text-xs);
  color: var(--color-primary);
  text-decoration: none;
  transition: color var(--transition-interactive);
}

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

/* ─── CTA BUTTON (reusable) ─── */
.btn-primary {
  display: inline-flex;
  align-items: center;
  gap: var(--space-2);
  font-family: var(--font-mono);
  font-size: var(--text-sm);
  font-weight: 600;
  color: var(--color-text-inverse);
  background: var(--color-primary);
  padding: var(--space-3) var(--space-6);
  border-radius: var(--radius-full);
  text-decoration: none;
  transition: background var(--transition-interactive),
              transform var(--transition-interactive),
              box-shadow var(--transition-interactive);
}

.btn-primary:hover {
  background: var(--color-primary-hover);
  transform: translateY(-1px);
  box-shadow: var(--shadow-md);
}

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

.btn-primary svg {
  width: 16px;
  height: 16px;
}

/* ─── ARCHITECTURE LAYER COLORS ─── */
.arch__layer--0 { background: var(--layer-0); }
.arch__layer--1 { background: var(--layer-1); }
.arch__layer--2 { background: var(--layer-2); }
.arch__layer--3 { background: var(--layer-3); }
.arch__layer--4 { background: var(--layer-4); }
.arch__layer--5 { background: var(--layer-5); }