/* JVMlab — Pico CSS theme overrides (black + green, light/dark/auto) */

@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:wght@400;500;600&family=IBM+Plex+Sans:wght@400;500;600;700&display=swap");

:root {
  --jvm-green: #059669;
  --jvm-green-bright: #10b981;
  --jvm-green-soft: rgba(16, 185, 129, 0.12);
  --jvm-green-ring: rgba(16, 185, 129, 0.45);
  --jvm-black: #050505;
  --jvm-ink: #0c0c0c;
  --font-sans: "IBM Plex Sans", ui-sans-serif, sans-serif;
  --font-mono: "IBM Plex Mono", ui-monospace, monospace;
  --brand-accent: var(--jvm-green);

  --pico-font-family: var(--font-sans);
  --pico-font-family-monospace: var(--font-mono);
  --pico-border-radius: 0.35rem;
}

/* Match Pico specificity so green wins over default blue */
:root:not([data-theme]),
[data-theme="light"] {
  --pico-primary: #059669;
  --pico-primary-background: #059669;
  --pico-primary-border: #059669;
  --pico-primary-hover: #047857;
  --pico-primary-hover-background: #047857;
  --pico-primary-hover-border: #047857;
  --pico-primary-focus: rgba(16, 185, 129, 0.45);
  --pico-primary-inverse: #ffffff;
  --pico-background-color: #f4f7f5;
  --pico-color: #14201a;
  --pico-muted-color: #4a5c52;
  --pico-muted-border-color: #d5e0d9;
  --pico-card-background-color: #ffffff;
  --pico-card-sectioning-background-color: #eef4f0;
  --pico-form-element-background-color: #ffffff;
  --pico-form-element-border-color: #c5d4cb;
  --pico-table-border-color: #d5e0d9;
  --pico-code-background-color: #e8f0eb;
  --pico-code-color: #047857;
  --pico-mark-background-color: var(--jvm-green-soft);
  --pico-mark-color: #065f46;

  --surface: #ffffff;
  --surface-muted: #eef4f0;
  --ink: #14201a;
  --ink-muted: #4a5c52;
  --hairline: #d5e0d9;
  --hero-wash: linear-gradient(165deg, #f4f7f5 0%, #e3efe8 48%, #f4f7f5 100%);
  --brand-accent: var(--jvm-green);
  --nav-bg: rgba(244, 247, 245, 0.88);
}

@media only screen and (prefers-color-scheme: dark) {
  :root:not([data-theme]),
  [data-theme="dark"] {
    --pico-primary: #10b981;
    --pico-primary-background: #10b981;
    --pico-primary-border: #10b981;
    --pico-primary-hover: #34d399;
    --pico-primary-hover-background: #34d399;
    --pico-primary-hover-border: #34d399;
    --pico-primary-focus: rgba(16, 185, 129, 0.45);
    --pico-primary-inverse: #052e1f;
    --pico-background-color: var(--jvm-black);
    --pico-color: #e8f0eb;
    --pico-muted-color: #8fa399;
    --pico-muted-border-color: #1c2a22;
    --pico-card-background-color: var(--jvm-ink);
    --pico-card-sectioning-background-color: #0f1612;
    --pico-form-element-background-color: #0f1612;
    --pico-form-element-border-color: #24352c;
    --pico-table-border-color: #1c2a22;
    --pico-code-background-color: #122019;
    --pico-code-color: var(--jvm-green-bright);
    --pico-mark-background-color: var(--jvm-green-soft);
    --pico-mark-color: #a7f3d0;

    --surface: var(--jvm-ink);
    --surface-muted: #0f1612;
    --ink: #e8f0eb;
    --ink-muted: #8fa399;
    --hairline: #1c2a22;
    --hero-wash: linear-gradient(165deg, #050505 0%, #0a1510 45%, #050505 100%);
    --brand-accent: var(--jvm-green-bright);
    --nav-bg: rgba(5, 5, 5, 0.9);
  }
}

html {
  color-scheme: light dark;
  scroll-behavior: smooth;
}

a[role="button"]:not(.secondary):not(.outline):not(.contrast),
button:not(.secondary):not(.outline):not(.contrast) {
  background-color: var(--pico-primary-background) !important;
  border-color: var(--pico-primary-border) !important;
  color: var(--pico-primary-inverse) !important;
}

a[role="button"]:not(.secondary):not(.outline):not(.contrast):is(:hover, :active, :focus),
button:not(.secondary):not(.outline):not(.contrast):is(:hover, :active, :focus) {
  background-color: var(--pico-primary-hover-background) !important;
  border-color: var(--pico-primary-hover-border) !important;
  color: var(--pico-primary-inverse) !important;
}

body {
  min-height: 100vh;
  display: flex;
  flex-direction: column;
  background: var(--pico-background-color);
  color: var(--pico-color);
  letter-spacing: -0.01em;
}

.visually-hidden {
  position: absolute !important;
  width: 1px !important;
  height: 1px !important;
  padding: 0 !important;
  margin: -1px !important;
  overflow: hidden !important;
  clip: rect(0, 0, 0, 0) !important;
  white-space: nowrap !important;
  border: 0 !important;
}

/* Skip link */
.skip-link {
  position: absolute;
  left: 1rem;
  top: -3.5rem;
  z-index: 1000;
  padding: 0.55rem 0.9rem;
  background: var(--brand-accent);
  color: var(--pico-primary-inverse);
  border-radius: var(--pico-border-radius);
  font-weight: 600;
  text-decoration: none;
  transition: top 0.15s ease;
}

.skip-link:focus {
  top: 1rem;
  outline: 3px solid var(--jvm-green-ring);
  outline-offset: 2px;
}

/* Header */
.site-header {
  position: sticky;
  top: 0;
  z-index: 50;
  backdrop-filter: blur(12px);
  background: var(--nav-bg);
  border-bottom: 1px solid var(--hairline);
}

.site-header .container {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding-block: 0.9rem;
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 0.55rem;
  font-family: var(--font-mono);
  font-weight: 600;
  font-size: 1.15rem;
  letter-spacing: -0.04em;
  color: var(--ink);
  text-decoration: none;
}

.brand:hover,
.brand:focus {
  color: var(--brand-accent);
  text-decoration: none;
}

.brand__mark {
  display: grid;
  place-items: center;
  width: 1.75rem;
  height: 1.75rem;
  border-radius: 0.35rem;
  background: var(--jvm-green-soft);
  color: var(--brand-accent);
  font-size: 0.95rem;
  line-height: 1;
}

.brand__name span {
  color: var(--brand-accent);
}

.header-actions {
  display: flex;
  align-items: center;
  gap: 0.75rem;
}

.status-chip {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  font-family: var(--font-mono);
  font-size: 0.7rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--brand-accent);
  padding: 0.35rem 0.7rem;
  border: 1px solid color-mix(in srgb, var(--brand-accent) 35%, transparent);
  border-radius: 999px;
  background: var(--jvm-green-soft);
}

.status-chip__dot {
  width: 0.45rem;
  height: 0.45rem;
  border-radius: 50%;
  background: var(--brand-accent);
  animation: pulse 2.2s ease-in-out infinite;
}

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

/* Privacy / doc pages */
.page-doc .narrow {
  max-width: 44rem;
}

.page-doc h2 {
  font-size: 1.2rem;
  margin-top: 2rem;
  margin-bottom: 0.65rem;
  color: var(--ink);
}

.page-doc ul {
  color: var(--ink-muted);
}

.page-doc .meta-line {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  color: var(--ink-muted);
  margin-top: -0.5rem;
  margin-bottom: 1.5rem;
}

/* Cookie notice */
.cookie-notice {
  position: fixed;
  z-index: 100;
  left: 1rem;
  right: 1rem;
  bottom: 1rem;
}

.cookie-notice[hidden] {
  display: none !important;
}

.cookie-notice__inner {
  display: flex;
  flex-direction: column;
  gap: 1rem;
  max-width: 52rem;
  margin: 0 auto;
  padding: 1rem 1.15rem;
  background: var(--surface);
  border: 1px solid var(--hairline);
  border-radius: var(--pico-border-radius);
  box-shadow: 0 12px 40px rgba(0, 0, 0, 0.28);
}

@media (min-width: 640px) {
  .cookie-notice__inner {
    flex-direction: row;
    align-items: center;
    justify-content: space-between;
  }
}

.cookie-notice__title {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  font-weight: 600;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--brand-accent);
  margin: 0 0 0.25rem;
}

.cookie-notice__copy p:last-child {
  margin: 0;
  color: var(--ink-muted);
  font-size: 0.92rem;
  line-height: 1.5;
}

.cookie-notice__actions {
  display: flex;
  gap: 0.5rem;
  flex-shrink: 0;
}

.cookie-notice__actions button {
  margin: 0;
  width: auto;
  padding: 0.45rem 0.9rem;
  font-size: 0.85rem;
}

/* Hero */
.hero {
  position: relative;
  background: var(--hero-wash);
  border-bottom: 1px solid var(--hairline);
  padding: clamp(3rem, 8vw, 5.5rem) 0 clamp(3.5rem, 9vw, 6rem);
  overflow: hidden;
}

.hero::after {
  content: "";
  position: absolute;
  inset: auto -10% -40% 40%;
  height: 70%;
  background: radial-gradient(ellipse at center, color-mix(in srgb, var(--brand-accent) 18%, transparent), transparent 70%);
  pointer-events: none;
  animation: wash 8s ease-in-out infinite alternate;
}

@keyframes wash {
  from {
    opacity: 0.55;
    transform: translate3d(0, 0, 0);
  }
  to {
    opacity: 1;
    transform: translate3d(-4%, -3%, 0);
  }
}

.hero .container {
  position: relative;
  z-index: 1;
  max-width: 48rem;
}

.hero__brand {
  font-family: var(--font-mono);
  font-size: clamp(1.75rem, 4vw, 2.35rem);
  font-weight: 600;
  letter-spacing: -0.05em;
  color: var(--ink);
  margin: 0 0 1.25rem;
}

.hero__brand span {
  color: var(--brand-accent);
}

.hero__title {
  font-size: clamp(1.85rem, 4.5vw, 2.85rem);
  font-weight: 700;
  line-height: 1.15;
  letter-spacing: -0.035em;
  margin: 0 0 1rem;
  color: var(--ink);
}

.hero__lead {
  font-size: clamp(1.05rem, 2vw, 1.2rem);
  line-height: 1.65;
  color: var(--ink-muted);
  margin: 0 0 1.75rem;
  max-width: 40rem;
}

.hero__actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
}

.hero__actions a[role="button"],
.hero__actions a[role="button"]:is(:link, :visited) {
  margin-bottom: 0;
}

.hero__actions a.secondary {
  background: transparent;
  border: 1px solid var(--hairline);
  color: var(--ink);
}

.hero__actions a.secondary:hover,
.hero__actions a.secondary:focus {
  border-color: var(--brand-accent);
  color: var(--brand-accent);
  background: var(--jvm-green-soft);
}

/* Sections */
.section {
  padding: clamp(2.75rem, 6vw, 4rem) 0;
  border-bottom: 1px solid var(--hairline);
}

.section:last-of-type {
  border-bottom: 0;
}

.section__eyebrow {
  display: block;
  font-family: var(--font-mono);
  font-size: 0.72rem;
  font-weight: 600;
  letter-spacing: 0.14em;
  text-transform: uppercase;
  color: var(--brand-accent);
  margin-bottom: 0.55rem;
}

.section__title {
  font-size: clamp(1.45rem, 3vw, 1.85rem);
  font-weight: 700;
  letter-spacing: -0.025em;
  margin: 0 0 0.75rem;
  color: var(--ink);
}

.section__intro {
  color: var(--ink-muted);
  max-width: 40rem;
  margin: 0 0 1.75rem;
  line-height: 1.65;
}

.focus-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: grid;
  gap: 1.25rem;
}

@media (min-width: 768px) {
  .focus-list {
    grid-template-columns: repeat(3, 1fr);
    gap: 1.5rem;
  }
}

.focus-list li {
  padding: 0 0 0 1rem;
  border-left: 3px solid var(--brand-accent);
}

.focus-list h3 {
  font-family: var(--font-mono);
  font-size: 0.95rem;
  font-weight: 600;
  letter-spacing: -0.02em;
  margin: 0 0 0.45rem;
  color: var(--ink);
}

.focus-list p {
  margin: 0;
  color: var(--ink-muted);
  font-size: 0.95rem;
  line-height: 1.6;
}

.stack-table-wrap {
  overflow-x: auto;
  border: 1px solid var(--hairline);
  border-radius: var(--pico-border-radius);
  background: var(--surface);
}

.stack-table-wrap table {
  margin: 0;
}

.stack-table-wrap th {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  letter-spacing: 0.06em;
  text-transform: uppercase;
  color: var(--brand-accent);
  background: var(--surface-muted);
}

.stack-table-wrap td:first-child {
  font-family: var(--font-mono);
  font-weight: 500;
  white-space: nowrap;
  color: var(--ink);
}

.stack-footnote,
.proof-note {
  margin: 1rem 0 0;
  font-size: 0.9rem;
  color: var(--ink-muted);
  line-height: 1.55;
  max-width: 44rem;
}

.nav-link {
  font-family: var(--font-mono);
  font-size: 0.8rem;
  letter-spacing: 0.04em;
  text-transform: uppercase;
  color: var(--ink-muted);
  text-decoration: none;
}

.nav-link:hover,
.nav-link:focus,
.nav-link[aria-current="page"] {
  color: var(--brand-accent);
  text-decoration: none;
}

.proof-grid {
  display: grid;
  gap: 1rem;
}

@media (min-width: 900px) {
  .proof-grid {
    grid-template-columns: 1fr 1fr;
  }
}

.proof-block {
  margin: 0;
  border: 1px solid var(--hairline);
  border-radius: var(--pico-border-radius);
  background: var(--surface);
  overflow: hidden;
}

.proof-block figcaption {
  font-family: var(--font-mono);
  font-size: 0.72rem;
  letter-spacing: 0.08em;
  text-transform: uppercase;
  color: var(--brand-accent);
  padding: 0.75rem 1rem 0;
}

.proof-code {
  margin: 0;
  padding: 0.85rem 1rem 1.1rem;
  overflow-x: auto;
  background: transparent;
  border: 0;
  border-radius: 0;
}

.proof-code code {
  font-family: var(--font-mono);
  font-size: 0.78rem;
  line-height: 1.55;
  color: var(--ink);
  background: transparent;
  padding: 0;
}

.notes-list {
  list-style: none;
  padding: 0;
  margin: 0;
  display: grid;
  gap: 1rem;
}

.notes-list li {
  border-left: 3px solid var(--brand-accent);
  padding: 0.15rem 0 0.15rem 1rem;
}

.notes-list a {
  font-weight: 600;
  color: var(--ink);
  text-decoration: none;
}

.notes-list a:hover,
.notes-list a:focus {
  color: var(--brand-accent);
}

.notes-list p {
  margin: 0.35rem 0 0;
  color: var(--ink-muted);
  font-size: 0.95rem;
}

.note-meta {
  font-family: var(--font-mono);
  font-size: 0.75rem;
  color: var(--ink-muted);
  letter-spacing: 0.04em;
}

.principles {
  display: grid;
  gap: 1rem;
}

@media (min-width: 640px) {
  .principles {
    grid-template-columns: 1fr 1fr;
  }
}

.principle {
  padding: 1.15rem 1.25rem;
  border-top: 1px solid var(--hairline);
  border-right: 1px solid var(--hairline);
  border-bottom: 1px solid var(--hairline);
  border-left: 3px solid var(--brand-accent);
  border-radius: 0 var(--pico-border-radius) var(--pico-border-radius) 0;
  background: var(--surface);
}

.principle h3 {
  font-family: var(--font-mono);
  font-size: 0.85rem;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  margin: 0 0 0.45rem;
  color: var(--ink);
}

.principle p {
  margin: 0;
  color: var(--ink-muted);
  font-size: 0.95rem;
  line-height: 1.6;
}

/* Footer */
.site-footer {
  margin-top: auto;
  border-top: 1px solid var(--hairline);
  padding: 2rem 0;
  font-family: var(--font-mono);
  font-size: 0.8rem;
  color: var(--ink-muted);
}

.site-footer .container {
  display: flex;
  flex-direction: column;
  gap: 0.65rem;
  align-items: flex-start;
}

@media (min-width: 640px) {
  .site-footer .container {
    flex-direction: row;
    justify-content: space-between;
    align-items: center;
  }
}

.site-footer a {
  color: var(--ink-muted);
  text-decoration: none;
}

.site-footer a:hover,
.site-footer a:focus {
  color: var(--brand-accent);
}

.footer-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem 1rem;
}

/* Reduced motion */
@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }

  .status-chip__dot,
  .hero::after {
    animation: none;
  }
}