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

:root {
  color-scheme: light;
  --nav: #1e293b;
  --nav-soft: #334155;
  --accent: #16a34a;
  --accent-strong: #15803d;
  --accent-soft: #dcfce7;
  --bg: #f8fafc;
  --surface: #ffffff;
  --surface-muted: #f1f5f9;
  --surface-strong: #e2e8f0;
  --text: #1e293b;
  --muted: #475569;
  --faint: #64748b;
  --border: #cbd5e1;
  --border-strong: #94a3b8;
  --blue: #2563eb;
  --blue-soft: #dbeafe;
  --violet: #7c3aed;
  --violet-soft: #ede9fe;
  --amber: #b45309;
  --amber-soft: #fef3c7;
  --red: #b91c1c;
  --red-soft: #fee2e2;
  --shadow: 0 8px 28px rgb(15 23 42 / 6%);
  --radius: 4px;
}

:root[data-theme="dark"] {
  color-scheme: dark;
  --nav: #0f172a;
  --nav-soft: #1e293b;
  --accent: #4ade80;
  --accent-strong: #86efac;
  --accent-soft: #123221;
  --bg: #0f172a;
  --surface: #111c30;
  --surface-muted: #172338;
  --surface-strong: #26364f;
  --text: #f8fafc;
  --muted: #cbd5e1;
  --faint: #94a3b8;
  --border: #334155;
  --border-strong: #64748b;
  --blue: #93c5fd;
  --blue-soft: #172d4d;
  --violet: #c4b5fd;
  --violet-soft: #30234d;
  --amber: #fbbf24;
  --amber-soft: #493412;
  --red: #fca5a5;
  --red-soft: #4c1d1d;
  --shadow: 0 12px 34px rgb(0 0 0 / 24%);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--text);
  font-family: "IBM Plex Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  line-height: 1.6;
}
a { color: var(--blue); text-decoration: none; }
a:hover { color: var(--accent-strong); text-decoration: underline; }
button, input { font: inherit; }
button { cursor: pointer; }
.sr-only { position: absolute; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0, 0, 0, 0); white-space: nowrap; border: 0; }

.site-header {
  position: sticky;
  top: 0;
  z-index: 100;
  color: #f8fafc;
  background: var(--nav);
  box-shadow: 0 1px 0 rgb(15 23 42 / 20%);
}
.nav {
  display: flex;
  align-items: center;
  gap: 1rem;
  min-height: 3.55rem;
  max-width: 100%;
  padding: 0 1.35rem;
}
.sidebar-toggle {
  display: none;
  width: 2rem;
  height: 2rem;
  border: 1px solid rgb(248 250 252 / 28%);
  border-radius: var(--radius);
  color: #f8fafc;
  background: transparent;
  line-height: 1;
}
.brand {
  display: inline-flex;
  align-items: center;
  gap: .65rem;
  flex: 0 0 auto;
  color: #f8fafc;
  font-family: "JetBrains Mono", monospace;
  font-size: .86rem;
  font-weight: 700;
  letter-spacing: -.02em;
}
.brand:hover { color: #fff; text-decoration: none; }
.brand-mark {
  display: grid;
  width: 1.85rem;
  height: 1.85rem;
  place-items: center;
  border: 1px solid #4ade80;
  border-radius: var(--radius);
  color: #bbf7d0;
  background: rgb(34 197 94 / 16%);
  font-size: .65rem;
}
.nav-actions { display: flex; align-items: center; gap: .35rem; margin-left: auto; }
.nav-link, .theme-toggle {
  border: 1px solid transparent;
  border-radius: var(--radius);
  color: #cbd5e1;
  background: transparent;
  padding: .34rem .55rem;
  font-size: .76rem;
}
.nav-link:hover, .theme-toggle:hover { border-color: rgb(248 250 252 / 24%); color: #fff; background: rgb(248 250 252 / 7%); text-decoration: none; }

.site-layout { display: grid; grid-template-columns: 15.5rem minmax(0, 1fr); min-height: calc(100vh - 3.55rem); }
.site-sidebar {
  position: sticky;
  top: 3.55rem;
  align-self: start;
  height: calc(100vh - 3.55rem);
  overflow: hidden;
  border-right: 1px solid var(--border);
  background: var(--surface);
}
.sidebar-nav { height: calc(100% - 3.6rem); overflow-y: auto; padding: .4rem .75rem 1.1rem; scrollbar-width: thin; }
.sidebar-heading { display: flex; align-items: center; justify-content: space-between; gap: .5rem; height: 3.6rem; padding: 0 1rem; border-bottom: 1px solid var(--border); }
.sidebar-kicker, .sidebar-section-title, .page-nav-label {
  color: var(--faint);
  font-family: "JetBrains Mono", monospace;
  font-size: .64rem;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
}
.sidebar-count { color: var(--faint); font-family: "JetBrains Mono", monospace; font-size: .62rem; }
.sidebar-link {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .5rem;
  min-height: 2rem;
  margin: .1rem 0;
  padding: .35rem .55rem;
  border-left: 2px solid transparent;
  border-radius: 0 var(--radius) var(--radius) 0;
  color: var(--muted);
  font-size: .78rem;
}
.sidebar-link:hover { border-left-color: var(--accent); color: var(--text); background: var(--surface-muted); text-decoration: none; }
.sidebar-link.is-active { border-left-color: var(--accent); color: var(--accent-strong); background: var(--accent-soft); font-weight: 600; }
.sidebar-arrow { color: var(--faint); font-family: "JetBrains Mono", monospace; }
.sidebar-section-title { display: flex; justify-content: space-between; margin: 1.1rem .55rem .45rem; }
.sidebar-op-list { padding-bottom: 1rem; }
.site-main { min-width: 0; }

.container { width: min(100% - 3rem, 78rem); margin: 0 auto; }
.narrow { max-width: 54rem; }
.eyebrow { margin: 0 0 .55rem; color: var(--accent-strong); font-family: "JetBrains Mono", monospace; font-size: .67rem; font-weight: 700; letter-spacing: .11em; text-transform: uppercase; }
h1, h2, h3, h4 { margin: 0; font-weight: 700; line-height: 1.18; letter-spacing: -.025em; }
h1 { max-width: 52rem; font-size: clamp(2rem, 4vw, 3.45rem); }
h2 { font-size: clamp(1.35rem, 2.5vw, 2rem); }
h3 { font-size: 1.02rem; }
h4 { font-size: .86rem; }

.stats { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .65rem; margin: 1.35rem 0; }
.stat-card, .fact { border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); }
.stat-card { min-height: 5.8rem; padding: .82rem .9rem; }
.stat-value { display: block; color: var(--text); font-family: "JetBrains Mono", monospace; font-size: 1.35rem; font-weight: 700; }
.stat-label { display: block; margin-top: .2rem; color: var(--faint); font-size: .7rem; }

.section { padding: 2.3rem 0 4rem; }
.section-heading, .examples-heading { display: flex; align-items: end; justify-content: space-between; gap: 1rem; margin-bottom: 1rem; }
.section-heading p, .examples-heading p { max-width: 42rem; margin: .35rem 0 0; color: var(--muted); font-size: .82rem; }
.filter-row { display: flex; flex-wrap: wrap; gap: .35rem; margin-bottom: .75rem; }
.filter-button { border: 1px solid var(--border); border-radius: 999px; color: var(--muted); background: var(--surface); padding: .28rem .58rem; font-size: .68rem; }
.filter-button:hover, .filter-button.active { border-color: var(--accent); color: var(--accent-strong); background: var(--accent-soft); }
.table-wrap { overflow-x: auto; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); box-shadow: var(--shadow); }
.op-table { width: 100%; min-width: 58rem; border-collapse: collapse; }
.op-table th, .op-table td { border-bottom: 1px solid var(--border); padding: .68rem .75rem; text-align: left; vertical-align: top; }
.op-table th { color: var(--faint); background: var(--surface-muted); font-family: "JetBrains Mono", monospace; font-size: .62rem; letter-spacing: .04em; text-transform: uppercase; }
.op-table tbody tr:hover { background: color-mix(in srgb, var(--accent-soft) 45%, transparent); }
.op-table tr:last-child td { border-bottom: 0; }
.op-name { color: var(--text); font-family: "JetBrains Mono", monospace; font-size: .78rem; font-weight: 700; }
.op-description { display: block; margin-top: .12rem; color: var(--faint); font-size: .68rem; }
.cell-muted { color: var(--muted); font-size: .72rem; }
.cell-mono { color: var(--muted); font-family: "JetBrains Mono", monospace; font-size: .66rem; }
.empty-state { display: none; margin-top: .8rem; border: 1px dashed var(--border-strong); padding: 1rem; color: var(--muted); font-size: .78rem; text-align: center; }
.empty-state.visible { display: block; }

.button { display: inline-flex; align-items: center; justify-content: center; gap: .25rem; border: 1px solid var(--border-strong); border-radius: var(--radius); color: var(--muted); background: var(--surface); padding: .36rem .62rem; font-size: .7rem; line-height: 1.2; }
.button:hover { border-color: var(--accent); color: var(--accent-strong); background: var(--accent-soft); text-decoration: none; }
.button-primary { border-color: var(--accent); color: var(--accent-strong); background: var(--accent-soft); }
.callout { display: grid; grid-template-columns: auto 1fr; gap: .65rem; margin: 1rem 0 0; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); padding: .75rem .85rem; }
.callout-mark { display: grid; width: 1.5rem; height: 1.5rem; place-items: center; border: 1px solid var(--accent); border-radius: var(--radius); color: var(--accent-strong); background: var(--accent-soft); font-family: "JetBrains Mono", monospace; font-size: .66rem; font-weight: 700; }
.callout p { margin: 0; color: var(--muted); font-size: .75rem; }
code { border: 1px solid var(--border); border-radius: 3px; color: var(--accent-strong); background: var(--surface-muted); padding: .08rem .28rem; font-family: "JetBrains Mono", monospace; font-size: .82em; }

.page-hero { padding: 2.2rem 0 1.35rem; border-bottom: 1px solid var(--border); background: var(--surface); }
.breadcrumbs { display: flex; flex-wrap: wrap; gap: .38rem; margin-bottom: 1rem; color: var(--faint); font-family: "JetBrains Mono", monospace; font-size: .66rem; }
.breadcrumbs span::after { content: "/"; margin-left: .38rem; color: var(--border-strong); }
.breadcrumbs span:last-child::after { content: ""; }
.page-title-row { display: flex; align-items: start; justify-content: space-between; gap: 1rem; }
.page-title-row h1 { font-size: clamp(1.85rem, 4vw, 3rem); }
.page-title-row .mode-chip { margin-top: .25rem; }
.page-summary { max-width: 54rem; margin: .55rem 0 0; color: var(--muted); font-size: .86rem; }
.page-layout { display: grid; grid-template-columns: 10.5rem minmax(0, 1fr); gap: 1.7rem; align-items: start; }
.page-nav { position: sticky; top: 5rem; border-right: 1px solid var(--border); padding: .3rem .9rem 0 0; }
.page-nav a { display: block; border-left: 2px solid transparent; color: var(--faint); padding: .3rem 0 .3rem .55rem; font-family: "JetBrains Mono", monospace; font-size: .66rem; }
.page-nav a:hover { border-left-color: var(--accent); color: var(--accent-strong); text-decoration: none; }
.fact-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: .55rem; margin-bottom: .9rem; }
.fact { padding: .65rem .7rem; }
.fact-label { display: block; color: var(--faint); font-size: .64rem; }
.fact-value { display: block; margin-top: .15rem; color: var(--text); font-family: "JetBrains Mono", monospace; font-size: .67rem; font-weight: 700; overflow-wrap: anywhere; }
.content-card { margin-bottom: 1rem; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); padding: 1rem 1.1rem; box-shadow: 0 4px 16px rgb(15 23 42 / 3%); }
.content-card > h2 { margin-bottom: .7rem; font-size: 1.15rem; }
.rule-block h3 { margin: 1.15rem 0 .4rem; font-size: .95rem; }
.rule-block h3:first-child { margin-top: 0; }
.rule-block p { margin: .55rem 0; color: var(--muted); font-size: .8rem; }
.rule-block ul { margin: .4rem 0 .7rem; padding-left: 1.1rem; color: var(--muted); font-size: .78rem; }
.rule-block li { margin: .22rem 0; }
.rule-block pre { overflow-x: auto; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface-muted); padding: .75rem; font-size: .7rem; }
.rule-table { width: 100%; border-collapse: collapse; margin: .7rem 0; font-size: .75rem; }
.rule-table th, .rule-table td { border: 1px solid var(--border); padding: .45rem .55rem; text-align: left; }
.rule-table th { color: var(--faint); background: var(--surface-muted); font-family: "JetBrains Mono", monospace; font-size: .64rem; }
.type-summary { display: grid; grid-template-columns: minmax(8rem, .45fr) minmax(0, 1.55fr); border: 1px solid var(--border); border-radius: var(--radius); overflow: hidden; }
.type-summary div { border-bottom: 1px solid var(--border); padding: .5rem .6rem; font-size: .75rem; }
.type-summary div:nth-last-child(-n + 2) { border-bottom: 0; }
.type-summary .label { color: var(--faint); background: var(--surface-muted); font-family: "JetBrains Mono", monospace; font-size: .64rem; }
.type-summary .value { color: var(--muted); }

.mode-chip, .status-chip, .type-chip { display: inline-flex; align-items: center; border: 1px solid var(--border); border-radius: 999px; color: var(--muted); background: var(--surface-muted); padding: .18rem .42rem; font-family: "JetBrains Mono", monospace; font-size: .62rem; line-height: 1.2; }
.mode-chip.quant { border-color: color-mix(in srgb, var(--blue) 50%, var(--border)); color: var(--blue); background: var(--blue-soft); }
.mode-chip.passive { border-color: color-mix(in srgb, var(--violet) 50%, var(--border)); color: var(--violet); background: var(--violet-soft); }
.mode-chip.pattern { border-color: color-mix(in srgb, var(--amber) 50%, var(--border)); color: var(--amber); background: var(--amber-soft); }
.mode-chip.nonquant { color: var(--faint); }
.mode-chip.unsupported, .status-chip.failed { border-color: color-mix(in srgb, var(--red) 50%, var(--border)); color: var(--red); background: var(--red-soft); }
.status-chip.pass { border-color: color-mix(in srgb, var(--accent) 50%, var(--border)); color: var(--accent-strong); background: var(--accent-soft); }

.examples-heading { margin: 1.75rem 0 .85rem; }
.example-card { margin-bottom: .9rem; overflow: hidden; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); box-shadow: var(--shadow); }
.example-head { display: flex; align-items: start; justify-content: space-between; gap: 1rem; padding: .9rem 1rem .75rem; }
.example-title { display: flex; align-items: center; flex-wrap: wrap; gap: .45rem; }
.example-description { margin: .25rem 0 0; color: var(--muted); font-size: .75rem; }
.example-actions { display: flex; flex: 0 0 auto; flex-wrap: wrap; justify-content: end; gap: .35rem; }
.verify-strip { display: flex; flex-wrap: wrap; gap: .45rem; border-top: 1px solid var(--border); border-bottom: 1px solid var(--border); background: var(--surface-muted); padding: .45rem 1rem; }
.verify-metric { color: var(--faint); font-family: "JetBrains Mono", monospace; font-size: .61rem; }
.verify-metric strong { color: var(--text); }

.netron-panel { border-top: 2px solid var(--accent); background: var(--surface-muted); }
.netron-panel-head { display: flex; align-items: center; justify-content: space-between; gap: .7rem; padding: .5rem .75rem; }
.netron-panel-head { border-bottom: 1px solid var(--border); }
.netron-panel-head strong { display: block; font-family: "JetBrains Mono", monospace; font-size: .68rem; }
.netron-panel-head span { color: var(--faint); font-size: .65rem; }
.netron-panel iframe { display: block; width: 100%; height: min(42rem, 72vh); border: 0; background: #fff; }

.site-footer { border-top: 1px solid var(--border); color: var(--faint); background: var(--surface); }
.footer-row { display: flex; align-items: center; justify-content: space-between; gap: 1rem; min-height: 3.7rem; font-size: .68rem; }

@media (max-width: 64rem) {
  .site-layout { grid-template-columns: 13.5rem minmax(0, 1fr); }
  .container { width: min(100% - 2.25rem, 78rem); }
}

@media (max-width: 48rem) {
  .sidebar-toggle { display: inline-grid; place-items: center; }
  .nav { padding: 0 .8rem; }
  .nav-link { display: none; }
  .site-layout { display: block; }
  .site-sidebar { position: fixed; top: 3.55rem; left: 0; z-index: 90; width: 16rem; transform: translateX(-102%); transition: transform 180ms ease; box-shadow: 8px 0 24px rgb(15 23 42 / 14%); }
  body.sidebar-open .site-sidebar { transform: translateX(0); }
  .site-main { min-width: 0; }
  .stats { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .page-layout { grid-template-columns: 1fr; gap: .75rem; }
  .page-nav { position: static; display: flex; flex-wrap: wrap; gap: .3rem .8rem; border-right: 0; border-bottom: 1px solid var(--border); padding: 0 0 .55rem; }
  .page-nav-label { width: 100%; margin-bottom: -.2rem; }
  .page-nav a { padding: .2rem 0; border-left: 0; }
  .fact-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .example-head { display: block; }
  .example-actions { justify-content: start; margin-top: .65rem; }
}

@media (prefers-reduced-motion: reduce) {
  *, *::before, *::after { scroll-behavior: auto !important; transition-duration: 0.01ms !important; }
}