/* ============================================================
   PCRE-Vera: site styles
   Dark-first professional theme with a light variant.
   ============================================================ */

:root {
  --font-sans: "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  --font-mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;

  --bg: #0b0f16;
  --bg-alt: #0e1420;
  --surface: #121826;
  --surface-2: #171f2f;
  --border: #232c3f;
  --border-soft: #1b2334;
  --text: #e8edf5;
  --text-dim: #9aa6bc;
  --text-faint: #66718a;

  --accent: #4f7cff;
  --accent-2: #2dd4bf;
  --accent-soft: rgba(79, 124, 255, 0.12);
  --grad: linear-gradient(100deg, #6a93ff 0%, #2dd4bf 100%);

  --code-bg: #0d1320;
  --shadow: 0 10px 30px rgba(2, 6, 18, 0.5);
  --shadow-lg: 0 24px 60px rgba(2, 6, 18, 0.55);
  --radius: 14px;
  --radius-sm: 10px;
  --nav-h: 66px;
}

html[data-theme="light"] {
  --bg: #f6f8fc;
  --bg-alt: #eef2f9;
  --surface: #ffffff;
  --surface-2: #f4f7fc;
  --border: #dbe2ef;
  --border-soft: #e6ebf5;
  --text: #16202f;
  --text-dim: #4c586e;
  --text-faint: #7c879c;
  --accent-soft: rgba(59, 100, 220, 0.1);
  --code-bg: #10182b;
  --shadow: 0 8px 24px rgba(23, 38, 74, 0.08);
  --shadow-lg: 0 20px 50px rgba(23, 38, 74, 0.12);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: calc(var(--nav-h) + 12px); }

body {
  margin: 0;
  font-family: var(--font-sans);
  background: var(--bg);
  color: var(--text);
  line-height: 1.6;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
  overflow-x: hidden;
}

h1, h2, h3, h4 { line-height: 1.15; margin: 0 0 0.5em; font-weight: 700; letter-spacing: -0.02em; }
h1 { font-size: clamp(2.3rem, 5.2vw, 4rem); font-weight: 800; }
h2 { font-size: clamp(1.7rem, 3.4vw, 2.6rem); }
h3 { font-size: 1.18rem; }
p { margin: 0 0 1em; }
a { color: var(--accent); text-decoration: none; }
code { font-family: var(--font-mono); font-size: 0.9em; background: var(--accent-soft); padding: 0.1em 0.35em; border-radius: 6px; }
pre code { background: none; padding: 0; }

.container { width: min(1160px, 92%); margin: 0 auto; }
.container--narrow { width: min(820px, 92%); }

/* Grid children may need to shrink below their content width on small screens */
.hero__inner > *, .contract > *, .grid > * { min-width: 0; }

/* Code blocks: allow the box to shrink and scroll internally rather than
   forcing the page wider. `pre` is min-content sized by default. */
.code-window, .terminal, .codeblock { max-width: 100%; }
.code-window__body, .terminal__body, .codeblock__panes .pane {
  min-width: 0;
  max-width: 100%;
  white-space: pre;
  overflow-x: auto;
  -webkit-overflow-scrolling: touch;
}

.skip-link {
  position: absolute; left: -999px; top: 0; z-index: 100;
  background: var(--accent); color: #fff; padding: 0.6rem 1rem; border-radius: 0 0 8px 0;
}
.skip-link:focus { left: 0; }

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

.kicker {
  display: inline-block; font-family: var(--font-mono); font-size: 0.78rem;
  letter-spacing: 0.14em; text-transform: uppercase; color: var(--accent-2);
  margin-bottom: 0.8rem;
}

.section { padding: 6rem 0; }
.section--alt { background: var(--bg-alt); border-top: 1px solid var(--border-soft); border-bottom: 1px solid var(--border-soft); }
.section__head { max-width: 760px; margin: 0 auto 3.2rem; text-align: center; }
.section__sub { color: var(--text-dim); font-size: 1.06rem; }

/* ---------------- Buttons ---------------- */
.btn {
  display: inline-flex; align-items: center; gap: 0.5rem;
  font-weight: 600; font-size: 0.96rem; padding: 0.72rem 1.4rem;
  border-radius: 10px; border: 1px solid transparent; cursor: pointer;
  transition: transform 0.15s ease, box-shadow 0.2s ease, background 0.2s ease, border-color 0.2s ease;
  white-space: nowrap;
}
.btn--primary { background: linear-gradient(100deg, #4f7cff, #2dd4bf); color: #071019; box-shadow: 0 6px 20px rgba(79, 124, 255, 0.35); }
.btn--primary:hover { transform: translateY(-2px); box-shadow: 0 10px 26px rgba(45, 212, 191, 0.35); }
.btn--ghost { background: transparent; color: var(--text); border-color: var(--border); }
.btn--ghost:hover { border-color: var(--accent); background: var(--accent-soft); }
.btn--sm { padding: 0.45rem 0.9rem; font-size: 0.88rem; }
.btn--lg { padding: 0.9rem 1.8rem; font-size: 1.02rem; }

/* ---------------- Nav ---------------- */
.nav {
  position: sticky; top: 0; z-index: 50; height: var(--nav-h);
  background: color-mix(in srgb, var(--bg) 78%, transparent);
  backdrop-filter: blur(14px); -webkit-backdrop-filter: blur(14px);
  border-bottom: 1px solid var(--border-soft);
}
.nav__inner { display: flex; align-items: center; gap: 1.5rem; height: var(--nav-h); }
.brand { display: inline-flex; align-items: center; gap: 0.6rem; font-weight: 800; font-size: 1.12rem; color: var(--text); letter-spacing: -0.01em; }
.brand__logo { display: block; border-radius: 8px; }
.brand__accent { background: var(--grad); -webkit-background-clip: text; background-clip: text; -webkit-text-fill-color: transparent; }

.nav__links { display: flex; gap: 0.4rem; margin-left: auto; }
.nav__links a {
  color: var(--text-dim); font-size: 0.92rem; font-weight: 500;
  padding: 0.45rem 0.8rem; border-radius: 8px; transition: color 0.15s, background 0.15s;
}
.nav__links a:hover { color: var(--text); background: var(--accent-soft); }
.nav__links a.is-active { color: var(--text); background: var(--accent-soft); }

.nav__actions { display: flex; align-items: center; gap: 0.6rem; }
.nav__actions .btn .icon { display: block; }

.theme-toggle {
  display: inline-flex; align-items: center; justify-content: center;
  width: 38px; height: 38px; border-radius: 9px; border: 1px solid var(--border);
  background: transparent; color: var(--text-dim); cursor: pointer; transition: all 0.15s;
}
.theme-toggle:hover { color: var(--text); border-color: var(--accent); }
html[data-theme="dark"] .icon-sun { display: none; }
html[data-theme="light"] .icon-moon { display: none; }

.nav__burger { display: none; flex-direction: column; gap: 5px; width: 40px; height: 38px; align-items: center; justify-content: center; background: transparent; border: 1px solid var(--border); border-radius: 9px; cursor: pointer; }
.nav__burger span { width: 18px; height: 2px; background: var(--text); border-radius: 2px; transition: 0.2s; }
.nav__burger[aria-expanded="true"] span:nth-child(1) { transform: translateY(7px) rotate(45deg); }
.nav__burger[aria-expanded="true"] span:nth-child(2) { opacity: 0; }
.nav__burger[aria-expanded="true"] span:nth-child(3) { transform: translateY(-7px) rotate(-45deg); }

/* ---------------- Hero ---------------- */
.hero { position: relative; padding: 5.5rem 0 4.5rem; overflow: hidden; }
.hero__glow {
  position: absolute; inset: 0; pointer-events: none;
  background:
    radial-gradient(600px 380px at 18% 8%, rgba(79, 124, 255, 0.16), transparent 60%),
    radial-gradient(620px 420px at 86% 20%, rgba(45, 212, 191, 0.12), transparent 60%);
}
.hero__inner { position: relative; display: grid; grid-template-columns: 1.05fr 0.95fr; gap: 3.5rem; align-items: center; }

.eyebrow {
  display: inline-flex; align-items: center; gap: 0.5rem;
  font-family: var(--font-mono); font-size: 0.8rem; color: var(--text-dim);
  border: 1px solid var(--border); background: var(--surface);
  padding: 0.35rem 0.8rem; border-radius: 999px; margin-bottom: 1.3rem;
}
.eyebrow__dot { width: 8px; height: 8px; border-radius: 50%; background: var(--accent-2); box-shadow: 0 0 0 4px rgba(45, 212, 191, 0.18); }

.lede { font-size: 1.16rem; color: var(--text-dim); max-width: 34ch; }
.hero__cta { display: flex; flex-wrap: wrap; gap: 0.8rem; margin: 1.8rem 0 1.6rem; }
.hero__badges { list-style: none; display: flex; flex-wrap: wrap; gap: 1.2rem; padding: 0; margin: 0; }
.hero__badges li { display: inline-flex; align-items: center; gap: 0.45rem; color: var(--text-dim); font-size: 0.9rem; font-weight: 500; }
.hero__badges svg { color: var(--accent-2); flex: none; }

.hero__visual { position: relative; }

.code-window {
  max-width: 100%;
  background: var(--code-bg); border: 1px solid var(--border);
  border-radius: var(--radius); box-shadow: var(--shadow-lg); overflow: hidden;
}
.code-window__bar { display: flex; align-items: center; gap: 7px; padding: 0.7rem 1rem; background: rgba(255,255,255,0.02); border-bottom: 1px solid var(--border-soft); }
.code-window__title { margin-left: 0.5rem; font-family: var(--font-mono); font-size: 0.76rem; color: var(--text-faint); }
.dot { width: 11px; height: 11px; border-radius: 50%; }
.dot--r { background: #ff5f57; } .dot--y { background: #febc2e; } .dot--g { background: #28c840; }
.code-window__body { margin: 0; padding: 1.2rem 1.3rem; overflow-x: auto; font-family: var(--font-mono); font-size: 0.83rem; line-height: 1.65; color: #d7e0ef; }

.hero__chip {
  position: absolute; display: flex; flex-direction: column; gap: 2px;
  background: var(--surface); border: 1px solid var(--border); border-radius: 12px;
  padding: 0.6rem 0.9rem; box-shadow: var(--shadow); font-family: var(--font-mono);
}
.hero__chip--1 { top: -18px; right: -8px; }
.hero__chip--2 { bottom: -16px; left: -14px; }
.chip-label { font-size: 0.66rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-faint); }
.chip-value { font-size: 0.85rem; font-weight: 600; color: var(--accent-2); }

/* syntax tokens */
.tok-k { color: #7aa2ff; } .tok-s { color: #8ee3c8; } .tok-f { color: #62d0ff; }
.tok-n { color: #f7b26a; } .tok-c { color: #5f6b84; font-style: italic; } .tok-p { color: #2dd4bf; }

/* ---------------- Trust strip ---------------- */
.strip { border-top: 1px solid var(--border-soft); border-bottom: 1px solid var(--border-soft); background: var(--bg-alt); }
.strip__inner { display: flex; flex-wrap: wrap; align-items: center; justify-content: space-between; gap: 1rem; padding: 1.1rem 0; color: var(--text-faint); font-size: 0.86rem; }
.strip__items { display: flex; flex-wrap: wrap; gap: 1.6rem; }
.strip__item { font-family: var(--font-mono); font-weight: 600; color: var(--text-dim); letter-spacing: 0.02em; }

/* ---------------- Cards & grids ---------------- */
.grid { display: grid; gap: 1.4rem; }
.grid--3 { grid-template-columns: repeat(3, 1fr); }
.grid--2 { grid-template-columns: repeat(2, 1fr); }

.card {
  background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
  padding: 1.8rem; transition: transform 0.2s ease, border-color 0.2s ease, box-shadow 0.2s ease;
}
.card:hover { transform: translateY(-4px); border-color: rgba(79, 124, 255, 0.5); box-shadow: var(--shadow); }
.card__icon {
  width: 44px; height: 44px; display: grid; place-items: center; font-size: 1.3rem;
  background: var(--accent-soft); border: 1px solid var(--border); border-radius: 11px; margin-bottom: 1.1rem; color: var(--accent-2);
}
.card p { color: var(--text-dim); margin: 0; font-size: 0.96rem; }

.feature { display: flex; gap: 1.2rem; background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius); padding: 1.7rem; transition: border-color 0.2s, transform 0.2s; }
.feature:hover { border-color: rgba(45, 212, 191, 0.5); transform: translateY(-3px); }
.feature__num { font-family: var(--font-mono); font-size: 0.85rem; font-weight: 600; color: var(--accent-2); padding-top: 0.15rem; }
.feature p { color: var(--text-dim); margin: 0; font-size: 0.96rem; }

/* ---------------- Contract section ---------------- */
.contract { display: grid; grid-template-columns: 1fr 1fr; gap: 3.5rem; align-items: center; }
.checklist { list-style: none; padding: 0; margin: 1.4rem 0 0; display: grid; gap: 0.8rem; }
.checklist li { position: relative; padding-left: 1.7rem; color: var(--text-dim); font-size: 0.96rem; }
.checklist li strong { color: var(--text); }
.checklist li::before {
  content: ""; position: absolute; left: 0; top: 0.42em; width: 14px; height: 14px;
  background: var(--grad); border-radius: 4px;
  -webkit-mask: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24'%3E%3Cpath fill='black' d='M9 16.2 4.8 12l-1.4 1.4L9 19 21 7l-1.4-1.4z'/%3E%3C/svg%3E") center/contain no-repeat;
          mask: url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 24 24'%3E%3Cpath fill='black' d='M9 16.2 4.8 12l-1.4 1.4L9 19 21 7l-1.4-1.4z'/%3E%3C/svg%3E") center/contain no-repeat;
}

.terminal { max-width: 100%; background: var(--code-bg); border: 1px solid var(--border); border-radius: var(--radius); box-shadow: var(--shadow-lg); overflow: hidden; }
.terminal__bar { display: flex; gap: 7px; padding: 0.7rem 1rem; background: rgba(255,255,255,0.02); border-bottom: 1px solid var(--border-soft); }
.terminal__body { margin: 0; padding: 1.2rem 1.3rem; overflow-x: auto; font-family: var(--font-mono); font-size: 0.82rem; line-height: 1.7; color: #d7e0ef; }

/* ---------------- Pipeline ---------------- */
.pipeline { display: flex; align-items: stretch; justify-content: center; gap: 1rem; flex-wrap: wrap; }
.pipeline__stage { display: flex; flex-direction: column; gap: 1rem; justify-content: center; }
.pipeline__stage--fork { flex-direction: column; }
.pipeline__box {
  background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius);
  padding: 1.1rem 1.4rem; text-align: center; min-width: 200px;
}
.pipeline__box--accent { border-color: rgba(79, 124, 255, 0.55); background: linear-gradient(160deg, var(--surface), rgba(79,124,255,0.08)); }
.pipeline__box--proof { border-color: rgba(45, 212, 191, 0.5); }
.pipeline__label { display: block; font-size: 0.72rem; letter-spacing: 0.1em; text-transform: uppercase; color: var(--text-faint); margin-bottom: 0.4rem; }
.pipeline__box code { background: none; padding: 0; font-size: 0.88rem; color: var(--text); }
.pipeline__arrow { display: flex; align-items: center; font-size: 1.6rem; color: var(--accent); }
.pipeline__note { text-align: center; color: var(--text-dim); margin-top: 2.2rem; font-size: 0.95rem; }

/* ---------------- Code block with tabs ---------------- */
.codeblock { max-width: 860px; width: 100%; margin: 0 auto; background: var(--code-bg); border: 1px solid var(--border); border-radius: var(--radius); box-shadow: var(--shadow-lg); overflow: hidden; }
.codeblock__tabs { display: flex; align-items: center; gap: 4px; padding: 0.55rem 0.8rem; background: rgba(255,255,255,0.02); border-bottom: 1px solid var(--border-soft); }
.tab {
  font-family: var(--font-mono); font-size: 0.82rem; font-weight: 600; color: var(--text-faint);
  background: transparent; border: 1px solid transparent; border-radius: 8px; padding: 0.4rem 0.85rem; cursor: pointer; transition: all 0.15s;
}
.tab:hover { color: var(--text); }
.tab.is-active { color: var(--text); background: var(--accent-soft); border-color: var(--border); }
.copy-btn {
  margin-left: auto; display: inline-flex; align-items: center; gap: 0.4rem;
  font-family: var(--font-mono); font-size: 0.78rem; color: var(--text-dim);
  background: transparent; border: 1px solid var(--border); border-radius: 8px; padding: 0.35rem 0.7rem; cursor: pointer; transition: all 0.15s;
}
.copy-btn:hover { color: var(--text); border-color: var(--accent); }
.copy-btn.is-copied { color: var(--accent-2); border-color: var(--accent-2); }
.codeblock__panes .pane { margin: 0; padding: 1.3rem 1.4rem; overflow-x: auto; font-family: var(--font-mono); font-size: 0.82rem; line-height: 1.68; color: #d7e0ef; }
.codeblock__out { padding: 0.7rem 1.4rem; border-top: 1px solid var(--border-soft); font-family: var(--font-mono); font-size: 0.8rem; color: var(--text-faint); background: rgba(255,255,255,0.015); }

/* ---------------- FAQ ---------------- */
.faq details { background: var(--surface); border: 1px solid var(--border); border-radius: var(--radius-sm); padding: 0.2rem 1.3rem; margin-bottom: 0.8rem; transition: border-color 0.2s; }
.faq details[open] { border-color: rgba(79, 124, 255, 0.5); }
.faq summary { cursor: pointer; list-style: none; font-weight: 600; font-size: 1.02rem; padding: 1rem 0; position: relative; padding-right: 2rem; }
.faq summary::-webkit-details-marker { display: none; }
.faq summary::after { content: "+"; position: absolute; right: 0; top: 0.9rem; font-size: 1.5rem; color: var(--accent); transition: transform 0.2s; line-height: 1; }
.faq details[open] summary::after { transform: rotate(45deg); }
.faq details p { color: var(--text-dim); margin: 0 0 1.1rem; }

/* ---------------- CTA ---------------- */
.cta { padding: 6rem 0; background: linear-gradient(160deg, var(--bg-alt), var(--bg)); border-top: 1px solid var(--border-soft); }
.cta__inner { text-align: center; max-width: 640px; margin: 0 auto; }
.cta__inner p { color: var(--text-dim); font-size: 1.08rem; }
.cta__actions { display: flex; justify-content: center; flex-wrap: wrap; gap: 0.9rem; margin-top: 1.6rem; }

/* ---------------- Footer ---------------- */
.footer { border-top: 1px solid var(--border-soft); background: var(--bg-alt); padding: 3.5rem 0 1.5rem; }
.footer__inner { display: grid; grid-template-columns: 1.3fr 2fr; gap: 2.5rem; padding-bottom: 2.2rem; }
.footer__brand p { color: var(--text-faint); font-size: 0.9rem; margin-top: 0.9rem; }
.footer__cols { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1.5rem; }
.footer__col h4 { font-size: 0.82rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-faint); margin-bottom: 0.9rem; }
.footer__col a { display: block; color: var(--text-dim); font-size: 0.92rem; padding: 0.25rem 0; transition: color 0.15s; }
.footer__col a:hover { color: var(--text); }
.footer__bar { display: flex; justify-content: space-between; flex-wrap: wrap; gap: 0.6rem; border-top: 1px solid var(--border-soft); padding-top: 1.4rem; color: var(--text-faint); font-size: 0.82rem; }

/* ---------------- Reveal animation ---------------- */
.reveal { opacity: 0; transform: translateY(22px); transition: opacity 0.6s ease, transform 0.6s ease; }
.reveal.is-visible { opacity: 1; transform: none; }

/* ---------------- Responsive ---------------- */
@media (max-width: 960px) {
  .hero__inner { grid-template-columns: 1fr; gap: 2.5rem; }
  .hero__visual { min-width: 0; }
  .lede { max-width: 100%; }
  .grid--3 { grid-template-columns: 1fr 1fr; }
  .contract { grid-template-columns: 1fr; gap: 2.2rem; }
  .footer__inner { grid-template-columns: 1fr; }
  .code-window, .terminal, .codeblock { max-width: 100%; }
}
@media (max-width: 720px) {
  .container { width: 94%; }
  .nav__links {
    position: fixed; top: var(--nav-h); left: 0; right: 0; z-index: 49;
    flex-direction: column; gap: 0.2rem; background: var(--bg);
    border-bottom: 1px solid var(--border); padding: 0.8rem 4%;
    transform: translateY(-12px); opacity: 0; pointer-events: none; transition: 0.22s ease;
  }
  .nav__links.is-open { transform: none; opacity: 1; pointer-events: auto; }
  .nav__links a { padding: 0.7rem 0.8rem; }
  .nav__burger { display: inline-flex; }
  .nav__actions .btn span { display: none; }
  .grid--3, .grid--2 { grid-template-columns: 1fr; }
  .card, .feature { min-width: 0; }
  .pipeline { flex-direction: column; align-items: stretch; }
  .pipeline__arrow { justify-content: center; transform: rotate(90deg); }
  .hero__chip { display: none; }
  .footer__cols { grid-template-columns: 1fr 1fr; }
}
@media (max-width: 560px) {
  .brand__name { display: none; }
  .hero { padding-top: 3.5rem; }
  .hero__cta .btn { flex: 1 1 auto; justify-content: center; }
  /* Wrap long code lines on small screens instead of forcing the page wider */
  .code-window__body, .terminal__body, .codeblock__panes .pane {
    white-space: pre-wrap;
    overflow-wrap: anywhere;
    word-break: break-word;
  }
}

/* ---------------- Reduced motion ---------------- */
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { animation-duration: 0.01ms !important; transition-duration: 0.01ms !important; }
  .reveal { opacity: 1; transform: none; }
}