/*
 * kmath ontology — Linked Data site styles.
 * Tokens follow the Vercel-inspired DESIGN.md: ink on near-white canvas,
 * hairline rings with stacked shadows, Geist + Geist Mono, 4px spacing grid.
 */

:root {
  --ink: #171717;
  --body: #4d4d4d;
  --secondary: #666666;
  --mute: #888888;
  --hairline: #ebebeb;
  --hairline-strong: #a1a1a1;
  --canvas: #ffffff;
  --canvas-soft: #fafafa;
  --canvas-soft-2: #f5f5f5;
  --on-primary: #ffffff;

  --link: #0070f3;
  --link-deep: #0761d1;
  --link-bg-soft: #d3e5ff;
  --error: #ee0000;
  --error-soft: #f7d4d6;
  --error-deep: #c50000;
  --warning: #f5a623;
  --warning-soft: #ffefcf;
  --warning-deep: #ab570a;
  --violet: #7928ca;
  --violet-soft: #d8ccf1;
  --cyan: #50e3c2;

  --ring: 0 0 0 1px rgba(0, 0, 0, 0.08);
  --shadow-2: 0 1px 1px rgba(0, 0, 0, 0.02), 0 2px 2px rgba(0, 0, 0, 0.04), var(--ring);
  --shadow-3: 0 2px 2px rgba(0, 0, 0, 0.04), 0 8px 8px -8px rgba(0, 0, 0, 0.04), var(--ring);
  --shadow-4: 0 2px 2px rgba(0, 0, 0, 0.04), 0 8px 16px -4px rgba(0, 0, 0, 0.04), var(--ring);
  --shadow-5: 0 1px 1px rgba(0, 0, 0, 0.02), 0 8px 16px -4px rgba(0, 0, 0, 0.04),
    0 24px 32px -8px rgba(0, 0, 0, 0.06), var(--ring);

  --radius-xs: 4px;
  --radius-sm: 6px;
  --radius-md: 8px;
  --radius-lg: 12px;
  --radius-xl: 16px;

  --font-sans: "Geist", "Pretendard Variable", Pretendard, -apple-system, BlinkMacSystemFont, system-ui,
    "Apple SD Gothic Neo", "Noto Sans KR", "Malgun Gothic", sans-serif;
  --font-mono: "Geist Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Pretendard Variable",
    monospace;

  --page-width: 1200px;
  --gutter: 24px;
  --nav-height: 64px;

  color-scheme: light;
}

/* -- base -------------------------------------------------------------------- */

*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  -webkit-text-size-adjust: 100%;
  scroll-padding-top: calc(var(--nav-height) + 16px);
}

body {
  margin: 0;
  background: var(--canvas-soft);
  color: var(--ink);
  font: 400 16px/24px var(--font-sans);
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  text-rendering: optimizeLegibility;
  word-break: keep-all;
  overflow-wrap: break-word;
}

::selection {
  background: #171717;
  color: #f2f2f2;
}

a {
  color: inherit;
  text-decoration: none;
}

main :where(a:not([class])) {
  color: var(--link);
}

main :where(a:not([class])):hover {
  text-decoration: underline;
  text-underline-offset: 3px;
}

h1,
h2,
h3,
h4,
p {
  margin: 0;
}

img,
svg {
  max-width: 100%;
}

code,
kbd,
pre,
samp {
  font-family: var(--font-mono);
  font-size: 13px;
  line-height: 20px;
}

:focus-visible {
  outline: 2px solid var(--link);
  outline-offset: 2px;
  border-radius: 4px;
}

[hidden] {
  display: none !important;
}

.skip-link {
  position: absolute;
  left: 16px;
  top: -48px;
  z-index: 100;
  padding: 8px 12px;
  border-radius: var(--radius-sm);
  background: var(--ink);
  color: var(--on-primary);
  font-size: 14px;
}

.skip-link:focus {
  top: 12px;
}

.visually-hidden {
  position: absolute !important;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

/* -- type scale ------------------------------------------------------------- */

.display-xl {
  font-size: 48px;
  line-height: 56px;
  font-weight: 600;
  letter-spacing: -2.4px;
}

.display-lg {
  font-size: 32px;
  line-height: 40px;
  font-weight: 600;
  letter-spacing: -1.28px;
}

.display-md {
  font-size: 24px;
  line-height: 32px;
  font-weight: 600;
  letter-spacing: -0.96px;
}

.display-sm {
  font-size: 20px;
  line-height: 28px;
  font-weight: 600;
  letter-spacing: -0.6px;
}

.lead {
  font-size: 18px;
  line-height: 28px;
  color: var(--body);
}

.eyebrow {
  font: 400 12px/16px var(--font-mono);
  text-transform: uppercase;
  color: var(--secondary);
}

.eyebrow.is-code {
  text-transform: none;
}

.kicker {
  display: flex;
  align-items: center;
  gap: 6px;
  color: var(--secondary);
  font-size: 13px;
  line-height: 20px;
  font-weight: 500;
  letter-spacing: -0.2px;
}

.mono {
  font-family: var(--font-mono);
}

.muted {
  color: var(--secondary);
}

.tabular {
  font-variant-numeric: tabular-nums;
}

/* -- layout ------------------------------------------------------------------ */

.container {
  width: 100%;
  max-width: calc(var(--page-width) + 2 * var(--gutter));
  margin: 0 auto;
  padding: 0 var(--gutter);
}

.section {
  padding: 64px 0;
}

.section + .section {
  border-top: 1px solid var(--hairline);
}

.section-tight {
  padding: 40px 0;
}

.section-head {
  display: grid;
  gap: 8px;
  max-width: 720px;
  margin-bottom: 32px;
}

.section-lead {
  color: var(--body);
  font-size: 16px;
  line-height: 24px;
}

.stack {
  display: grid;
  gap: 24px;
}

/* -- navigation ------------------------------------------------------------- */

.nav {
  position: sticky;
  top: 0;
  z-index: 50;
  background: rgba(255, 255, 255, 0.86);
  backdrop-filter: saturate(180%) blur(8px);
  -webkit-backdrop-filter: saturate(180%) blur(8px);
  box-shadow: inset 0 -1px 0 var(--hairline);
}

.nav-inner {
  display: flex;
  align-items: center;
  gap: 24px;
  height: var(--nav-height);
  max-width: calc(var(--page-width) + 2 * var(--gutter));
  margin: 0 auto;
  padding: 0 var(--gutter);
}

.brand {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  color: var(--ink);
  font-weight: 600;
  font-size: 16px;
  letter-spacing: -0.32px;
  white-space: nowrap;
}

.brand-mark {
  fill: currentColor;
}

.brand-sub {
  font: 400 12px/16px var(--font-mono);
  color: var(--secondary);
  padding: 2px 6px;
  border-radius: 9999px;
  box-shadow: var(--ring);
}

.nav-links {
  display: flex;
  align-items: center;
  gap: 2px;
  min-width: 0;
}

.nav-link {
  padding: 8px 12px;
  border-radius: 9999px;
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
  letter-spacing: -0.28px;
  white-space: nowrap;
  transition: color 0.15s ease, background-color 0.15s ease;
}

.nav-link:hover {
  color: var(--ink);
  background: var(--canvas-soft-2);
}

.nav-link[aria-current="page"] {
  color: var(--ink);
  font-weight: 500;
}

.nav-cta {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-left: auto;
}

.btn-nav {
  display: inline-flex;
  align-items: center;
  height: 28px;
  padding: 0 8px;
  border-radius: var(--radius-sm);
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
  letter-spacing: -0.28px;
  white-space: nowrap;
  transition: background-color 0.15s ease;
}

.btn-nav.primary {
  background: var(--ink);
  color: var(--on-primary);
}

.btn-nav.primary:hover {
  background: #383838;
}

.btn-nav.ghost {
  background: var(--canvas);
  color: var(--ink);
  box-shadow: 0 0 0 1px var(--hairline);
}

.btn-nav.ghost:hover {
  background: var(--canvas-soft-2);
}

/* -- buttons, badges, chips ------------------------------------------------------ */

.btn {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  height: 48px;
  padding: 0 20px;
  border: 0;
  border-radius: 100px;
  font: 500 16px/24px var(--font-sans);
  cursor: pointer;
  white-space: nowrap;
  transition: background-color 0.15s ease, box-shadow 0.15s ease;
}

.btn-primary {
  background: var(--ink);
  color: var(--on-primary);
}

.btn-primary:hover {
  background: #383838;
}

.btn-secondary {
  background: var(--canvas);
  color: var(--ink);
  box-shadow: var(--shadow-2);
}

.btn-secondary:hover {
  background: var(--canvas-soft-2);
}

.btn-sm {
  height: 32px;
  padding: 0 12px;
  font-size: 14px;
  line-height: 20px;
}

.btn[aria-disabled="true"] {
  color: var(--mute);
  pointer-events: none;
  box-shadow: 0 0 0 1px var(--hairline);
  background: var(--canvas-soft);
}

.btn-row {
  display: flex;
  flex-wrap: wrap;
  gap: 12px;
}

.badge {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  height: 22px;
  padding: 0 8px;
  border-radius: 9999px;
  font-size: 12px;
  line-height: 16px;
  font-weight: 500;
  white-space: nowrap;
  background: var(--canvas-soft-2);
  color: var(--body);
  box-shadow: 0 0 0 1px var(--hairline);
}

.badge-blue {
  background: #ebf5ff;
  color: var(--link-deep);
  box-shadow: 0 0 0 1px var(--link-bg-soft);
}

.badge-warning {
  background: var(--warning-soft);
  color: var(--warning-deep);
  box-shadow: 0 0 0 1px #ffe2a8;
}

.badge-error {
  background: #fff0f1;
  color: var(--error-deep);
  box-shadow: 0 0 0 1px var(--error-soft);
}

.badge-violet {
  background: #f5f0ff;
  color: #4c2889;
  box-shadow: 0 0 0 1px var(--violet-soft);
}

.badge-ink {
  background: var(--ink);
  color: var(--on-primary);
  box-shadow: none;
}

.dot {
  display: inline-block;
  flex: none;
  width: 8px;
  height: 8px;
  border-radius: 50%;
  background: var(--dot, var(--mute));
}

.chip {
  white-space: nowrap;
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-height: 32px;
  padding: 4px 12px;
  border-radius: 64px;
  background: var(--canvas);
  color: var(--ink);
  font-size: 14px;
  line-height: 20px;
  letter-spacing: -0.28px;
  box-shadow: 0 0 0 1px var(--hairline);
  transition: box-shadow 0.15s ease, background-color 0.15s ease;
}

a.chip:hover,
button.chip:hover {
  box-shadow: 0 0 0 1px var(--hairline-strong);
}

.chip-count {
  font: 400 12px/16px var(--font-mono);
  color: var(--secondary);
}

.chip[aria-pressed="true"],
.chip.is-active {
  background: var(--ink);
  color: var(--on-primary);
  box-shadow: none;
}

.chip[aria-pressed="true"] .chip-count,
.chip.is-active .chip-count {
  color: #a1a1a1;
}

.chip-row {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.curie {
  display: inline-block;
  max-width: 100%;
  padding: 0 6px;
  border-radius: var(--radius-xs);
  background: var(--canvas-soft-2);
  color: var(--body);
  font-size: 12px;
  line-height: 20px;
  overflow-wrap: anywhere;
  box-shadow: 0 0 0 1px var(--hairline);
}

.curie.is-copyable {
  cursor: copy;
}

.curie.is-copied {
  background: var(--ink);
  color: var(--on-primary);
  box-shadow: none;
}

.arrow {
  display: inline-block;
  transition: transform 0.15s ease;
}

a:hover > .arrow {
  transform: translateX(2px);
}

/* -- hero ---------------------------------------------------------------------- */

.hero {
  position: relative;
  overflow: hidden;
  isolation: isolate;
  padding: 96px 0 64px;
  background: var(--canvas);
  box-shadow: inset 0 -1px 0 var(--hairline);
}

.hero-mesh {
  position: absolute;
  inset: -24% -12% 22%;
  z-index: -1;
  pointer-events: none;
  background:
    radial-gradient(28% 54% at 12% 46%, rgba(0, 124, 240, 0.62), transparent 72%),
    radial-gradient(26% 50% at 28% 72%, rgba(0, 223, 216, 0.52), transparent 72%),
    radial-gradient(26% 54% at 44% 30%, rgba(121, 40, 202, 0.44), transparent 72%),
    radial-gradient(26% 50% at 60% 70%, rgba(255, 0, 128, 0.38), transparent 72%),
    radial-gradient(26% 54% at 76% 36%, rgba(255, 77, 77, 0.44), transparent 72%),
    radial-gradient(26% 50% at 90% 70%, rgba(249, 203, 40, 0.58), transparent 72%);
  filter: blur(56px) saturate(125%);
  opacity: 0.9;
  -webkit-mask-image: linear-gradient(to bottom, #000 34%, transparent 94%);
  mask-image: linear-gradient(to bottom, #000 34%, transparent 94%);
}

.hero-mesh::after {
  content: "";
  position: absolute;
  inset: 22% 26% 30%;
  border-radius: 50%;
  background: radial-gradient(closest-side, rgba(255, 255, 255, 0.78), transparent);
}

.hero-inner {
  display: grid;
  justify-items: center;
  gap: 24px;
  text-align: center;
}

.hero-inner .lead {
  max-width: 680px;
}

.banner {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  padding: 4px 12px 4px 4px;
  border-radius: 9999px;
  background: rgba(255, 255, 255, 0.72);
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
  box-shadow: var(--shadow-2);
}

.banner .badge {
  height: 22px;
}

/* -- stat tiles ------------------------------------------------------------------ */

.stats {
  display: grid;
  grid-template-columns: repeat(6, minmax(0, 1fr));
  gap: 1px;
  overflow: hidden;
  border-radius: var(--radius-lg);
  background: var(--hairline);
  box-shadow: var(--shadow-2);
}

.stats.cols-4 {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.stats.cols-5 {
  grid-template-columns: repeat(5, minmax(0, 1fr));
}

.stat {
  display: grid;
  align-content: start;
  gap: 4px;
  padding: 20px 24px;
  background: var(--canvas);
}

.stat-label {
  color: var(--secondary);
  font-size: 14px;
  line-height: 20px;
  letter-spacing: -0.28px;
}

.stat-value {
  font-size: 32px;
  line-height: 40px;
  font-weight: 600;
  letter-spacing: -1.28px;
}

.stat-sub {
  font: 400 12px/16px var(--font-mono);
  color: var(--secondary);
}

/* -- course cards ---------------------------------------------------------------- */

.course-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 16px;
}

.course-card {
  position: relative;
  display: grid;
  gap: 16px;
  align-content: start;
  padding: 20px;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-3);
  transition: box-shadow 0.15s ease;
}

.course-card:hover {
  box-shadow: var(--shadow-5);
}

.course-card-head {
  display: flex;
  align-items: center;
  gap: 8px;
}

.course-card-head .dot {
  width: 10px;
  height: 10px;
}

.course-card-title {
  font-size: 18px;
  line-height: 24px;
  font-weight: 600;
  letter-spacing: -0.5px;
}

.course-card-count {
  display: flex;
  align-items: baseline;
  gap: 6px;
}

.course-card-count strong {
  font-size: 32px;
  line-height: 36px;
  font-weight: 600;
  letter-spacing: -1.28px;
}

.course-card-count span {
  color: var(--secondary);
  font-size: 14px;
}

.course-meta {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 8px;
  padding-top: 12px;
  border-top: 1px solid var(--hairline);
}

.course-meta div {
  display: grid;
  gap: 2px;
}

.course-meta dt {
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
}

.course-meta dd {
  margin: 0;
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
  font-variant-numeric: tabular-nums;
}

.course-feeds {
  display: flex;
  flex-wrap: wrap;
  gap: 4px 12px;
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
}

.course-feeds span {
  display: inline-flex;
  align-items: center;
  gap: 6px;
}

.stretched::after {
  content: "";
  position: absolute;
  inset: 0;
  border-radius: inherit;
}

/* -- course prerequisite matrix --------------------------------------------------- */

.matrix-card {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 280px;
  gap: 32px;
  padding: 32px;
  border-radius: var(--radius-lg);
  background: var(--canvas);
  box-shadow: var(--shadow-4);
}

.matrix-scroll {
  overflow-x: auto;
}

.matrix {
  border-collapse: separate;
  border-spacing: 2px;
  font-size: 12px;
  line-height: 16px;
}

.matrix caption {
  text-align: left;
}

.matrix th {
  font-weight: 400;
  color: var(--body);
  white-space: nowrap;
}

.matrix thead th {
  height: 48px;
  min-width: 56px;
  padding: 0 4px 8px;
  vertical-align: bottom;
  text-align: center;
  white-space: normal;
}

.matrix tbody th {
  padding-right: 12px;
  text-align: right;
}

.matrix th .dot {
  margin-right: 6px;
  vertical-align: 1px;
}

.matrix thead th .dot {
  display: block;
  margin: 0 auto 6px;
}

.matrix td {
  width: 56px;
  height: 36px;
  padding: 0;
  border-radius: var(--radius-xs);
  text-align: center;
  font: 500 13px/1 var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.matrix td.lv0 {
  background: var(--canvas-soft);
  color: transparent;
}

.matrix td.lv-none {
  background: transparent;
  color: transparent;
}

.matrix td.lv1 {
  background: #ededed;
  color: var(--ink);
}

.matrix td.lv2 {
  background: #d4d4d4;
  color: var(--ink);
}

.matrix td.lv3 {
  background: #a1a1a1;
  color: var(--ink);
}

.matrix td.lv4 {
  background: #5c5c5c;
  color: #ffffff;
}

.matrix td.lv5 {
  background: #171717;
  color: #ffffff;
}

.matrix td.self {
  background: var(--canvas);
  color: var(--secondary);
  box-shadow: inset 0 0 0 1px var(--hairline);
}

.matrix td[data-tip]:hover {
  outline: 2px solid var(--link);
  outline-offset: -2px;
}

.matrix-axis {
  display: block;
  max-width: 120px;
  margin-left: auto;
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
  text-align: right;
}

.matrix-notes {
  display: grid;
  align-content: start;
  gap: 16px;
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
}

.scale {
  display: grid;
  gap: 8px;
}

.scale-row {
  display: flex;
  gap: 2px;
}

.scale-row span {
  flex: 1;
  height: 12px;
  border-radius: 2px;
}

.scale-labels {
  display: flex;
  justify-content: space-between;
  font: 400 12px/16px var(--font-mono);
  color: var(--secondary);
}

.insight {
  padding: 12px 16px;
  border-radius: var(--radius-md);
  background: var(--canvas-soft);
  box-shadow: 0 0 0 1px var(--hairline);
}

.insight strong {
  color: var(--ink);
  font-weight: 500;
}

/* -- dark showcase band ---------------------------------------------------------------- */

.band-dark {
  padding: 96px 0;
  background: var(--ink);
  color: var(--on-primary);
}

.band-dark .eyebrow {
  color: #a1a1a1;
}

.band-dark .section-lead,
.band-dark .lead {
  color: #a1a1a1;
}

.band-grid {
  display: grid;
  grid-template-columns: minmax(0, 5fr) minmax(0, 7fr);
  gap: 48px;
  align-items: center;
}

.band-list {
  display: grid;
  gap: 12px;
  margin: 24px 0 32px;
  padding: 0;
  list-style: none;
  color: #d4d4d4;
  font-size: 14px;
  line-height: 20px;
}

.band-list li {
  display: flex;
  gap: 12px;
}

.band-list code {
  color: var(--on-primary);
}

.band-dark .btn-secondary {
  background: #ffffff;
  box-shadow: none;
}

.band-dark .btn-ghost-dark {
  background: transparent;
  color: var(--on-primary);
  box-shadow: 0 0 0 1px #3d3d3d;
}

.band-dark .btn-ghost-dark:hover {
  background: #262626;
}

.code-window {
  overflow: hidden;
  border-radius: var(--radius-md);
  background: #0a0a0a;
  box-shadow: 0 0 0 1px #2e2e2e, 0 24px 48px -12px rgba(0, 0, 0, 0.5);
}

.code-window-bar {
  display: flex;
  align-items: center;
  gap: 8px;
  height: 40px;
  padding: 0 16px;
  border-bottom: 1px solid #262626;
  color: #a1a1a1;
  font: 400 12px/16px var(--font-mono);
}

.code-window-bar i {
  width: 10px;
  height: 10px;
  border-radius: 50%;
  background: #333;
}

.code-window-bar span {
  margin-left: 8px;
}

.code-window pre {
  margin: 0;
  padding: 20px 24px 24px;
  overflow-x: auto;
  color: #ededed;
  font-size: 13px;
  line-height: 22px;
}

.tok-prompt,
.tok-comment {
  color: #6b6b6b;
}

.tok-pred {
  color: #a1a1a1;
}

.tok-str {
  color: var(--cyan);
}

.tok-kw {
  color: #ff4d8d;
}

/* -- MCP setup ------------------------------------------------------------------------ */

.mcp-grid {
  display: grid;
  grid-template-columns: minmax(0, 5fr) minmax(0, 7fr);
  gap: 24px;
  align-items: stretch;
}

.mcp-card {
  display: grid;
  gap: 24px;
  padding: 32px;
  border-radius: var(--radius-lg);
  background: var(--canvas);
  box-shadow: var(--shadow-4);
}

.mcp-block {
  display: grid;
  gap: 8px;
}

.endpoint {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 6px 6px 6px 14px;
  border-radius: var(--radius-md);
  background: var(--canvas-soft-2);
  box-shadow: 0 0 0 1px var(--hairline);
}

.endpoint code {
  flex: 1;
  min-width: 0;
  color: var(--ink);
  font-size: 14px;
  line-height: 20px;
  overflow-wrap: anywhere;
}

.copy-btn {
  flex: none;
  height: 28px;
  padding: 0 10px;
  border: 0;
  border-radius: var(--radius-sm);
  background: var(--ink);
  color: var(--on-primary);
  font: 500 13px/1 var(--font-sans);
  cursor: pointer;
  transition: background-color 0.15s ease;
}

.copy-btn:hover {
  background: #383838;
}

.copy-btn.is-dark {
  background: #262626;
  color: #ededed;
  box-shadow: 0 0 0 1px #3d3d3d;
}

.copy-btn.is-dark:hover {
  background: #333333;
}

.copy-btn.is-done {
  background: var(--link);
  color: var(--on-primary);
  box-shadow: none;
}

.mcp-facts {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 0;
  overflow: hidden;
  border-radius: var(--radius-md);
  background: var(--hairline);
  box-shadow: 0 0 0 1px var(--hairline);
}

.mcp-facts div {
  display: grid;
  gap: 2px;
  padding: 10px 12px;
  background: var(--canvas);
}

.mcp-facts dt {
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
}

.mcp-facts dd {
  margin: 0;
  font-size: 14px;
  line-height: 20px;
  font-weight: 500;
}

.mcp-steps {
  display: grid;
  gap: 14px;
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: mcp-step;
}

.mcp-steps > li {
  position: relative;
  padding-left: 36px;
  color: var(--body);
  font-size: 14px;
  line-height: 24px;
}

.mcp-steps > li::before {
  counter-increment: mcp-step;
  content: counter(mcp-step);
  position: absolute;
  left: 0;
  top: 0;
  display: grid;
  place-items: center;
  width: 24px;
  height: 24px;
  border-radius: 50%;
  box-shadow: 0 0 0 1px var(--hairline-strong);
  color: var(--ink);
  font: 500 12px/1 var(--font-mono);
}

.mcp-prompts {
  display: grid;
  gap: 6px;
  margin: 10px 0 0;
  padding: 0;
  list-style: none;
}

.mcp-prompts li {
  padding: 8px 12px;
  border-radius: var(--radius-md);
  background: var(--canvas-soft);
  color: var(--ink);
  box-shadow: 0 0 0 1px var(--hairline);
}

.mcp-code {
  display: flex;
  flex-direction: column;
}

.mcp-panel {
  display: flex;
  flex: 1;
  flex-direction: column;
}

.mcp-tabs {
  display: flex;
  gap: 4px;
  overflow-x: auto;
  padding: 8px 8px 0;
  border-bottom: 1px solid #262626;
  scrollbar-width: none;
}

.mcp-tabs::-webkit-scrollbar {
  display: none;
}

.mcp-tab {
  flex: none;
  height: 36px;
  padding: 0 12px;
  border: 0;
  border-bottom: 2px solid transparent;
  background: transparent;
  color: #8f8f8f;
  font: 500 13px/20px var(--font-sans);
  cursor: pointer;
  transition: color 0.15s ease;
}

.mcp-tab:hover {
  color: #ededed;
}

.mcp-tab[aria-selected="true"] {
  color: #ffffff;
  border-bottom-color: #ffffff;
}

.mcp-panel-bar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 12px 16px 0 24px;
  color: #8f8f8f;
  font: 400 12px/16px var(--font-mono);
}

.mcp-code pre {
  flex: 1;
  margin: 0;
  padding: 12px 24px 16px;
  overflow-x: auto;
  color: #ededed;
  font-size: 13px;
  line-height: 22px;
}

.mcp-code pre.is-wrap {
  white-space: pre-wrap;
  overflow-wrap: anywhere;
}

.mcp-note {
  margin: 0;
  padding: 12px 24px 20px;
  border-top: 1px solid #1f1f1f;
  color: #a1a1a1;
  font-size: 13px;
  line-height: 20px;
}

.mcp-tools {
  margin-top: 24px;
}

.mcp-tools .card-note code {
  font-size: 12px;
}

.tool-groups {
  columns: 2;
  column-gap: 40px;
}

.tool-group {
  break-inside: avoid;
  margin-bottom: 20px;
}

.tool-group ul {
  display: grid;
  margin: 6px 0 0;
  padding: 0;
  list-style: none;
}

.tool-group li {
  display: grid;
  grid-template-columns: minmax(0, 200px) minmax(0, 1fr);
  align-items: baseline;
  gap: 12px;
  padding: 8px 0;
  border-top: 1px solid var(--hairline);
  font-size: 14px;
  line-height: 20px;
}

.tool-group li:first-child {
  border-top: 0;
}

.tool-group code {
  color: var(--ink);
  font-size: 13px;
  overflow-wrap: anywhere;
}

.tool-group span {
  color: var(--body);
}

/* -- directory (entity types) ----------------------------------------------------------- */

.directory {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(260px, 1fr));
  gap: 16px;
}

.dir-card {
  position: relative;
  display: grid;
  gap: 8px;
  align-content: start;
  padding: 16px 20px 20px;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-2);
  transition: box-shadow 0.15s ease;
}

.dir-card:hover {
  box-shadow: var(--shadow-4);
}

.dir-card-top {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
}

.dir-card h3 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 600;
  letter-spacing: -0.32px;
}

.dir-card p {
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
}

.dir-card .dir-count {
  font: 500 13px/20px var(--font-mono);
  color: var(--ink);
}

/* -- footer ------------------------------------------------------------------------------ */

.footer {
  padding: 64px 0 48px;
  background: var(--canvas);
  box-shadow: inset 0 1px 0 var(--hairline);
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
}

.footer-grid {
  display: grid;
  grid-template-columns: 1.4fr repeat(4, 1fr);
  gap: 32px;
}

.footer h2 {
  margin-bottom: 12px;
  font: 400 12px/16px var(--font-mono);
  text-transform: uppercase;
  color: var(--ink);
}

.footer ul {
  display: grid;
  gap: 10px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.footer a:hover {
  color: var(--ink);
}

.footer-about {
  display: grid;
  gap: 12px;
  align-content: start;
}

.footer-bottom {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  gap: 8px;
  margin-top: 48px;
  padding-top: 24px;
  border-top: 1px solid var(--hairline);
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
}

/* -- entity pages -------------------------------------------------------------------------- */

.page-head {
  padding: 48px 0 32px;
  background: var(--canvas);
  box-shadow: inset 0 -1px 0 var(--hairline);
}

.page-head-inner {
  display: grid;
  gap: 12px;
}

.crumbs {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 6px;
  color: var(--secondary);
  font-size: 13px;
  line-height: 20px;
}

.crumbs a {
  color: var(--secondary);
}

.crumbs a:hover {
  color: var(--ink);
}

.crumbs .sep {
  color: var(--hairline-strong);
}

.title-row {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 8px 16px;
}

.title-en {
  color: var(--secondary);
  font-size: 18px;
  line-height: 28px;
}

.meta-row {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 8px;
}

.meta-row .chip {
  min-height: 24px;
  padding: 0 10px;
  font-size: 13px;
}

.formats {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 4px;
  margin-left: auto;
}

.formats a {
  padding: 2px 8px;
  border-radius: var(--radius-sm);
  color: var(--secondary);
  font: 400 12px/20px var(--font-mono);
}

.formats a:hover {
  color: var(--ink);
  background: var(--canvas-soft-2);
}

.page-body {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  gap: 24px;
  padding-top: 32px;
  padding-bottom: 96px;
}

.page-body > *,
.relation-grid > *,
.two-col > * {
  min-width: 0;
}

.definition {
  max-width: 840px;
  color: var(--ink);
  font-size: 18px;
  line-height: 30px;
}

.card {
  padding: 24px;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-2);
}

.card-lg {
  padding: 32px;
  border-radius: var(--radius-lg);
  box-shadow: var(--shadow-4);
}

.card-head {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 8px 16px;
  margin-bottom: 16px;
}

.card-title {
  font-size: 16px;
  line-height: 24px;
  font-weight: 600;
  letter-spacing: -0.32px;
}

.card-title .count {
  margin-left: 6px;
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
}

.card-note {
  color: var(--secondary);
  font-size: 13px;
  line-height: 20px;
}

.callout {
  display: grid;
  gap: 4px;
  padding: 16px 20px;
  border-radius: var(--radius-md);
  background: #ebf5ff;
  box-shadow: 0 0 0 1px var(--link-bg-soft);
  color: #0a3d7a;
  font-size: 14px;
  line-height: 22px;
}

.callout.is-warning {
  background: #fff8eb;
  box-shadow: 0 0 0 1px #ffe2a8;
  color: #6b3b06;
}

.callout-title {
  font-weight: 500;
}

.relation-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 16px;
}

.rel-list {
  display: grid;
  margin: 0;
  padding: 0;
  list-style: none;
}

.rel-list li {
  display: flex;
  align-items: center;
  gap: 10px;
  min-height: 40px;
  padding: 8px 0;
  border-top: 1px solid var(--hairline);
}

.rel-list li:first-child {
  border-top: 0;
  padding-top: 0;
}

.rel-list a.rel-link {
  flex: 1;
  min-width: 0;
  color: var(--ink);
  font-size: 14px;
  line-height: 20px;
  letter-spacing: -0.28px;
}

.rel-list a.rel-link:hover {
  color: var(--link);
}

.rel-list .rel-side {
  margin-left: auto;
  flex: none;
  max-width: 50%;
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
  text-align: right;
}

.rel-more {
  margin-top: 8px;
  color: var(--secondary);
  font-size: 13px;
}

.empty {
  color: var(--secondary);
  font-size: 14px;
}

.pill-cloud {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.two-col {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
  gap: 16px;
}

/* -- DAG figures ------------------------------------------------------------------------------ */

.figure {
  margin: 0;
  padding: 24px;
  border-radius: var(--radius-lg);
  background: var(--canvas);
  box-shadow: var(--shadow-4);
}

.figure-head {
  display: flex;
  flex-wrap: wrap;
  align-items: flex-end;
  justify-content: space-between;
  gap: 12px 24px;
  margin-bottom: 16px;
}

.figure-head p {
  max-width: 640px;
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
}

.figure-scroll {
  overflow-x: auto;
  margin: 0 -24px;
  padding: 4px 24px;
  scrollbar-width: thin;
}

.figure-scroll > svg {
  display: block;
  max-width: none;
  margin: 0 auto;
}

.figure-legend {
  display: flex;
  flex-wrap: wrap;
  gap: 8px 16px;
  margin-top: 16px;
  padding-top: 16px;
  border-top: 1px solid var(--hairline);
  color: var(--body);
  font-size: 12px;
  line-height: 16px;
}

.figure-legend span {
  display: inline-flex;
  align-items: center;
  gap: 6px;
}

.legend-swatch {
  display: inline-block;
  width: 14px;
  height: 14px;
  border-radius: 4px;
  box-shadow: 0 0 0 1px rgba(0, 0, 0, 0.12);
}

.legend-swatch.is-focus {
  background: var(--ink);
}

.legend-swatch.is-external {
  background: var(--canvas-soft);
  box-shadow: none;
  border: 1px dashed var(--hairline-strong);
}

.dag {
  font-family: var(--font-sans);
  overflow: visible;
}

.dag-titles text {
  font-size: 12px;
  fill: var(--secondary);
}

.dag-group {
  font-size: 12px;
  fill: var(--secondary);
  font-weight: 500;
}

.dag-edge {
  fill: none;
  stroke: #c9c9c9;
  stroke-width: 1.25;
  transition: stroke 0.12s ease, opacity 0.12s ease;
}

.dag-arrow path {
  stroke: #b5b5b5;
}

.dag-arrow.is-active path {
  stroke: var(--ink);
}

.dag-node rect {
  fill: var(--canvas);
  stroke: rgba(0, 0, 0, 0.14);
  stroke-width: 1;
  transition: stroke 0.12s ease, fill 0.12s ease;
}

.dag-node text {
  font-size: 13px;
  fill: var(--ink);
  letter-spacing: -0.2px;
}

.dag-node circle {
  stroke: var(--canvas);
  stroke-width: 2;
}

a.dag-node:hover rect,
a.dag-node:focus-visible rect {
  stroke: var(--ink);
}

a.dag-node:focus-visible {
  outline: none;
}

.dag-node.is-focus rect {
  fill: var(--ink);
  stroke: var(--ink);
}

.dag-node.is-focus text {
  fill: var(--on-primary);
  font-weight: 500;
}

.dag-node.is-focus circle {
  stroke: var(--ink);
}

.dag-node.is-external rect {
  fill: var(--canvas-soft);
  stroke: var(--hairline-strong);
  stroke-dasharray: 3 3;
}

.dag-node.is-external text {
  fill: var(--body);
}

.dag-node.is-more rect {
  fill: var(--canvas-soft-2);
  stroke: transparent;
}

.dag-node.is-more text {
  fill: var(--secondary);
  font-size: 12px;
}

.dag.is-hovering .dag-edge {
  opacity: 0.25;
}

.dag.is-hovering .dag-node:not(.is-linked) {
  opacity: 0.45;
}

.dag .dag-edge.is-active {
  opacity: 1;
  stroke: var(--ink);
  stroke-width: 1.5;
}

/* -- data tables ------------------------------------------------------------------------------ */

.table-card {
  overflow: hidden;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-2);
}

.table-scroll {
  overflow-x: auto;
}

.data-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 14px;
  line-height: 20px;
  letter-spacing: -0.28px;
}

.data-table th {
  padding: 10px 16px;
  background: var(--canvas-soft);
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
  text-transform: uppercase;
  text-align: left;
  white-space: nowrap;
  border-bottom: 1px solid var(--hairline);
}

.data-table td {
  padding: 10px 16px;
  border-bottom: 1px solid var(--hairline);
  vertical-align: top;
}

.data-table tbody tr:last-child td {
  border-bottom: 0;
}

.data-table tbody tr:hover td {
  background: var(--canvas-soft);
}

.data-table td.num {
  text-align: right;
  font-variant-numeric: tabular-nums;
  font-family: var(--font-mono);
  font-size: 13px;
}

.data-table a.row-link {
  color: var(--ink);
  font-weight: 500;
}

.data-table a.row-link:hover {
  color: var(--link);
}

.cell-flex {
  display: inline-flex;
  align-items: center;
  gap: 8px;
}

.cell-muted {
  color: var(--secondary);
}

/* -- list pages -------------------------------------------------------------------------------- */

.toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 12px;
  margin-bottom: 16px;
}

.search {
  position: relative;
  flex: 1 1 280px;
  max-width: 420px;
}

.search svg {
  position: absolute;
  left: 12px;
  top: 50%;
  width: 16px;
  height: 16px;
  transform: translateY(-50%);
  color: var(--mute);
  pointer-events: none;
}

.input {
  width: 100%;
  height: 40px;
  padding: 0 12px;
  border: 0;
  border-radius: var(--radius-sm);
  background: var(--canvas);
  color: var(--ink);
  font: 400 14px/20px var(--font-sans);
  box-shadow: 0 0 0 1px var(--hairline);
  transition: box-shadow 0.15s ease;
}

.input::placeholder {
  color: var(--mute);
}

.input:hover {
  box-shadow: 0 0 0 1px var(--hairline-strong);
}

.input:focus {
  outline: none;
  box-shadow: 0 0 0 1px var(--hairline-strong), 0 0 0 4px rgba(0, 0, 0, 0.06);
}

.search .input {
  padding-left: 36px;
}

.input-sm {
  height: 32px;
}

.pager {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  margin-top: 16px;
}

.pager-status {
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
}

.facets {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
  margin-bottom: 16px;
}

/* -- SPARQL ------------------------------------------------------------------------------------ */

.editor {
  overflow: hidden;
  border-radius: var(--radius-md);
  background: #0a0a0a;
  box-shadow: 0 0 0 1px #2e2e2e, var(--shadow-4);
}

.editor textarea {
  display: block;
  width: 100%;
  min-height: 260px;
  padding: 20px 24px;
  border: 0;
  background: transparent;
  color: #ededed;
  font: 400 13px/22px var(--font-mono);
  resize: vertical;
  tab-size: 2;
}

.editor textarea:focus {
  outline: none;
}

.editor-bar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 12px;
  padding: 12px 16px;
  border-top: 1px solid #262626;
  color: #a1a1a1;
  font: 400 12px/16px var(--font-mono);
}

.editor .btn-primary {
  background: #ffffff;
  color: var(--ink);
}

.editor .btn-primary:hover {
  background: #e5e5e5;
}

.examples {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.examples .chip {
  cursor: pointer;
  border: 0;
  font-family: var(--font-sans);
}

.result-meta {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  margin-bottom: 12px;
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
}

.error-box {
  padding: 16px 20px;
  border-radius: var(--radius-md);
  background: #fff0f1;
  box-shadow: 0 0 0 1px var(--error-soft);
  color: var(--error-deep);
  font: 400 13px/20px var(--font-mono);
  white-space: pre-wrap;
}

details.prefixes summary,
details.raw summary {
  cursor: pointer;
  color: var(--body);
  font-size: 14px;
  line-height: 20px;
}

details.prefixes pre {
  margin: 12px 0 0;
  padding: 16px;
  border-radius: var(--radius-md);
  background: var(--canvas-soft-2);
  overflow-x: auto;
  color: var(--body);
}

/* -- solution steps, problem body ------------------------------------------------------------- */

.steps {
  display: grid;
  gap: 0;
  margin: 0;
  padding: 0;
  list-style: none;
  counter-reset: step;
}

.steps li {
  position: relative;
  display: grid;
  grid-template-columns: 32px minmax(0, 1fr);
  gap: 16px;
  padding-bottom: 20px;
}

.steps li::before {
  counter-increment: step;
  content: counter(step);
  display: grid;
  place-items: center;
  width: 32px;
  height: 32px;
  border-radius: 50%;
  background: var(--canvas);
  box-shadow: 0 0 0 1px var(--hairline-strong);
  font: 500 13px/1 var(--font-mono);
}

.steps li:not(:last-child)::after {
  content: "";
  position: absolute;
  left: 15.5px;
  top: 36px;
  bottom: 4px;
  width: 1px;
  background: var(--hairline);
}

.steps li p {
  padding-top: 5px;
  font-size: 15px;
  line-height: 24px;
}

.prose {
  font-size: 16px;
  line-height: 28px;
  white-space: pre-line;
}

.kv {
  display: grid;
  grid-template-columns: max-content minmax(0, 1fr);
  gap: 8px 24px;
  margin: 0;
  font-size: 14px;
  line-height: 20px;
}

.kv dt {
  color: var(--secondary);
}

.kv dd {
  margin: 0;
}

/* -- raw triples ----------------------------------------------------------------------------------- */

.triples th {
  width: 240px;
}

.triples td {
  font-size: 13px;
}

.triples .pred-label {
  display: block;
  color: var(--ink);
  font: 500 13px/20px var(--font-sans);
  text-transform: none;
}

.value-list {
  display: grid;
  gap: 4px;
  margin: 0;
  padding: 0;
  list-style: none;
}

/* -- graph explorer --------------------------------------------------------------------------------- */

body.is-app {
  height: 100dvh;
  overflow: hidden;
}

.explorer {
  display: grid;
  grid-template-columns: minmax(0, 1fr);
  grid-template-rows: auto minmax(0, 1fr);
  height: calc(100dvh - var(--nav-height));
}

.explorer > *,
.explorer-main > *,
.explorer-toolbar > * {
  min-width: 0;
}

.explorer-toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 10px 16px;
  padding: 12px var(--gutter);
  background: var(--canvas);
  box-shadow: inset 0 -1px 0 var(--hairline);
}

.explorer-toolbar .search {
  flex: 0 1 280px;
}

.explorer-toolbar .chip-row {
  flex: 1 1 480px;
  gap: 6px;
}

.explorer-toolbar .chip {
  min-height: 28px;
  padding: 2px 10px;
  border: 0;
  font-family: var(--font-sans);
  font-size: 13px;
  cursor: pointer;
}

.explorer-toolbar .chip.is-dim {
  color: var(--mute);
}

.explorer-toolbar .chip.is-dim .dot {
  opacity: 0.35;
}

.toggle {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  color: var(--body);
  font-size: 13px;
  line-height: 20px;
  cursor: pointer;
  white-space: nowrap;
}

.toggle input {
  width: 16px;
  height: 16px;
  margin: 0;
  accent-color: var(--ink);
}

.explorer-main {
  position: relative;
  display: grid;
  grid-template-columns: minmax(0, 1fr) 360px;
  min-height: 0;
}

.explorer-canvas {
  position: relative;
  min-height: 0;
  overflow: hidden;
  background:
    radial-gradient(circle at 1px 1px, rgba(0, 0, 0, 0.07) 1px, transparent 0) 0 0 / 24px 24px,
    var(--canvas-soft);
  cursor: grab;
  touch-action: none;
  user-select: none;
}

.explorer-canvas.is-panning {
  cursor: grabbing;
}

.explorer-canvas > svg {
  display: block;
  width: 100%;
  height: 100%;
}

.gx-heads {
  position: absolute;
  inset: 0 0 auto;
  z-index: 2;
  height: 48px;
  pointer-events: none;
  background: linear-gradient(to bottom, rgba(250, 250, 250, 0.96) 60%, rgba(250, 250, 250, 0));
}

.gx-head {
  position: absolute;
  top: 10px;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  height: 28px;
  padding: 0 6px;
  border: 0;
  border-radius: 64px;
  background: transparent;
  color: var(--ink);
  font: 500 13px/20px var(--font-sans);
  letter-spacing: -0.26px;
  white-space: nowrap;
  cursor: pointer;
  pointer-events: auto;
}

.gx-head-label {
  overflow: hidden;
  text-overflow: ellipsis;
}

.gx-head-count {
  color: var(--secondary);
  font: 400 11px/16px var(--font-mono);
}

.gx-head:hover .gx-head-label {
  text-decoration: underline;
  text-underline-offset: 3px;
}

.gx-head.is-narrow .gx-head-count {
  display: none;
}

.gx-head.is-dim {
  color: var(--mute);
}

.gx-head.is-dim .dot {
  opacity: 0.35;
}

.gx-head.is-active .gx-head-label {
  text-decoration: underline;
  text-underline-offset: 3px;
  text-decoration-thickness: 2px;
}

.explorer-status {
  position: absolute;
  inset: 0;
  display: grid;
  place-items: center;
  color: var(--secondary);
  font: 400 13px/20px var(--font-mono);
}

.zoom-controls {
  position: absolute;
  left: 16px;
  bottom: 16px;
  display: grid;
  gap: 1px;
  overflow: hidden;
  border-radius: var(--radius-md);
  background: var(--hairline);
  box-shadow: var(--shadow-4);
}

.zoom-controls button {
  display: grid;
  place-items: center;
  width: 36px;
  height: 36px;
  border: 0;
  background: var(--canvas);
  color: var(--ink);
  font: 400 18px/1 var(--font-sans);
  cursor: pointer;
}

.zoom-controls button:hover {
  background: var(--canvas-soft-2);
}

.graph-hint {
  position: absolute;
  right: 16px;
  bottom: 16px;
  padding: 6px 10px;
  border-radius: var(--radius-sm);
  background: rgba(255, 255, 255, 0.9);
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
  box-shadow: var(--ring);
}

.tooltip {
  position: absolute;
  z-index: 5;
  display: grid;
  gap: 4px;
  max-width: 280px;
  padding: 10px 12px;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-5);
  font-size: 13px;
  line-height: 18px;
  pointer-events: none;
}

.tooltip strong {
  font-size: 14px;
  font-weight: 600;
  letter-spacing: -0.28px;
}

.tooltip .tip-course {
  display: inline-flex;
  align-items: center;
  gap: 6px;
  color: var(--body);
}

.tooltip .tip-stats {
  color: var(--secondary);
  font: 400 12px/16px var(--font-mono);
}

.explorer-panel {
  min-height: 0;
  overflow-y: auto;
  padding: 24px;
  background: var(--canvas);
  box-shadow: inset 1px 0 0 var(--hairline);
}

.panel-section {
  display: grid;
  gap: 12px;
  padding: 20px 0;
  border-top: 1px solid var(--hairline);
}

.panel-section:first-child {
  padding-top: 0;
  border-top: 0;
}

.panel-title {
  font-size: 24px;
  line-height: 32px;
  font-weight: 600;
  letter-spacing: -0.96px;
}

.panel-def {
  color: var(--body);
  font-size: 14px;
  line-height: 22px;
}

.panel-metrics {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1px;
  overflow: hidden;
  border-radius: var(--radius-md);
  background: var(--hairline);
  box-shadow: 0 0 0 1px var(--hairline);
}

.panel-metrics div {
  display: grid;
  gap: 2px;
  padding: 10px 12px;
  background: var(--canvas);
}

.panel-metrics dt {
  color: var(--secondary);
  font-size: 12px;
  line-height: 16px;
}

.panel-metrics dd {
  margin: 0;
  font-size: 18px;
  line-height: 24px;
  font-weight: 600;
  letter-spacing: -0.4px;
}

.panel-list {
  display: grid;
  gap: 2px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.panel-list button {
  display: flex;
  align-items: center;
  gap: 8px;
  width: 100%;
  padding: 6px 8px;
  border: 0;
  border-radius: var(--radius-sm);
  background: transparent;
  color: var(--ink);
  font: 400 14px/20px var(--font-sans);
  letter-spacing: -0.28px;
  text-align: left;
  cursor: pointer;
}

.panel-list button:hover {
  background: var(--canvas-soft-2);
}

.legend-list {
  display: grid;
  gap: 8px;
  margin: 0;
  padding: 0;
  list-style: none;
  font-size: 13px;
  line-height: 18px;
  color: var(--body);
}

.legend-list li {
  display: flex;
  align-items: center;
  gap: 8px;
}

.legend-list .chip-count {
  margin-left: auto;
}

.legend-line {
  display: inline-block;
  width: 24px;
  height: 0;
  border-top: 1.5px solid #9a9a9a;
}

.legend-line.is-dotted {
  border-top-style: dotted;
  border-top-width: 2px;
}

.suggest {
  position: absolute;
  z-index: 20;
  top: calc(100% + 6px);
  left: 0;
  right: 0;
  display: grid;
  gap: 2px;
  max-height: 320px;
  overflow-y: auto;
  margin: 0;
  padding: 6px;
  border-radius: var(--radius-md);
  background: var(--canvas);
  box-shadow: var(--shadow-5);
  list-style: none;
}

.suggest li {
  display: flex;
  align-items: center;
  gap: 8px;
  padding: 8px 10px;
  border-radius: var(--radius-sm);
  font-size: 14px;
  line-height: 20px;
  cursor: pointer;
}

.suggest li[aria-selected="true"],
.suggest li:hover {
  background: var(--canvas-soft-2);
}

.suggest li small {
  margin-left: auto;
  color: var(--secondary);
  font: 400 11px/16px var(--font-mono);
}

.gx-lane {
  fill: transparent;
}

.gx-lane.is-alt {
  fill: rgba(0, 0, 0, 0.018);
}

.gx-lane-title {
  font: 600 15px var(--font-sans);
  fill: var(--ink);
  letter-spacing: -0.3px;
}

.gx-lane-sub {
  font: 400 11px var(--font-mono);
  fill: var(--secondary);
}

.gx-link {
  stroke: #cfcfcf;
  stroke-width: 1;
  fill: none;
  vector-effect: non-scaling-stroke;
}

.gx-link.is-cross {
  stroke: #e2e2e2;
}

.gx-link.is-broader {
  stroke: #9a9a9a;
  stroke-dasharray: 1 3;
  stroke-width: 1.5;
  stroke-linecap: round;
}

.gx-arrow path {
  fill: #c4c4c4;
}

.gx-arrow.is-up path {
  fill: var(--ink);
}

.gx-arrow.is-down path {
  fill: #8f8f8f;
}

.gx-node {
  cursor: pointer;
}

.gx-node circle {
  stroke: var(--canvas-soft);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.gx-node text {
  display: none;
  fill: var(--ink);
  font-size: calc(12px / var(--gx-k, 1));
  font-family: var(--font-sans);
  letter-spacing: -0.2px;
  paint-order: stroke;
  stroke: rgba(250, 250, 250, 0.92);
  stroke-width: calc(3px / var(--gx-k, 1));
  stroke-linejoin: round;
  pointer-events: none;
}

.gx .gx-node.is-labeled text {
  display: block;
}

.gx.is-focused .gx-node:not(.is-on) {
  opacity: 0.14;
}

.gx.is-focused .gx-link:not(.is-on) {
  opacity: 0.08;
}

.gx .gx-link.is-on {
  stroke-width: 1.5;
}

.gx .gx-link.is-up {
  stroke: var(--ink);
}

.gx .gx-link.is-down {
  stroke: #8f8f8f;
}

.gx .gx-node.is-selected circle {
  stroke: var(--ink);
  stroke-width: 3;
}

.gx .gx-node.is-selected text {
  font-weight: 600;
}

.gx .gx-node.is-muted circle {
  fill: #d4d4d4 !important;
}

.gx .gx-node.is-muted text {
  fill: var(--mute);
}

.gx:not(.show-broader) .gx-link.is-broader {
  display: none;
}

/* -- course pages ------------------------------------------------------------------------------------ */

.flow {
  display: grid;
  gap: 12px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.flow li {
  display: grid;
  grid-template-columns: minmax(96px, 140px) minmax(0, 1fr) 40px;
  align-items: center;
  gap: 12px;
  font-size: 14px;
  line-height: 20px;
}

.flow-label {
  display: inline-flex;
  align-items: center;
  gap: 8px;
  min-width: 0;
}

.flow-label a {
  color: var(--ink);
}

.flow-label a:hover {
  color: var(--link);
}

.flow-track {
  display: block;
  height: 12px;
}

.flow-bar {
  display: block;
  height: 100%;
  min-width: 2px;
  border-radius: 0 4px 4px 0;
  background: var(--ink);
}

.flow-value {
  text-align: right;
  font: 500 13px/20px var(--font-mono);
  font-variant-numeric: tabular-nums;
}

.units,
.unit-children {
  display: grid;
  gap: 20px;
  margin: 0;
  padding: 0;
  list-style: none;
}

.unit h3 {
  font-size: 16px;
  line-height: 24px;
  font-weight: 600;
  letter-spacing: -0.32px;
}

.unit h4 {
  font-size: 14px;
  line-height: 20px;
  font-weight: 600;
  letter-spacing: -0.28px;
}

.unit h3 a,
.unit h4 a {
  color: var(--ink);
}

.unit h3 a:hover,
.unit h4 a:hover {
  color: var(--link);
}

.unit-children {
  gap: 16px;
  margin-top: 12px;
  padding-left: 16px;
  border-left: 1px solid var(--hairline);
}

.standards {
  display: grid;
  gap: 12px;
  margin: 10px 0 0;
  padding: 0;
  list-style: none;
}

.standard {
  display: grid;
  gap: 8px;
}

.standard-head {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 8px;
  font-size: 14px;
  line-height: 20px;
}

.standard-head a {
  color: var(--body);
}

.standard-head a:hover {
  color: var(--link);
}

.standard .chip {
  min-height: 26px;
  padding: 2px 10px;
  font-size: 13px;
}

.crumb-trail {
  display: flex;
  flex-wrap: wrap;
  gap: 6px;
  font-size: 14px;
}

.crumb-trail .sep {
  color: var(--hairline-strong);
}

.examples-list li {
  display: block;
}

.prose.math {
  white-space: pre-line;
}

.prose .katex {
  font-size: 1.05em;
}

/* -- responsive --------------------------------------------------------------------------------------- */

@media (max-width: 1100px) {
  .stats {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  .course-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .matrix-card {
    grid-template-columns: 1fr;
  }

  .footer-grid {
    grid-template-columns: repeat(3, 1fr);
  }

  .footer-about {
    grid-column: 1 / -1;
  }
}

@media (max-width: 960px) {
  .nav-cta .btn-nav.ghost {
    display: none;
  }

  .band-grid,
  .mcp-grid {
    grid-template-columns: 1fr;
  }

  .relation-grid,
  .two-col {
    grid-template-columns: 1fr;
  }

  .explorer-main {
    grid-template-columns: 1fr;
    grid-template-rows: minmax(0, 1fr) auto;
  }

  .explorer-panel {
    max-height: 38dvh;
    box-shadow: inset 0 1px 0 var(--hairline);
  }

  .stats.cols-5 {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }
}

@media (max-width: 760px) {
  :root {
    --gutter: 16px;
    --nav-height: 92px;
  }

  .nav-inner {
    flex-wrap: wrap;
    height: auto;
    gap: 4px 12px;
    padding-top: 12px;
  }

  .nav-links {
    order: 3;
    width: calc(100% + 2 * var(--gutter));
    margin: 0 calc(-1 * var(--gutter));
    padding: 4px calc(var(--gutter) - 8px) 8px;
    overflow-x: auto;
    scrollbar-width: none;
  }

  .nav-links::-webkit-scrollbar {
    display: none;
  }

  .hero {
    padding: 64px 0 48px;
  }

  .display-xl {
    font-size: 36px;
    line-height: 44px;
    letter-spacing: -1.6px;
  }

  .display-lg {
    font-size: 26px;
    line-height: 34px;
    letter-spacing: -1px;
  }

  .section {
    padding: 48px 0;
  }

  .stats,
  .stats.cols-4,
  .stats.cols-5 {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .stat {
    padding: 16px;
  }

  .stat-value {
    font-size: 26px;
    line-height: 32px;
  }

  .footer-grid {
    grid-template-columns: repeat(2, 1fr);
  }

  .band-dark {
    padding: 64px 0;
  }

  .matrix-card,
  .card-lg {
    padding: 20px;
  }

  .figure {
    padding: 16px;
  }

  .figure-scroll {
    margin: 0 -16px;
    padding: 4px 16px;
  }

  .formats {
    margin-left: 0;
  }

  .mcp-card {
    padding: 20px;
  }

  .tool-groups {
    columns: 1;
  }

  .tool-group li {
    grid-template-columns: 1fr;
    gap: 2px;
  }

  .explorer-toolbar .search,
  .explorer-toolbar .chip-row {
    flex: 1 1 100%;
    max-width: none;
  }

  .explorer-toolbar .chip-row {
    flex-wrap: nowrap;
    overflow-x: auto;
    scrollbar-width: none;
  }

  .graph-hint {
    display: none;
  }
}

@media (max-width: 600px) {
  .course-grid {
    grid-template-columns: 1fr;
  }

  .brand-sub {
    display: none;
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    transition: none !important;
    animation: none !important;
  }
}