:root {
  --bg: #0a0f0d;
  --bg-alt: #0d1411;
  --panel: #12201a;
  --panel-2: #16251e;
  --border: #224033;
  --border-soft: #1b3026;
  --text: #e7efe9;
  --muted: #8ea396;
  --accent: #2dd4a7;      /* visage teal — mail / alias */
  --accent-2: #38bdf8;    /* sky blue — wasm */
  --accent-3: #fbbf24;    /* amber — native APE */
  --green: #4ade80;       /* ok */
  --error: #f87171;       /* rc != 0 */
  --mono: ui-monospace, "SF Mono", "Cascadia Code", Menlo, Consolas, "Liberation Mono", monospace;
  --sans: system-ui, -apple-system, "Segoe UI", Roboto, "Helvetica Neue", Arial, sans-serif;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  font-family: var(--sans);
  background:
    radial-gradient(1100px 520px at 88% -12%, rgba(56, 189, 248, 0.07), transparent 60%),
    radial-gradient(900px 500px at -5% -5%, rgba(45, 212, 167, 0.06), transparent 55%),
    var(--bg);
  color: var(--text);
  line-height: 1.65;
  -webkit-font-smoothing: antialiased;
  text-rendering: optimizeLegibility;
}
body::before {
  content: "";
  position: fixed; inset: 0; z-index: -1; pointer-events: none;
  background-image:
    linear-gradient(rgba(255, 255, 255, 0.03) 1px, transparent 1px),
    linear-gradient(90deg, rgba(255, 255, 255, 0.03) 1px, transparent 1px);
  background-size: 44px 44px;
  -webkit-mask-image: radial-gradient(ellipse 90% 55% at 50% -5%, #000 0%, transparent 72%);
  mask-image: radial-gradient(ellipse 90% 55% at 50% -5%, #000 0%, transparent 72%);
}
a { color: var(--accent); text-decoration: none; }
a:hover { text-decoration: underline; }
code, kbd, pre, textarea { font-family: var(--mono); }
code {
  background: rgba(255, 255, 255, 0.055);
  border: 1px solid var(--border-soft);
  border-radius: 5px;
  padding: 0.05em 0.32em;
  font-size: 0.88em;
  color: #7fe3c6;
}
kbd {
  background: var(--panel-2);
  border: 1px solid var(--border);
  border-bottom-width: 2px;
  border-radius: 5px;
  padding: 0 0.42em;
  font-size: 0.82em;
  color: var(--text);
}
.wrap { max-width: 1080px; margin: 0 auto; padding: 0 24px; }

/* ---- top bar ---- */
.topbar {
  position: sticky; top: 0; z-index: 50;
  background: rgba(10, 15, 13, 0.78);
  -webkit-backdrop-filter: blur(10px) saturate(140%);
  backdrop-filter: blur(10px) saturate(140%);
  border-bottom: 1px solid var(--border-soft);
}
.topbar-inner { display: flex; align-items: center; justify-content: space-between; height: 60px; gap: 16px; }
.logo { display: inline-flex; align-items: center; gap: 8px; font-weight: 700; font-size: 1.1rem; color: var(--text); letter-spacing: 0.3px; }
.logo:hover { text-decoration: none; }
.logo-mark {
  display: inline-grid; place-items: center; width: 26px; height: 26px;
  background: linear-gradient(135deg, var(--accent), #159a78);
  color: #06251c; border-radius: 7px; font-size: 1.05rem; font-weight: 800;
}
.logo-accent { color: var(--accent); }
.logo-ver { font-size: 0.66rem; font-weight: 600; color: var(--muted); border: 1px solid var(--border); border-radius: 999px; padding: 1px 7px; margin-left: 2px; }
.topbar nav { display: flex; align-items: center; gap: 4px; }
.topbar nav a { color: var(--muted); padding: 6px 11px; font-size: 0.9rem; border-radius: 7px; }
.topbar nav a:hover { color: var(--text); text-decoration: none; background: rgba(255, 255, 255, 0.04); }

/* ---- hero ---- */
.hero {
  position: relative;
  padding: 84px 0 72px;
  border-bottom: 1px solid var(--border-soft);
  text-align: center;
  overflow: hidden;
}
.hero::after {
  content: "";
  position: absolute; left: 50%; top: -140px; transform: translateX(-50%);
  width: 760px; height: 460px; z-index: -1;
  background: radial-gradient(closest-side, rgba(45, 212, 167, 0.10), transparent 70%);
  pointer-events: none;
}
.eyebrow {
  display: inline-block; margin: 0 0 14px;
  font-family: var(--mono); font-size: 0.76rem; letter-spacing: 0.14em; text-transform: uppercase;
  color: var(--accent);
  border: 1px solid rgba(45, 212, 167, 0.3); background: rgba(45, 212, 167, 0.07);
  padding: 5px 13px; border-radius: 999px;
}
.hero h1 { font-size: clamp(2.4rem, 6vw, 3.9rem); line-height: 1.06; margin: 0 0 18px; letter-spacing: -1.5px; font-weight: 800; }
.grad {
  background: linear-gradient(100deg, var(--accent) 0%, #8ff0d5 45%, var(--accent-2) 100%);
  -webkit-background-clip: text; background-clip: text;
  -webkit-text-fill-color: transparent; color: transparent;
}
.lead { max-width: 720px; margin: 0 auto 26px; color: var(--muted); font-size: 1.14rem; }
.lead strong { color: var(--text); font-weight: 600; }
.hero-cta { display: flex; gap: 12px; justify-content: center; flex-wrap: wrap; margin-bottom: 26px; }

.btn {
  display: inline-flex; align-items: center; gap: 8px;
  border-radius: 9px; padding: 11px 22px; font-size: 0.96rem; font-weight: 650;
  border: 1px solid transparent; cursor: pointer; transition: transform .12s ease, box-shadow .2s ease, filter .2s ease;
  line-height: 1;
}
.btn:hover { text-decoration: none; transform: translateY(-1px); }
.btn:active { transform: translateY(0); }
.btn-glyph { font-size: 0.82em; }
.btn-primary {
  background: linear-gradient(180deg, #3de0b2, var(--accent));
  color: #06251c; box-shadow: 0 6px 22px -8px rgba(45, 212, 167, 0.55);
}
.btn-primary:hover { filter: brightness(1.05); }
.btn-ghost {
  background: rgba(255, 255, 255, 0.03);
  color: var(--text); border-color: var(--border);
}
.btn-ghost:hover { border-color: #2f4d3e; background: rgba(255, 255, 255, 0.06); }
.btn-sm { padding: 7px 15px; font-size: 0.85rem; border-radius: 8px; }

.badges { list-style: none; padding: 0; margin: 0 0 34px; display: flex; gap: 10px; justify-content: center; flex-wrap: wrap; }
.badges li {
  border: 1px solid var(--border); background: var(--panel);
  border-radius: 999px; padding: 7px 15px; font-size: 0.82rem; color: var(--muted);
}
.badges li b { color: var(--text); font-weight: 600; }

/* ---- terminal (hero mock) ---- */
.terminal {
  max-width: 680px; margin: 0 auto; text-align: left;
  background: #0b1410; border: 1px solid var(--border); border-radius: 12px;
  box-shadow: 0 24px 60px -30px rgba(0, 0, 0, 0.9), 0 0 0 1px rgba(255, 255, 255, 0.02) inset;
  overflow: hidden;
}
.term-bar, .window-bar {
  display: flex; align-items: center; gap: 6px;
  padding: 9px 13px; background: #101d17; border-bottom: 1px solid var(--border-soft);
}
.dot { width: 11px; height: 11px; border-radius: 50%; display: inline-block; }
.dot-r { background: #ff5f57; } .dot-y { background: #febc2e; } .dot-g { background: #28c840; }
.term-title, .window-title { font-family: var(--mono); font-size: 0.78rem; color: var(--muted); margin-left: 8px; }
.term-body { padding: 16px 18px; font-family: var(--mono); font-size: 0.84rem; line-height: 1.75; }
.term-line { white-space: pre-wrap; }
.term-line.out { color: var(--green); }
.prompt { color: var(--accent); margin-right: 8px; font-weight: 700; }
.term-comment { color: #4f6b5e; }
.cursor { display: inline-block; color: var(--accent); animation: blink 1.1s steps(1) infinite; }
@keyframes blink { 50% { opacity: 0; } }

/* ---- sections ---- */
.section { padding: 78px 0; scroll-margin-top: 60px; }
.section.alt {
  background: linear-gradient(180deg, rgba(255, 255, 255, 0.015), transparent 40%), var(--bg-alt);
  border-top: 1px solid var(--border-soft); border-bottom: 1px solid var(--border-soft);
}
.section h2 { margin: 0 0 12px; font-size: clamp(1.7rem, 3.6vw, 2.3rem); letter-spacing: -0.5px; line-height: 1.12; }
.section .eyebrow { margin-bottom: 10px; }
.sub { color: var(--muted); margin: 0 0 34px; max-width: 760px; font-size: 1.02rem; }
h2, h3 { scroll-margin-top: 80px; }

/* ---- scroll reveal (progressive) ---- */
.js .reveal { opacity: 0; transform: translateY(16px); transition: opacity .55s ease, transform .55s ease; }
.js .reveal.in { opacity: 1; transform: none; }
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .js .reveal { opacity: 1; transform: none; transition: none; }
  .cursor { animation: none; }
}

/* ---- flow diagram ---- */
.flow { max-width: 680px; margin: 0 auto 48px; }
.flow pre {
  background: #0b1410; border: 1px solid var(--border); border-radius: 12px;
  padding: 20px 22px; overflow-x: auto; font-size: 0.84rem; line-height: 1.8; color: var(--muted);
  box-shadow: 0 14px 40px -24px rgba(0, 0, 0, 0.8);
}
.flow code { background: none; border: none; padding: 0; color: inherit; font-size: inherit; }
.f-src { color: #7fe3c6; font-weight: 700; }
.f-main { color: var(--accent-3); font-weight: 700; }
.f-wasm { color: var(--accent-2); font-weight: 700; }
.f-mut { color: #64708466; }
.f-tree { color: #3d5448; }

/* ---- two targets ---- */
.targets { display: grid; grid-template-columns: 1fr 1fr; gap: 20px; }
.target {
  min-width: 0;  /* let a wide inner <pre> shrink so overflow-x can scroll (mobile) */
  position: relative; background: var(--panel); border: 1px solid var(--border); border-radius: 14px;
  padding: 26px; display: flex; flex-direction: column; overflow: hidden;
  transition: transform .18s ease, border-color .2s ease, box-shadow .25s ease;
}
.target::before { content: ""; position: absolute; top: 0; left: 0; right: 0; height: 3px; }
.target-native::before { background: linear-gradient(90deg, var(--accent-3), transparent 70%); }
.target-wasm::before { background: linear-gradient(90deg, var(--accent-2), transparent 70%); }
.target:hover { transform: translateY(-3px); border-color: #2f4d3e; box-shadow: 0 20px 50px -30px rgba(0, 0, 0, 0.9); }
.target-head { display: flex; align-items: flex-start; gap: 13px; margin-bottom: 14px; }
.target-head h3 { margin: 0 0 8px; font-size: 1.12rem; }
.target-head h3 code { font-size: 0.92rem; }
.target-icon {
  flex: 0 0 auto; display: grid; place-items: center; width: 42px; height: 42px; border-radius: 11px;
  background: rgba(255, 255, 255, 0.04); border: 1px solid var(--border);
}
.target-native .target-icon { color: var(--accent-3); }
.target-wasm .target-icon { color: var(--accent-2); }
.chip {
  display: inline-block; font-family: var(--mono); font-size: 0.68rem; font-weight: 700;
  letter-spacing: 0.06em; text-transform: uppercase; border-radius: 6px; padding: 3px 8px;
}
.chip-native { color: var(--accent-3); background: rgba(251, 191, 36, 0.12); border: 1px solid rgba(251, 191, 36, 0.3); }
.chip-wasm { color: var(--accent-2); background: rgba(56, 189, 248, 0.10); border: 1px solid rgba(56, 189, 248, 0.3); }
.target-desc { margin: 0 0 12px; color: var(--muted); font-size: 0.94rem; }
.target-desc strong { color: var(--text); font-weight: 600; }
.target-desc em { font-style: normal; color: var(--text); }
.os-list { list-style: none; display: flex; flex-wrap: wrap; gap: 7px; padding: 0; margin: 0 0 10px; }
.os-list li {
  font-family: var(--mono); font-size: 0.76rem; color: var(--text);
  border: 1px solid var(--border); background: var(--panel-2); border-radius: 7px; padding: 4px 10px;
}
.target-note { margin: 0 0 14px; color: var(--muted); font-size: 0.82rem; font-style: italic; }
.target-code { margin-bottom: 16px; }
.target-code pre {
  background: #0b1410; border: 1px solid var(--border-soft); border-radius: 9px; padding: 12px 14px;
  overflow-x: auto; font-size: 0.82rem; margin: 0;
}
.target .btn { align-self: flex-start; margin-top: auto; }

/* ---- live demo ---- */
.demo {
  background: var(--panel); border: 1px solid var(--border); border-radius: 14px; overflow: hidden;
  box-shadow: 0 30px 70px -40px rgba(0, 0, 0, 0.9);
}
.window-bar { justify-content: flex-start; }
.window-title { margin-left: 8px; }
.window-badge {
  margin-left: auto; font-family: var(--mono); font-size: 0.68rem; font-weight: 700; letter-spacing: 0.08em;
  text-transform: uppercase; color: var(--accent-2); background: rgba(56, 189, 248, 0.1);
  border: 1px solid rgba(56, 189, 248, 0.3); border-radius: 6px; padding: 2px 8px;
}
.panes { display: grid; grid-template-columns: 1fr 1fr; gap: 0; }
.panes .pane { padding: 16px; min-width: 0; }
.panes .pane + .pane { border-left: 1px solid var(--border); }
.panes label {
  display: block; font-family: var(--mono); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.08em;
  color: var(--muted); margin-bottom: 8px;
}
textarea {
  width: 100%; height: 320px; resize: vertical;
  background: #0d1713; color: var(--text); border: 1px solid var(--border);
  border-radius: 9px; padding: 13px; font-size: 0.88rem; line-height: 1.55;
  caret-color: var(--accent);
}
textarea:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 3px rgba(45, 212, 167, 0.12); }

/* ---- alias query bar ---- */
.query-bar {
  display: flex; align-items: center; gap: 10px; flex-wrap: wrap;
  padding: 12px 14px; border-bottom: 1px solid var(--border); background: #101d17;
}
.query-bar label { font-family: var(--mono); font-size: 0.72rem; text-transform: uppercase; letter-spacing: 0.08em; color: var(--muted); margin: 0; }
.query-bar input[type="text"] {
  flex: 1 1 240px; min-width: 0; height: 38px;
  background: #0d1713; color: var(--text); border: 1px solid var(--border);
  border-radius: 8px; padding: 0 12px; font-family: var(--mono); font-size: 0.9rem;
  caret-color: var(--accent);
}
.query-bar input[type="text"]:focus { outline: none; border-color: var(--accent); box-shadow: 0 0 0 3px rgba(45, 212, 167, 0.12); }
.query-bar .btn { height: 38px; padding: 0 20px; }
.btn.run { padding: 8px 20px; }

/* ---- parsed config summary ---- */
.summary, .result {
  margin: 0; border: 1px solid var(--border-soft); border-radius: 9px; overflow: hidden;
  background: #0d1713;
}
.ans-empty { padding: 14px 16px; color: var(--muted); font-family: var(--mono); font-size: 0.88rem; }
.sum-line {
  padding: 8px 14px; font-family: var(--mono); font-size: 0.84rem; color: var(--muted);
  border-bottom: 1px solid var(--border-soft);
}
.sum-line:last-child { border-bottom: none; }
.alias-row {
  display: flex; align-items: baseline; gap: 10px; flex-wrap: wrap;
  padding: 8px 14px; font-family: var(--mono); font-size: 0.85rem;
  border-bottom: 1px solid var(--border-soft);
}
.alias-row:last-child { border-bottom: none; }
.alias-row:hover { background: rgba(255, 255, 255, 0.02); }
.alias-name { color: var(--text); font-weight: 600; }
.alias-dests { color: var(--accent); word-break: break-all; }

/* ---- resolution result ---- */
.decide {
  display: inline-block; font-family: var(--mono); font-weight: 800; letter-spacing: 0.1em; font-size: 0.82rem;
  border-radius: 7px; padding: 5px 12px; margin: 10px 14px 4px;
}
.decide.accept { color: #0b2418; background: var(--green); }
.decide.reject { color: #2a0d0d; background: var(--error); }
.route { padding: 2px 14px 8px; font-family: var(--mono); font-size: 0.84rem; color: var(--muted); }
.dest-row {
  padding: 8px 14px; font-family: var(--mono); font-size: 0.85rem; color: var(--text);
  border-top: 1px solid var(--border-soft); word-break: break-all;
}
.dest-row::before { content: "→ "; color: var(--accent); font-weight: 700; }
.result .ans-empty { border-top: 1px solid var(--border-soft); }

/* ---- demo foot ---- */
.demo-foot {
  display: flex; align-items: center; justify-content: space-between; gap: 12px;
  padding: 11px 16px; border-top: 1px solid var(--border); flex-wrap: wrap;
}
.status { color: var(--muted); font-size: 0.84rem; font-family: var(--mono); }
.status.error { color: var(--error); }

/* CodeMirror fills the wrap; the hidden textarea is just CM's backing field. */
.editor-wrap { position: relative; overflow: hidden; background: #0d1713; border: 1px solid var(--border); border-radius: 9px; }
.editor-wrap textarea { display: none; }
.editor-wrap .CodeMirror {
  height: 320px; font-family: var(--mono); font-size: 0.88rem; line-height: 1.55;
  background: #0d1713; color: var(--text); border: none;
}
.editor-wrap .CodeMirror-gutters {
  background: #0d1713; border-right: 1px solid var(--border-soft); color: #2f4d3e;
}
.editor-wrap .CodeMirror-linenumber { color: #2f4d3e; padding: 0 8px 0 12px; }
.editor-wrap .CodeMirror-cursor { border-left: 2px solid var(--accent); }
.editor-wrap .CodeMirror-selected { background: rgba(45, 212, 167, 0.14); }
.editor-wrap .CodeMirror-focused .CodeMirror-selected { background: rgba(45, 212, 167, 0.2); }
.editor-wrap .CodeMirror-activeline-background { background: rgba(255, 255, 255, 0.03); }

/* ---- syntax highlighting (CodeMirror cm-s-dhall theme) ---- */
.editor-wrap .CodeMirror { color: var(--text); }
.editor-wrap .cm-s-dhall .cm-keyword    { color: #2dd4a7; font-weight: 600; }  /* let/in/if/else */
.editor-wrap .cm-s-dhall .cm-type       { color: #fbbf24; font-weight: 600; }  /* Natural/Text/List */
.editor-wrap .cm-s-dhall .cm-atom       { color: #38bdf8; }                    /* True/False */
.editor-wrap .cm-s-dhall .cm-builtin    { color: #38bdf8; }                    /* List/map & co */
.editor-wrap .cm-s-dhall .cm-string     { color: #4ade80; }                    /* "strings" */
.editor-wrap .cm-s-dhall .cm-number     { color: #fca5a5; }                    /* 123 / 1.5 */
.editor-wrap .cm-s-dhall .cm-comment    { color: #4f6b5e; font-style: italic; }/* -- {- -} */
.editor-wrap .cm-s-dhall .cm-operator   { color: #94a3b8; }                    /* operators */
.editor-wrap .cm-s-dhall .cm-variable   { color: var(--text); }

/* ---- feature grid ---- */
.grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(240px, 1fr)); gap: 16px; }
.card {
  background: var(--panel); border: 1px solid var(--border); border-radius: 12px; padding: 20px 20px 18px;
  transition: transform .16s ease, border-color .2s ease, box-shadow .25s ease;
}
.card:hover { transform: translateY(-3px); border-color: #2f4d3e; box-shadow: 0 16px 40px -28px rgba(0, 0, 0, 0.9); }
.card .icon {
  display: inline-grid; place-items: center; width: 34px; height: 34px; margin-bottom: 12px;
  border-radius: 9px; font-family: var(--mono); font-size: 1.05rem; font-weight: 700; line-height: 1;
  color: var(--accent); background: rgba(45, 212, 167, 0.09); border: 1px solid rgba(45, 212, 167, 0.22);
}
.card h3 { margin: 0 0 7px; font-size: 1.02rem; }
.card p { margin: 0; color: var(--muted); font-size: 0.9rem; }

/* ---- benchmark charts ---- */
.bench-charts { display: grid; grid-template-columns: repeat(auto-fit, minmax(320px, 1fr)); gap: 22px; margin-top: 30px; }
.bench-charts figure { margin: 0; }
.bench-charts img { width: 100%; height: auto; background: #fff; border-radius: 10px; padding: 10px; border: 1px solid rgba(255, 255, 255, 0.06); }
.bench-charts figcaption { margin-top: 8px; font-size: 0.85rem; color: var(--muted); text-align: center; }

/* ---- how it works ---- */
.how-list { display: flex; flex-direction: column; gap: 14px; max-width: 780px; margin: 0 0 26px; }
.how-item {
  display: flex; gap: 16px; align-items: flex-start;
  background: var(--panel); border: 1px solid var(--border); border-radius: 12px; padding: 18px 20px;
}
.how-num {
  flex: 0 0 auto; display: grid; place-items: center; width: 30px; height: 30px; border-radius: 50%;
  font-family: var(--mono); font-weight: 800; font-size: 0.9rem; color: #06251c; background: var(--accent);
}
.how-item h3 { margin: 0 0 5px; font-size: 1.05rem; }
.how-item p { margin: 0; color: var(--muted); font-size: 0.93rem; }

/* ---- quickstart / build ---- */
.code-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-bottom: 28px; }
.code-col { min-width: 0; background: var(--panel); border: 1px solid var(--border); border-radius: 12px; padding: 18px 20px; }
.code-col h3 { margin: 0 0 10px; font-size: 0.98rem; }
.code-col h3 code { font-size: 0.9rem; }
.code-col pre { margin: 0; }
.code-col pre code { background: none; border: none; padding: 0; color: inherit; font-size: inherit; }
.col-note { margin: 12px 0 0; color: var(--muted); font-size: 0.82rem; }
.usage-h { margin: 0 0 12px; font-size: 1.05rem; }

pre {
  background: #0b1410; border: 1px solid var(--border); border-radius: 10px;
  padding: 16px 18px; overflow-x: auto; max-width: 100%; font-size: 0.86rem; line-height: 1.7;
}
pre code { background: none; border: none; padding: 0; color: #d8e6de; font-size: inherit; }

/* ---- footer ---- */
.footer { border-top: 1px solid var(--border); padding: 40px 0 48px; color: var(--muted); font-size: 0.9rem; }
.footer-inner { display: flex; flex-direction: column; gap: 18px; }
.footer p { margin: 0 0 6px; max-width: 720px; }
.footer-logo { font-size: 1.05rem; font-weight: 700; color: var(--text); }
.footer-meta { display: flex; gap: 8px; flex-wrap: wrap; font-family: var(--mono); font-size: 0.78rem; color: var(--muted); }

/* ---- responsive ---- */
@media (max-width: 860px) {
  .targets { grid-template-columns: 1fr; }
  .code-cols { grid-template-columns: 1fr; }
}
@media (max-width: 720px) {
  .panes { grid-template-columns: 1fr; }
  .panes .pane + .pane { border-left: none; border-top: 1px solid var(--border); }
  .hero h1 { letter-spacing: -0.5px; }
  .topbar nav { display: none; }
  .section { padding: 56px 0; }
  .hero { padding: 60px 0 56px; }
}