/* pragdml documentation site
   Dr Merwan Roudane — https://github.com/merwanroudane
   Light, high-contrast, print-friendly. */

:root{
  --bg:#fcfcfd;
  --surface:#ffffff;
  --ink:#16181d;
  --ink-soft:#4b5160;
  --ink-faint:#737a8c;
  --line:#e6e8ee;
  --indigo:#4f46e5;
  --indigo-soft:#eef0ff;
  --teal:#0d9488;
  --teal-soft:#e6fbf7;
  --amber:#d97706;
  --amber-soft:#fff6e8;
  --rose:#be123c;
  --rose-soft:#fff1f4;
  --radius:14px;
  --shadow:0 1px 2px rgba(22,24,29,.04), 0 8px 24px rgba(22,24,29,.06);
  --shadow-lg:0 2px 4px rgba(22,24,29,.05), 0 16px 48px rgba(22,24,29,.09);
}

*{box-sizing:border-box}
html{scroll-behavior:smooth;scroll-padding-top:72px}
body{
  margin:0;background:var(--bg);color:var(--ink);
  font:400 17px/1.68 Inter,-apple-system,"Segoe UI",system-ui,sans-serif;
  -webkit-font-smoothing:antialiased;
}
.wrap{width:min(1080px,calc(100% - 48px));margin-inline:auto}
@media(max-width:640px){.wrap{width:calc(100% - 32px)}}

a{color:var(--indigo);text-decoration:none}
a:hover{text-decoration:underline}
code{font-family:"JetBrains Mono",ui-monospace,SFMono-Regular,Menlo,monospace;font-size:.88em}
p code,li code,td code{background:var(--indigo-soft);color:#3b32c9;padding:.12em .42em;border-radius:5px}

/* ---------- hero ---------- */
.hero{
  position:relative;padding:84px 0 68px;
  background:
    radial-gradient(1100px 420px at 12% -8%, #e8ecff 0%, transparent 62%),
    radial-gradient(900px 400px at 88% 0%, var(--teal-soft) 0%, transparent 58%),
    linear-gradient(180deg,#f7f8ff 0%,var(--bg) 100%);
  overflow:hidden;
}
.hero-fade{position:absolute;inset:auto 0 0 0;height:1px;background:var(--line)}
.eyebrow{
  display:inline-block;font-size:12px;font-weight:700;letter-spacing:.12em;
  text-transform:uppercase;color:var(--teal);background:var(--teal-soft);
  padding:6px 12px;border-radius:999px;margin-bottom:18px;
}
.hero h1{
  margin:0;font-size:clamp(46px,8vw,78px);font-weight:800;letter-spacing:-.035em;
  background:linear-gradient(120deg,var(--indigo) 8%,var(--teal) 92%);
  -webkit-background-clip:text;background-clip:text;color:transparent;line-height:1.02;
}
.tagline{margin:16px 0 28px;font-size:clamp(18px,2.4vw,23px);color:var(--ink-soft);max-width:620px;line-height:1.5}
.tagline strong{color:var(--ink);font-weight:600}

.install{
  display:inline-flex;align-items:center;gap:14px;background:var(--surface);
  border:1px solid var(--line);border-radius:10px;padding:11px 12px 11px 18px;
  box-shadow:var(--shadow);margin-bottom:26px;flex-wrap:wrap;
}
.install code{font-size:15px;color:var(--ink);background:none;padding:0}
.copy{
  font:600 12px Inter,sans-serif;border:1px solid var(--line);background:var(--bg);
  color:var(--ink-soft);padding:5px 11px;border-radius:6px;cursor:pointer;transition:.15s;
}
.copy:hover{background:var(--indigo);color:#fff;border-color:var(--indigo)}

.cta{display:flex;gap:11px;flex-wrap:wrap}
.btn{
  display:inline-block;padding:11px 20px;border-radius:9px;border:1px solid var(--line);
  background:var(--surface);color:var(--ink);font-weight:600;font-size:15px;
  transition:.16s;box-shadow:var(--shadow);
}
.btn:hover{transform:translateY(-1px);box-shadow:var(--shadow-lg);text-decoration:none}
.btn.primary{background:var(--indigo);color:#fff;border-color:var(--indigo)}

/* ---------- sticky nav ---------- */
.toc{
  position:sticky;top:0;z-index:40;background:rgba(252,252,253,.9);
  backdrop-filter:saturate(180%) blur(12px);border-bottom:1px solid var(--line);
}
.toc .wrap{display:flex;gap:4px;overflow-x:auto;scrollbar-width:none}
.toc .wrap::-webkit-scrollbar{display:none}
.toc a{
  padding:14px 13px;font-size:14.5px;font-weight:500;color:var(--ink-soft);
  white-space:nowrap;border-bottom:2px solid transparent;
}
.toc a:hover,.toc a.active{color:var(--indigo);border-bottom-color:var(--indigo);text-decoration:none}

/* ---------- sections ---------- */
main{padding:8px 0 40px}
section{padding:60px 0;border-bottom:1px solid var(--line)}
section:last-child{border-bottom:0}
h2{font-size:clamp(28px,4vw,38px);font-weight:750;letter-spacing:-.025em;margin:0 0 20px}
h3{font-size:21px;font-weight:650;margin:40px 0 12px;letter-spacing:-.012em}
h4{font-size:16px;font-weight:650;margin:0 0 8px}
p{margin:0 0 16px;color:var(--ink-soft)}
.lede{font-size:20px;color:var(--ink);line-height:1.58}
.small{font-size:14px;color:var(--ink-faint)}
.more{display:inline-block;margin-top:10px;font-weight:600}

/* ---------- maths ---------- */
.bigmath{
  margin:28px 0;padding:30px 26px;background:var(--surface);
  border:1px solid var(--line);border-left:4px solid var(--indigo);
  border-radius:var(--radius);box-shadow:var(--shadow);text-align:center;
}
.bigmath .caption{margin:16px auto 0;max-width:640px;font-size:15.5px;text-align:center}
.katex-display{margin:.6em 0!important;overflow-x:auto;overflow-y:hidden;padding:2px 0}
.katex{font-size:1.04em}

/* ---------- cards ---------- */
.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(265px,1fr));gap:18px;margin-top:30px}
.cards.two{grid-template-columns:repeat(auto-fit,minmax(300px,1fr))}
.card{
  background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);
  padding:24px 22px;box-shadow:var(--shadow);transition:.18s;
}
.card:hover{transform:translateY(-2px);box-shadow:var(--shadow-lg)}
.card h3{margin:10px 0 8px;font-size:17.5px}
.card h4{color:var(--indigo)}
.card p{margin:0;font-size:15.5px;line-height:1.6}
.card .num{
  width:30px;height:30px;border-radius:8px;display:grid;place-items:center;
  background:var(--indigo);color:#fff;font-weight:700;font-size:14px;
}
.card.plain{border-left:3px solid var(--teal)}

/* ---------- code ---------- */
pre{
  background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);
  padding:20px 22px;overflow-x:auto;box-shadow:var(--shadow);margin:20px 0;
  font-size:14px;line-height:1.62;
}
pre code{font-family:"JetBrains Mono",ui-monospace,monospace;background:none;padding:0;color:var(--ink)}
pre.out{background:#1c1f28;border-color:#1c1f28}
pre.out code{color:#d7dae3;font-size:12.6px;line-height:1.55}

/* ---------- notes ---------- */
.note{
  margin:22px 0;padding:18px 22px;border-radius:12px;
  background:var(--teal-soft);border-left:4px solid var(--teal);
  font-size:15.5px;color:#0c5f57;
}
.note.warn{background:var(--amber-soft);border-left-color:var(--amber);color:#8a4b06}
.note p{color:inherit;margin:0 0 10px}
.note p:last-child{margin:0}
.note h4{color:inherit;margin-bottom:10px}
.note code{background:rgba(0,0,0,.06);color:inherit}

/* ---------- tables ---------- */
.tbl{
  width:100%;border-collapse:separate;border-spacing:0;margin:20px 0;font-size:15px;
  background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);
  overflow:hidden;box-shadow:var(--shadow);
}
.tbl th{
  background:#f6f7fb;text-align:left;font-weight:650;font-size:13px;
  letter-spacing:.02em;text-transform:uppercase;color:var(--ink-faint);
  padding:13px 16px;border-bottom:1px solid var(--line);
}
.tbl td{padding:13px 16px;border-bottom:1px solid var(--line);color:var(--ink-soft);vertical-align:top}
.tbl tr:last-child td{border-bottom:0}
.tbl tbody tr:hover{background:#fafbff}
.tbl.api td:first-child{font-family:"JetBrains Mono",monospace;font-size:13.4px;color:var(--indigo);white-space:nowrap;font-weight:500}
.tbl.data td:not(:first-child){text-align:right;font-variant-numeric:tabular-nums;font-family:"JetBrains Mono",monospace;font-size:14px}
.tbl.data th:not(:first-child){text-align:right}
.tbl .agg td{background:var(--indigo-soft);font-weight:600;color:var(--ink)}
.yes{color:var(--teal);font-weight:600}
.no{color:var(--rose);font-weight:600}
@media(max-width:700px){
  .tbl{display:block;overflow-x:auto;white-space:nowrap}
  .tbl.api td:first-child{white-space:nowrap}
}

/* ---------- results strip ---------- */
.results{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:18px;margin:28px 0}
.stat{
  background:var(--surface);border:1px solid var(--line);border-radius:var(--radius);
  padding:24px 22px;text-align:center;box-shadow:var(--shadow);
}
.stat .big{
  font-size:34px;font-weight:800;letter-spacing:-.03em;
  background:linear-gradient(120deg,var(--indigo),var(--teal));
  -webkit-background-clip:text;background-clip:text;color:transparent;
}
.stat .lab{margin-top:6px;font-size:14px;color:var(--ink-faint);line-height:1.45}
.stat .sub{font-size:12.5px;color:var(--ink-faint)}

/* ---------- figures ---------- */
figure{margin:28px 0;padding:0}
figure img{
  width:100%;height:auto;display:block;border:1px solid var(--line);
  border-radius:var(--radius);background:var(--surface);box-shadow:var(--shadow);
}
figcaption{margin-top:12px;font-size:14.5px;color:var(--ink-faint);line-height:1.6}
.reading{
  background:var(--indigo-soft);border-radius:12px;padding:16px 20px;
  font-size:15.5px;color:#3b32c9;
}

/* ---------- lists ---------- */
.limits{margin:16px 0;padding-left:20px;color:var(--ink-soft)}
.limits li{margin-bottom:11px;line-height:1.62}
.refs{margin:16px 0;padding-left:22px;color:var(--ink-soft);font-size:15.5px}
.refs li{margin-bottom:11px;line-height:1.6}

/* ---------- footer ---------- */
footer{background:#f6f7fb;border-top:1px solid var(--line);padding:52px 0 26px;margin-top:20px}
footer .wrap{display:grid;grid-template-columns:1.6fr 1fr 1fr 1fr;gap:34px}
@media(max-width:760px){footer .wrap{grid-template-columns:1fr 1fr}}
@media(max-width:460px){footer .wrap{grid-template-columns:1fr}}
footer h3{margin:0 0 8px;font-size:19px}
footer h4{font-size:12.5px;text-transform:uppercase;letter-spacing:.08em;color:var(--ink-faint);margin-bottom:12px}
footer p{margin:0 0 5px;font-size:15px}
.links a{display:block;margin-bottom:8px;font-size:15px;color:var(--ink-soft)}
.links a:hover{color:var(--indigo)}
footer .bottom{
  display:block;grid-template-columns:none;margin-top:34px;padding-top:20px;
  border-top:1px solid var(--line);
}
footer .bottom p{font-size:14px;color:var(--ink-faint);margin:0}

/* ---------- print ---------- */
@media print{
  .toc,.cta,.copy,.hero-fade{display:none}
  body{background:#fff;font-size:11pt}
  .hero{background:#fff;padding:24px 0}
  .hero h1{color:#16181d;-webkit-text-fill-color:#16181d}
  section{page-break-inside:avoid;border-bottom:1px solid #ddd}
  pre,.card,.tbl,figure img,.stat{box-shadow:none;border:1px solid #ddd}
  a{color:#16181d}
}