:root {
  --navy-900: #0b1831;
  --navy-800: #142750;
  --navy-700: #214079;
  --ink: #172641;
  --muted: #586882;
  --line: #dce4eb;
  --paper: #ffffff;
  --wash: #f5f8f8;
  --accent: #f26b3a;
  --accent-ink: #b9431d;
  --aqua: #a8e6db;
  --sat: #1f9d6b;
  --unsat: #d6453d;
  --mono: "JetBrains Mono", ui-monospace, SFMono-Regular, Menlo, monospace;
  --sans: "Inter", system-ui, -apple-system, "Segoe UI", sans-serif;
  --display: "Space Grotesk", "Inter", system-ui, sans-serif;
  --radius: 10px;
}

* { box-sizing: border-box; }
[hidden] { display: none !important; }
html { scroll-behavior: smooth; scroll-padding-top: 78px; }
body { margin: 0; font: 16px/1.6 var(--sans); color: var(--ink); background: var(--paper); }
h1, h2, h3, h4 { font-family: var(--display); }
a { color: var(--accent-ink); text-decoration: none; }
a:hover { text-decoration: underline; }
code, pre, textarea { font-family: var(--mono); font-size: 13.5px; }
:not(pre) > code { background: var(--wash); border: 1px solid var(--line); padding: 1px 6px; border-radius: 5px; }
.wrap { max-width: 1120px; margin: 0 auto; padding: 0 24px; }

/* nav */
.nav { position: sticky; top: 0; z-index: 10; background: rgba(11,24,49,.94); backdrop-filter: blur(12px); border-bottom: 1px solid rgba(255,255,255,.1); }
.nav .wrap { display: flex; align-items: center; height: 64px; gap: 28px; }
.brand { display: flex; align-items: center; gap: 10px; color: #fff; font: 700 19px var(--display); letter-spacing: -.5px; }
.brand:hover { text-decoration: none; }
.brand svg { width: 26px; height: 26px; }
.nav nav { display: flex; gap: 22px; margin-left: auto; align-items: center; }
.nav nav a { color: #c7cfe6; font-size: 14.5px; }
.nav nav a:hover { color: #fff; text-decoration: none; }
.menu-toggle { display: none; align-items: center; gap: 10px; margin-left: auto; padding: 7px 11px; border: 1px solid rgba(255,255,255,.3); border-radius: 8px; background: transparent; color: #fff; font: 600 14px var(--sans); cursor: pointer; }
.menu-toggle:hover, .menu-toggle:focus-visible { border-color: #fff; }
.menu-toggle:focus-visible, .nav nav a:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }

.btn { display: inline-flex; align-items: center; gap: 8px; padding: 11px 20px; border-radius: 8px; font-weight: 700; font-size: 15px; border: 1px solid transparent; cursor: pointer; font-family: var(--display); transition: background-color .18s ease, border-color .18s ease, transform .18s ease, box-shadow .18s ease; }
.btn:hover { text-decoration: none; }
.btn:focus-visible { outline: 2px solid var(--accent); outline-offset: 3px; }
.btn-primary { background: var(--accent); color: #fff; box-shadow: 0 5px 0 rgba(0,0,0,.11); }
.btn-primary:hover { background: #e95c2b; transform: translateY(-2px); box-shadow: 0 7px 0 rgba(0,0,0,.11); }
.btn-ghost { color: #fff; border-color: rgba(255,255,255,.3); }
.btn-ghost:hover { border-color: #fff; }
.btn-sm { padding: 7px 14px; font-size: 14px; }

/* hero */
.hero { position: relative; background: radial-gradient(circle at 78% 18%, rgba(54,91,153,.42), transparent 38%), linear-gradient(145deg, #09162f, var(--navy-800)); color: #fff; padding: 104px 0 112px; overflow: hidden; }
.hero::before, .cta::before { content: ""; position: absolute; inset: 0; pointer-events: none; opacity: .23; background-image: radial-gradient(rgba(168,230,219,.46) 1px, transparent 1px); background-size: 28px 28px; mask-image: linear-gradient(90deg, transparent 15%, #000 85%); }
.hero .wrap { position: relative; display: grid; grid-template-columns: 1fr 1fr; gap: 62px; align-items: center; }
.eyebrow { display: inline-flex; align-items: center; gap: 10px; font: 600 11.5px var(--mono); letter-spacing: 1.25px; text-transform: uppercase; color: var(--accent); margin-bottom: 18px; }
.eyebrow::before { content: ""; width: 18px; height: 2px; background: currentColor; }
.hero h1 { font-size: clamp(46px, 4.4vw, 62px); line-height: 1.04; margin: 0 0 24px; letter-spacing: -2.5px; }
.hero h1 em { font-style: normal; color: var(--accent); }
.hero p.lead { font-size: 18px; line-height: 1.75; color: #c9d5e7; margin: 0 0 32px; max-width: 34em; }
.hero .ctas { display: flex; gap: 14px; flex-wrap: wrap; }
.k { color: #8fb4ff; } .s { color: #ffc28a; } .c { color: #6c7aa3; } .ok { color: #4fd69c; } .bad { color: #ff7b72; }

/* The connected nodes in the mark become a proof path in the hero. */
.proof-demo { color: var(--ink); background: #f9fcfb; border: 1px solid rgba(168,230,219,.35); border-radius: 18px; box-shadow: 0 34px 80px rgba(0,5,20,.32), 0 0 0 8px rgba(255,255,255,.035); overflow: hidden; transform: rotate(1deg); }
.proof-demo-top, .proof-demo-foot { display: flex; justify-content: space-between; align-items: center; gap: 12px; font: 600 11px var(--mono); letter-spacing: .5px; text-transform: uppercase; }
.proof-demo-top { color: #d4e8ef; background: #102442; padding: 15px 22px; }
.proof-live { display: inline-flex; align-items: center; gap: 10px; }
.proof-live > span { width: 9px; height: 9px; background: var(--aqua); border-radius: 50%; box-shadow: 0 0 0 4px rgba(168,230,219,.14); }
.proof-demo-body { padding: 25px 30px 28px; background: radial-gradient(circle at 90% 10%, rgba(168,230,219,.18), transparent 40%); }
.proof-stage { position: relative; padding: 0 0 23px 28px; border-left: 1px dashed #bfd1d9; }
.proof-stage::before { content: ""; position: absolute; top: 3px; left: -6px; width: 11px; height: 11px; background: var(--aqua); border: 2px solid #fff; border-radius: 50%; box-shadow: 0 0 0 1px #acc9ca; }
.proof-step { display: block; margin-bottom: 12px; color: #62758c; font: 600 11px var(--mono); letter-spacing: .75px; text-transform: uppercase; }
.proof-proposal, .proof-rule { display: flex; align-items: center; gap: 13px; background: #fff; border: 1px solid var(--line); border-radius: 10px; padding: 12px 14px; box-shadow: 0 5px 16px rgba(9,28,49,.05); }
.proof-proposal strong { display: block; font: 700 16px var(--mono); letter-spacing: -.6px; }
.proof-proposal small, .proof-rule small { display: block; color: var(--muted); font-size: 12px; }
.proof-plus { display: grid; place-items: center; flex: none; width: 34px; height: 34px; color: #08705f; background: #e0f6f0; border-radius: 8px; font: 700 23px var(--display); }
.proof-rule + .proof-rule { margin-top: 8px; }
.proof-rule-icon { display: grid; place-items: center; flex: none; width: 26px; height: 26px; color: #bd492d; background: #fff0e9; border-radius: 50%; font: 700 18px var(--display); }
.proof-rule strong { display: block; font: 600 12px var(--mono); letter-spacing: -.25px; }
.proof-rule-tag { margin-left: auto; color: #b7472b; font: 600 10px var(--mono); text-transform: uppercase; }
.proof-decision { position: relative; margin: 0 0 0 28px; padding: 0 0 0 28px; }
.proof-decision::before { content: ""; position: absolute; top: 3px; left: -6px; width: 11px; height: 11px; background: var(--accent); border: 2px solid #fff; border-radius: 50%; box-shadow: 0 0 0 1px var(--accent); }
.proof-decision strong { display: block; color: #b9431d; font: 700 24px var(--display); letter-spacing: -.7px; line-height: 1.2; }
.proof-decision strong span { font-size: 18px; }
.proof-decision p { margin: 4px 0 0; color: var(--muted); font-size: 13px; }
.proof-demo-foot { color: #8090a1; background: #eaf1f1; padding: 12px 22px; font-size: 10px; }

/* sections */
section { padding: 96px 0; }
section.alt { background: var(--wash); border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.section-head { max-width: 720px; margin-bottom: 48px; }
.section-head h2 { font-size: clamp(32px, 3.4vw, 44px); line-height: 1.1; letter-spacing: -1.7px; margin: 0 0 16px; }
.section-head p { color: var(--muted); font-size: 18px; margin: 0; }

/* stack diagram */
.stack { display: grid; gap: 10px; max-width: 860px; }
.layer { display: grid; grid-template-columns: 210px 1fr; align-items: center; gap: 20px; padding: 18px 22px; border-radius: var(--radius); border: 1px solid var(--line); background: #fff; box-shadow: 0 6px 20px rgba(13,35,58,.035); }
.layer h4 { margin: 0; font-size: 16px; }
.layer p { margin: 0; color: var(--muted); font-size: 15px; }
.layer .chips { display: flex; flex-wrap: wrap; gap: 8px; margin-top: 8px; }
.chip { font: 600 12px var(--mono); padding: 3px 9px; border-radius: 99px; background: var(--wash); border: 1px solid var(--line); color: var(--navy-700); }
.layer.core { background: var(--navy-800); color: #fff; border-color: var(--navy-800); box-shadow: 0 16px 32px rgba(11,24,49,.16); }
.layer.core p { color: #c7cfe6; }
.layer.core .chip { background: rgba(255,255,255,.08); border-color: rgba(255,255,255,.15); color: #fff; }
.layer.solver { border-left: 4px solid var(--accent); }

/* features */
.grid3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 22px; }
.card { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 26px; }
.card .ico { width: 38px; height: 38px; border-radius: 9px; display: grid; place-items: center; background: #fff1eb; color: var(--accent-ink); margin-bottom: 16px; }
.card h3 { margin: 0 0 8px; font-size: 18px; }
.card p { margin: 0; color: var(--muted); font-size: 15px; }

/* code tabs */
.tabs { display: flex; gap: 4px; border-bottom: 1px solid var(--line); margin-bottom: 0; }
.tabs button { background: none; border: 0; padding: 10px 16px; font: 600 14px var(--sans); color: var(--muted); cursor: pointer; border-bottom: 2px solid transparent; margin-bottom: -1px; }
.tabs button[aria-selected="true"] { color: var(--ink); border-color: var(--accent); }
.codebox { background: var(--navy-900); border-radius: 0 0 var(--radius) var(--radius); }
.codebox pre { margin: 0; padding: 22px; color: #d7def5; overflow-x: auto; line-height: 1.6; }
.split { display: grid; grid-template-columns: 1fr 1.3fr; gap: 48px; align-items: start; }
.steps { list-style: none; padding: 0; margin: 0; counter-reset: s; }
.steps li { counter-increment: s; position: relative; padding: 0 0 22px 46px; }
.steps li::before { content: counter(s); position: absolute; left: 0; top: 0; width: 30px; height: 30px; border-radius: 50%; background: var(--navy-800); color: #fff; font-weight: 700; font-size: 14px; display: grid; place-items: center; }
.steps h4 { margin: 2px 0 4px; font-size: 16.5px; }
.steps p { margin: 0; color: var(--muted); font-size: 15px; }

/* playground */
.pg { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.pg-pane { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); display: flex; flex-direction: column; min-width: 0; }
.pg-pane header { display: flex; align-items: center; gap: 10px; padding: 10px 14px; border-bottom: 1px solid var(--line); font-weight: 600; font-size: 14px; }
.pg-pane header select { margin-left: auto; font: 13px var(--sans); padding: 5px 8px; border-radius: 6px; border: 1px solid var(--line); background: #fff; }
.pg textarea { border: 0; resize: vertical; padding: 14px; min-height: 300px; outline: none; color: var(--ink); line-height: 1.55; width: 100%; }
.pg textarea.small { min-height: 96px; border-top: 1px solid var(--line); }
.pg-label { padding: 8px 14px 0; font-size: 12px; font-weight: 600; text-transform: uppercase; letter-spacing: .8px; color: var(--muted); border-top: 1px solid var(--line); }
.pg-actions { display: flex; gap: 10px; padding: 12px 14px; border-top: 1px solid var(--line); flex-wrap: wrap; }
.verdict { margin: 14px; padding: 14px 16px; border-radius: 8px; font-weight: 700; display: none; }
.verdict.sat { display: block; background: #e7f7ef; color: var(--sat); }
.verdict.unsat { display: block; background: #fdecea; color: var(--unsat); }
.verdict.err { display: block; background: #fff6e0; color: #94660b; }
.verdict small { display: block; font-weight: 500; color: var(--ink); margin-top: 4px; }
#pg-out { margin: 0 14px 14px; padding: 14px; background: var(--wash); border-radius: 8px; overflow: auto; flex: 1; min-height: 200px; white-space: pre-wrap; word-break: break-word; }

/* pricing */
.plans { display: grid; grid-template-columns: repeat(3, 1fr); gap: 22px; }
.plan { border: 1px solid var(--line); border-radius: 14px; padding: 30px; background: #fff; display: flex; flex-direction: column; box-shadow: 0 8px 24px rgba(13,35,58,.04); }
.plan.featured { border: 2px solid var(--accent); box-shadow: 0 18px 50px rgba(242,107,58,.12); }
.plan h3 { margin: 0; font-size: 20px; }
.plan .price { font-size: 32px; font-weight: 800; margin: 12px 0 2px; letter-spacing: -.5px; }
.plan .per { color: var(--muted); font-size: 14px; margin-bottom: 20px; }
.plan ul { list-style: none; padding: 0; margin: 0 0 26px; flex: 1; }
.plan li { padding: 7px 0 7px 26px; position: relative; font-size: 15px; }
.plan li::before { content: "✓"; position: absolute; left: 0; color: var(--sat); font-weight: 700; }
.plan .btn { justify-content: center; }
.plan .btn-outline { border-color: var(--line); color: var(--ink); }
.plan .btn-outline:hover { border-color: var(--ink); }

/* cta + footer */
.cta { position: relative; background: radial-gradient(circle at 15% 15%, rgba(168,230,219,.14), transparent 35%), linear-gradient(120deg, var(--navy-800), var(--navy-700)); color: #fff; text-align: center; overflow: hidden; }
.cta .wrap { position: relative; }
.cta h2 { font-size: 36px; margin: 0 0 12px; letter-spacing: -.6px; }
.cta p { color: #c7cfe6; font-size: 18px; margin: 0 0 30px; }
footer { background: var(--navy-900); color: #93a0c4; padding: 40px 0; font-size: 14px; }
footer .wrap { display: flex; gap: 24px; align-items: center; flex-wrap: wrap; }
footer a { color: #c7cfe6; }
footer .links { margin-left: auto; display: flex; gap: 20px; }

/* docs */
.docs { display: grid; grid-template-columns: 220px 1fr; gap: 48px; padding: 48px 0 96px; }
.docs aside { position: sticky; top: 84px; align-self: start; font-size: 14.5px; padding: 18px 20px 22px; background: var(--wash); border: 1px solid var(--line); border-radius: var(--radius); }
.docs aside h5 { margin: 18px 0 6px; font-size: 12px; text-transform: uppercase; letter-spacing: 1px; color: var(--muted); }
.docs aside a { display: block; padding: 4px 0; color: var(--ink); }
.docs aside a:hover { color: var(--accent-ink); }
.docs article { min-width: 0; }
.docs h1 { font-size: 38px; letter-spacing: -.8px; margin: 0 0 10px; }
.docs h2 { font-size: 26px; margin: 56px 0 12px; padding-top: 8px; border-top: 1px solid var(--line); }
.docs h3 { font-size: 18px; margin: 32px 0 8px; }
.docs pre { background: var(--navy-900); color: #d7def5; padding: 18px; border-radius: var(--radius); overflow-x: auto; line-height: 1.55; }
.endpoint { display: flex; align-items: center; gap: 10px; font-family: var(--mono); font-size: 15px; margin: 32px 0 8px; }
.method { font: 700 12px var(--mono); padding: 3px 8px; border-radius: 5px; background: #e7f7ef; color: var(--sat); }
.method.get { background: #e8f0ff; color: #2f5fd0; }
table { border-collapse: collapse; width: 100%; font-size: 14.5px; margin: 12px 0; }
th, td { text-align: left; padding: 9px 12px; border-bottom: 1px solid var(--line); vertical-align: top; }
th { background: var(--wash); font-weight: 600; }
.note { background: #fff6e0; border: 1px solid #f3dfae; padding: 12px 16px; border-radius: 8px; font-size: 15px; }

/* auth + dashboard */
.auth-page { background: radial-gradient(circle at 95% 5%, rgba(168,230,219,.28), transparent 35%), var(--wash); min-height: 100vh; }
.auth { display: grid; place-items: start center; padding: 72px 16px 96px; }
.auth-card { width: 100%; max-width: 440px; background: #fff; border: 1px solid var(--line); border-top: 4px solid var(--accent); border-radius: 14px; padding: 36px; box-shadow: 0 20px 52px rgba(11,24,49,.08); }
.auth-card.wide { max-width: 720px; }
.auth-card h1 { font-size: 28px; letter-spacing: -.5px; margin: 0 0 8px; }
.auth-card h3 { margin: 28px 0 10px; }
.muted { color: var(--muted); }
.fine { font-size: 14px; color: var(--muted); margin: 18px 0 0; }
form label { display: block; font-weight: 600; font-size: 14px; margin: 18px 0 6px; }
form input { width: 100%; font: 15px var(--sans); padding: 11px 13px; border: 1px solid var(--line); border-radius: 8px; outline: none; background: #fff; color: var(--ink); }
form input:focus { border-color: var(--accent); box-shadow: 0 0 0 3px rgba(242,107,58,.15); }
form .btn { width: 100%; justify-content: center; margin-top: 16px; }
.btn:disabled { opacity: .6; cursor: progress; }
#turnstile:not(:empty) { margin-top: 14px; }
.form-error { color: var(--unsat); font-size: 14px; margin: 10px 0 0; min-height: 1em; }
.keybox { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; background: var(--navy-900); color: #fff; padding: 12px 14px; border-radius: 8px; margin: 14px 0; }
.keybox code { background: none; border: 0; color: #ffc28a; word-break: break-all; flex: 1; min-width: 0; }
.keybox small { color: #93a0c4; width: 100%; }
.btn-dark { background: rgba(255,255,255,.12); color: #fff; }
.btn-dark:hover { background: rgba(255,255,255,.2); }
.auth-card .tabs { margin-top: 4px; }
.auth-card .codebox pre { font-size: 12.5px; white-space: pre-wrap; word-break: break-all; }

.dash { padding: 40px 24px 96px; }
.dash-head h1 { font-size: 32px; letter-spacing: -.6px; margin: 0 0 4px; }
.dash-head p { margin: 0 0 28px; }
.tiles { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; margin-bottom: 22px; }
.tile { background: #fff; border: 1px solid var(--line); border-top: 3px solid var(--navy-700); border-radius: var(--radius); padding: 20px 22px; }
.tile-label { font-size: 13px; font-weight: 600; color: var(--muted); }
.tile-value { font-size: 34px; font-weight: 800; letter-spacing: -.8px; margin: 4px 0; font-variant-numeric: tabular-nums; }
.tile-sub { font-size: 13.5px; color: var(--muted); }
.meter { height: 8px; border-radius: 99px; background: #e6eaf6; overflow: hidden; margin: 8px 0 8px; }
.meter span { display: block; height: 100%; background: #3b5bdb; border-radius: 99px; transition: width .4s; }
.meter.near span { background: var(--accent); }
.panel { background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 20px 22px; margin-bottom: 22px; position: relative; box-shadow: 0 6px 20px rgba(13,35,58,.035); }
.panel > header { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; margin-bottom: 16px; }
.panel h2 { font-size: 17px; margin: 0; }
.panel > header .muted { margin-left: auto; font-size: 13.5px; }
.chart { position: relative; padding-top: 18px; }
.chart-max { position: absolute; top: 0; left: 0; font-size: 12px; color: var(--muted); font-variant-numeric: tabular-nums; }
.bars { display: flex; align-items: flex-end; gap: 2px; height: 180px; border-top: 1px dashed var(--line); border-bottom: 1px solid #c9d0e2; }
.bar-col { flex: 1; height: 100%; display: flex; align-items: flex-end; cursor: default; }
.bar-col:hover .bar { background: #2f4bc0; }
.bar { width: 100%; background: #3b5bdb; border-radius: 4px 4px 0 0; }
.bar.zero { height: 0; }
.chart-axis { display: flex; justify-content: space-between; font-size: 12px; color: var(--muted); margin-top: 6px; }
.chart-tip { position: absolute; top: 46px; transform: translateX(-50%); background: var(--navy-900); color: #fff; font-size: 12.5px; padding: 5px 9px; border-radius: 6px; pointer-events: none; white-space: nowrap; }
details { margin-top: 14px; font-size: 14px; }
details summary { cursor: pointer; color: var(--muted); }
.inline-form { display: flex; gap: 8px; margin-left: auto; }
.inline-form input { width: 200px; padding: 7px 10px; font-size: 14px; }
.inline-form .btn { width: auto; margin: 0; }
.keys tr.revoked td { color: var(--muted); }
.link-btn { background: none; border: 0; color: var(--unsat); font: 600 14px var(--sans); cursor: pointer; padding: 0; }
.link-btn:hover { text-decoration: underline; }

/* home: principles, products, templates */
.principles { display: grid; grid-template-columns: repeat(4, 1fr); gap: 0; border: 1px solid rgba(168,230,219,.2); border-radius: 14px; overflow: hidden; background: rgba(255,255,255,.035); }
.principle { padding: 26px 24px; border-right: 1px solid rgba(255,255,255,.12); }
.principle:last-child { border-right: 0; }
.principle .n { font: 600 12px var(--mono); color: var(--accent); }
.principle h3 { margin: 8px 0 8px; font-size: 20px; color: #fff; }
.principle p { margin: 0; color: #c7cfe6; font-size: 15px; }
.manifesto { background: radial-gradient(circle at 95% 90%, rgba(34,76,119,.55), transparent 40%), var(--navy-900); color: #fff; }
.manifesto .section-head p { color: #c7cfe6; }
.products { display: grid; grid-template-columns: repeat(4, 1fr); gap: 18px; }
.product { border: 1px solid var(--line); border-top: 3px solid var(--navy-800); border-radius: 12px; padding: 24px; background: #fff; display: flex; flex-direction: column; box-shadow: 0 10px 28px rgba(13,35,58,.045); }
.product:nth-child(2) { border-top-color: #3b5bdb; }
.product:nth-child(3) { border-top-color: var(--accent); }
.product:nth-child(4) { border-top-color: var(--sat); }
.product .mark { width: 44px; height: 44px; border-radius: 11px; display: grid; place-items: center; color: #fff; background: var(--navy-800); font: 800 18px var(--mono); margin-bottom: 14px; }
.product:nth-child(2) .mark { background: #3b5bdb; }
.product:nth-child(3) .mark { background: var(--accent); }
.product:nth-child(4) .mark { background: var(--sat); }
.product h3 { margin: 0 0 6px; font-size: 18px; }
.product p { margin: 0 0 14px; color: var(--muted); font-size: 14.5px; flex: 1; }
.product code { font-size: 12.5px; }
.templates { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; }
.templates { counter-reset: template; }
.template { border: 1px solid var(--line); border-radius: 12px; padding: 22px; background: #fff; display: flex; flex-direction: column; gap: 8px; box-shadow: 0 8px 22px rgba(13,35,58,.035); }
.template::before { counter-increment: template; content: "0" counter(template) " / TEMPLATE"; color: #8392a3; font: 600 10px var(--mono); letter-spacing: .8px; margin-bottom: 4px; }
.template:last-child::before { content: "06 / CREATE"; }
.template h3 { margin: 0; font-size: 17px; }
.template p { margin: 0; color: var(--muted); font-size: 14.5px; flex: 1; }
.template .meta { display: flex; gap: 6px; flex-wrap: wrap; }
.template .btn { align-self: flex-start; margin-top: 6px; }
.btn-outline { border-color: var(--line); color: var(--ink); background: #fff; }
.btn-outline:hover { border-color: var(--ink); }
.install-row { display: flex; gap: 12px; flex-wrap: wrap; margin-top: 28px; }
.install-row code { background: rgba(255,255,255,.06); border: 1px solid rgba(255,255,255,.14); color: #d7def5; padding: 8px 12px; border-radius: 8px; font-size: 13.5px; }

/* One connected visual language for vocabulary, decision, and learning. */
.decision-loop { background: #eef4f3; border-top: 1px solid #dce9e7; border-bottom: 1px solid #dce9e7; }
.decision-flow { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 22px; position: relative; }
.decision-flow::before { content: ""; position: absolute; top: 59px; left: 12%; right: 12%; border-top: 1px dashed #a8c8c5; }
.decision-flow-card { position: relative; background: #fff; border: 1px solid #d5e3e0; border-radius: 13px; padding: 22px 24px 24px; box-shadow: 0 14px 32px rgba(16,52,67,.06); }
.decision-flow-card:nth-child(2) { border-top: 3px solid var(--accent); padding-top: 20px; }
.flow-number { color: #6a8290; font: 600 11px var(--mono); letter-spacing: .8px; }
.flow-glyph { display: grid; place-items: center; width: 48px; height: 48px; margin: 24px 0 18px; border: 1px solid #c9dedb; border-radius: 12px; background: #e6f4f0; color: #1c6a63; font: 700 23px var(--display); }
.decision-flow-card:nth-child(2) .flow-glyph { color: var(--accent-ink); background: #fff0e9; border-color: #f6d9ce; }
.decision-flow-card h3 { font-size: 22px; letter-spacing: -.7px; margin: 0 0 8px; }
.decision-flow-card p { color: var(--muted); font-size: 15px; margin: 0 0 20px; min-height: 5em; }
.decision-flow-card code { font-size: 12px; }
.flow-link { display: inline-flex; align-items: center; gap: 8px; margin-top: 28px; color: var(--navy-800); font: 700 15px var(--display); border-bottom: 1px solid var(--accent); padding-bottom: 4px; }
.flow-link:hover { color: var(--accent-ink); text-decoration: none; }

@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .btn { transition: none; }
  .btn-primary:hover { transform: none; }
}

/* vocabulary editor */
.ed { max-width: 1400px; margin: 0 auto; padding: 24px 24px 80px; }
.ed-bar { display: flex; align-items: center; gap: 14px; flex-wrap: wrap; margin-bottom: 18px; }
.ed-title { font: 800 24px var(--sans); letter-spacing: -.4px; border: 1px solid transparent; background: transparent; border-radius: 8px; padding: 4px 8px; color: var(--ink); min-width: 0; width: 22ch; }
.ed-title:hover, .ed-title:focus { border-color: var(--line); background: #fff; outline: none; }
.ed-counts { font-size: 14px; }
.ed-bar-actions { margin-left: auto; display: flex; gap: 8px; flex-wrap: wrap; align-items: center; }
.ed-bar-actions select { font: 14px var(--sans); padding: 7px 10px; border: 1px solid var(--line); border-radius: 8px; background: #fff; }
.file-btn { cursor: pointer; }
.ed-grid { display: grid; grid-template-columns: minmax(0, 1fr) 380px; gap: 22px; align-items: start; }
.ed-side { position: sticky; top: 76px; display: flex; flex-direction: column; }
.ed-side .panel { margin-bottom: 16px; }
.panel > header .btn { margin-left: auto; }
.panel > header .muted + .btn, .panel > header .ed-filter + .btn { margin-left: 0; }
.ed-filter { margin-left: auto; font: 14px var(--sans); padding: 6px 10px; border: 1px solid var(--line); border-radius: 8px; width: 160px; }
.ed-row { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; padding: 10px 0; border-top: 1px solid var(--line); }
.ed-row:first-child { border-top: 0; }
.ed-row-end { margin-left: auto; display: flex; align-items: center; gap: 12px; }
.ed-in { font: 14px var(--sans); padding: 6px 9px; border: 1px solid var(--line); border-radius: 7px; background: #fff; color: var(--ink); min-width: 0; }
.ed-in:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 3px rgba(242,107,58,.15); }
.ed-in.mono { font-family: var(--mono); font-size: 13px; }
.ed-in.num { width: 76px; }
.ed-in.wide { flex: 1; min-width: 220px; }
.ed-in.bad { border-color: var(--unsat); background: #fdecea; }
.chips-edit { display: flex; flex-wrap: wrap; gap: 6px; flex: 1; min-width: 200px; align-items: center; }
.chip-edit { display: inline-flex; align-items: center; gap: 4px; font: 600 12.5px var(--mono); background: var(--wash); border: 1px solid var(--line); border-radius: 99px; padding: 2px 4px 2px 10px; }
.chip-edit button { border: 0; background: none; cursor: pointer; color: var(--muted); font-size: 15px; line-height: 1; padding: 0 4px; }
.chip-edit button:hover { color: var(--unsat); }
.chip-add { width: 110px; border-style: dashed; padding: 3px 8px; }
.toggle { display: inline-flex; align-items: center; gap: 5px; font-size: 13.5px; color: var(--muted); white-space: nowrap; cursor: pointer; }
.pill { font: 600 11.5px var(--mono); padding: 3px 8px; border-radius: 99px; }
.pill.hard { background: #e8f0ff; color: #2f5fd0; }
.pill.soft { background: #fff1eb; color: var(--accent-ink); }
.empty { padding: 8px 0; margin: 0; font-size: 14px; }
.table-scroll { overflow-x: auto; }
.ed-terms { margin: 0; font-size: 13.5px; }
.ed-terms th { font-size: 12px; text-transform: uppercase; letter-spacing: .6px; color: var(--muted); white-space: nowrap; }
.ed-terms td { padding: 6px 8px; vertical-align: middle; }
.ed-terms td .ed-in { width: 100%; min-width: 90px; }
.ed-terms td:first-child .ed-in { min-width: 190px; }
.ed-terms .center { text-align: center; }
.ed-terms tr.fail td { background: #fdf3f2; }
.fail-note { font: 600 11.5px var(--mono); color: var(--unsat); margin-top: 3px; cursor: help; }
.check { display: flex; gap: 12px; align-items: flex-start; padding: 10px 0; border-top: 1px solid var(--line); }
.check:first-of-type { border-top: 0; }
.check b { display: block; font-size: 14.5px; }
.check small { display: block; color: var(--muted); font-size: 13px; line-height: 1.45; word-break: break-word; }
.check .dot { width: 12px; height: 12px; border-radius: 50%; margin-top: 5px; flex: none; background: #c9d0e2; }
.check[data-state="pass"] .dot { background: var(--sat); }
.check[data-state="fail"] .dot { background: var(--unsat); }
.check[data-state="error"] .dot { background: #d79a12; }
.check[data-state="running"] .dot { background: #3b5bdb; animation: pulse 1s infinite alternate; }
.check[data-state="stale"] .dot { background: #fff; border: 2px solid #c9d0e2; }
@keyframes pulse { from { opacity: .35; } to { opacity: 1; } }
.propose { display: grid; grid-template-columns: 1fr 1fr; gap: 8px; }
.prop-field { display: flex; flex-direction: column; gap: 3px; font-size: 12px; color: var(--muted); font-weight: 600; }
.prop-field:first-child { grid-column: 1 / -1; }
.prop-flags { grid-column: 1 / -1; display: flex; gap: 10px; align-items: center; }
.prop-flags .ed-in { flex: 1; }
.ed-side .verdict { margin: 12px 0 0; }
.ed-json { width: 100%; min-height: 260px; border: 1px solid var(--line); border-radius: 8px; padding: 10px; font-size: 12.5px; line-height: 1.5; resize: vertical; color: var(--ink); }
#json-status { color: var(--unsat); margin-left: auto; font-size: 12.5px; }
@media (max-width: 1100px) {
  .ed-grid { grid-template-columns: minmax(0, 1fr); }
  .ed-side { position: static; }
}
@media (max-width: 600px) {
  .ed { padding: 16px 16px 64px; }
  .ed-row-end { margin-left: 0; }
  .propose { grid-template-columns: 1fr; }
}

/* examples page */
.ex { padding: 40px 24px 96px; }
.ex-head h1 { font-size: 32px; letter-spacing: -.6px; margin: 6px 0 8px; }
.ex-head p { margin: 0 0 24px; max-width: 70ch; }
.ex-controls { display: flex; gap: 18px; align-items: flex-end; flex-wrap: wrap; background: #fff; border: 1px solid var(--line); border-radius: var(--radius); padding: 16px 18px; margin-bottom: 20px; }
.ex-controls > label { display: flex; flex-direction: column; gap: 6px; font-size: 13px; font-weight: 600; color: var(--muted); }
.ex-controls select, .ex-controls input { font: 14px var(--sans); padding: 8px 10px; border: 1px solid var(--line); border-radius: 8px; background: #fff; color: var(--ink); min-width: 240px; }
.ex-controls > label small { font-weight: 400; }
.ex-choice { border: 0; padding: 0; margin: 0; display: flex; gap: 14px; flex-wrap: wrap; }
.ex-choice legend { font-size: 13px; font-weight: 600; color: var(--muted); margin-bottom: 6px; }
.ex-choice label { display: flex; align-items: center; gap: 6px; font-size: 14px; cursor: pointer; }
.ex-choice label small { color: var(--muted); font-size: 12px; }
.ex-choice input:disabled + * , .ex-choice label:has(input:disabled) { opacity: .55; cursor: not-allowed; }
.ex-controls .btn { margin-left: auto; }
.ex-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; align-items: start; }
.ex-grid textarea { width: 100%; border: 1px solid var(--line); border-radius: 8px; padding: 10px; font-size: 12.5px; line-height: 1.5; resize: vertical; color: var(--ink); }
#ex-state { min-height: 90px; }
#ex-questions { min-height: 320px; }
.ex-grid .pg-label { padding: 12px 0 6px; border: 0; }
#ex-raw { background: var(--navy-900); color: #d7def5; padding: 12px; border-radius: 8px; font-size: 12px; overflow: auto; max-height: 360px; white-space: pre-wrap; }
.ans { border-top: 1px solid var(--line); padding: 14px 0; }
.ans:first-child { border-top: 0; padding-top: 4px; }
.ans-q { font-size: 14.5px; margin-bottom: 10px; }
.ans-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.ans-label { font-size: 12px; text-transform: uppercase; letter-spacing: .6px; color: var(--muted); font-weight: 600; display: flex; align-items: center; gap: 8px; margin-bottom: 4px; }
.ans-head { font: 700 20px var(--mono); letter-spacing: -.3px; word-break: break-word; }
.small { font-size: 12.5px; }
.probs { margin-top: 8px; display: grid; gap: 4px; }
.prob { display: grid; grid-template-columns: minmax(60px, 32%) 1fr 44px; gap: 8px; align-items: center; font-size: 12.5px; }
.prob-k { font-family: var(--mono); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.prob-bar { height: 8px; background: #e6eaf6; border-radius: 99px; overflow: hidden; }
.prob-bar i { display: block; height: 100%; background: #3b5bdb; border-radius: 99px; }
.prob.top .prob-bar i { background: var(--accent); }
.prob-v { text-align: right; font-variant-numeric: tabular-nums; color: var(--muted); }
.ex-code { margin-top: 20px; }
.ex-code .codebox pre { font-size: 12.5px; white-space: pre-wrap; word-break: break-word; }
@media (max-width: 900px) {
  .ex { padding: 24px 16px 64px; }
  .ex-grid, .ans-cols { grid-template-columns: 1fr; }
  .ex-controls .btn { margin-left: 0; }
}

@media (max-width: 900px) {
  .tiles, .principles, .products, .templates { grid-template-columns: 1fr; }
  .decision-flow { grid-template-columns: 1fr; }
  .decision-flow::before { display: none; }
  .decision-flow-card p { min-height: 0; }
  .principle { border-right: 0; border-bottom: 1px solid rgba(255,255,255,.12); }
  .inline-form { margin-left: 0; width: 100%; }
  .inline-form input { flex: 1; width: auto; }
  .keys { display: block; overflow-x: auto; }
  .dash { padding: 32px 16px 72px; }
  .auth-card { padding: 26px 20px; }
}

@media (max-width: 900px) {
  .hero .wrap, .split, .pg, .docs { grid-template-columns: 1fr; }
  .grid3, .plans { grid-template-columns: 1fr; }
  .hero { padding: 74px 0 82px; }
  .hero h1 { font-size: clamp(38px, 7vw, 52px); letter-spacing: -1.8px; }
  .proof-demo { max-width: 620px; transform: none; }
  .layer { grid-template-columns: 1fr; gap: 6px; }
  .nav .wrap { position: relative; }
  .menu-toggle { display: inline-flex; }
  .nav nav { display: none; position: absolute; top: 64px; left: 0; right: 0; margin: 0; padding: 12px 16px 20px; background: var(--navy-900); border: 1px solid rgba(255,255,255,.12); border-top: 0; box-shadow: 0 18px 30px rgba(0,0,0,.2); flex-direction: column; align-items: stretch; gap: 0; max-height: calc(100dvh - 64px); overflow-y: auto; }
  .nav nav.is-open { display: flex; }
  .nav nav a { display: block; padding: 10px 8px; }
  .nav nav a.btn { display: flex; justify-content: center; margin-top: 8px; }
  .docs aside { position: static; }
  .docs table { display: block; overflow-x: auto; }
  section { padding: 64px 0; }
  .wrap { padding: 0 16px; }
}

@media (max-width: 600px) {
  .hero .wrap { gap: 44px; }
  .hero p.lead { font-size: 17px; line-height: 1.65; }
  .proof-demo-body { padding: 22px 16px 24px; }
  .proof-stage { padding-left: 20px; }
  .proof-decision { margin-left: 20px; padding-left: 20px; }
  .proof-rule-tag { display: none; }
  .proof-demo-foot { flex-wrap: wrap; }
  .section-head p { font-size: 16px; }
}

/* use cases: the type picker at signup and the dashboard panel */
.uc-pick { border: 0; padding: 0; margin: 18px 0 6px; display: grid; gap: 8px; }
.uc-pick legend { font-size: 14px; font-weight: 600; margin-bottom: 8px; padding: 0; }
.uc-pick label { margin: 0; display: flex; align-items: flex-start; gap: 10px; padding: 11px 12px; border: 1px solid var(--line); border-radius: 9px; cursor: pointer; font-weight: 400; }
.uc-pick label:has(input:checked) { border-color: var(--accent); background: #fff8f4; }
.uc-pick input { margin-top: 3px; width: auto; }
.uc-pick b { display: block; font-size: 15px; }
.uc-pick small { display: block; color: var(--muted); font-size: 13px; line-height: 1.4; }
.uc-store { margin: 4px 0 14px; padding: 11px 13px; border-radius: 9px; background: #f6f8fc; font-size: 13px; color: var(--muted); }
.uc-store-head { font-weight: 600; color: var(--ink, #0b1831); margin-bottom: 5px; }
.uc-store ul, .uc-lines { margin: 0; padding-left: 16px; }
.uc-store li, .uc-lines li { line-height: 1.45; }
.uc-lines { font-size: 13px; color: var(--muted); }
.inline-form select { padding: 7px 9px; border: 1px solid var(--line); border-radius: 7px; background: #fff; font: inherit; font-size: 14px; }
.uc-hint { font-weight: 400; color: var(--muted); font-size: 13px; margin-left: 4px; }
.uc-note { margin: 2px 0 10px; }
.uc-store-type { font-weight: 600; color: var(--ink); margin: 7px 0 2px; }
.uc-store-type:first-child { margin-top: 0; }
.uc-key { margin: 14px 0; }
.uc-key .keybox { margin: 6px 0 0; }
.uc-key-head small { color: var(--muted); font-size: 13px; }