:root {
  --code-ink: #101114;
  --code-muted: #5e6470;
  --code-line: #d8dbe2;
  --code-paper: #ffffff;
  --code-soft: #f4f6f9;
  --code-accent: #0b66ff;
  --code-accent-soft: #eaf1ff;
  --code-candidate: #b55d00;
  --code-candidate-soft: #fff5e8;
  --code-warn: #8a5500;
  --code-warn-soft: #fff0bf;
  --code-mono: "SFMono-Regular", "SF Mono", Menlo, Consolas, monospace;
  --code-sans: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
}

* {
  box-sizing: border-box;
}

[hidden] {
  display: none !important;
}

html {
  color: var(--code-ink);
  background: var(--code-paper);
  scroll-behavior: smooth;
}

body[data-code-library] {
  min-width: 0;
  margin: 0;
  color: var(--code-ink);
  background: var(--code-paper);
  font-family: var(--code-sans);
}

.skip-link {
  position: fixed;
  z-index: 100;
  top: 8px;
  left: 8px;
  transform: translateY(-180%);
  padding: 10px 14px;
  color: #fff;
  background: var(--code-ink);
}

.skip-link:focus {
  transform: none;
}

.code-library-nav {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 20px;
  min-height: 72px;
  padding: 12px clamp(20px, 5vw, 72px);
  border-bottom: 1px solid var(--code-line);
  background: var(--code-paper);
}

.code-library-nav a {
  color: var(--code-ink);
  font-weight: 700;
  text-decoration: none;
}

.code-library-brand {
  display: inline-flex;
  align-items: center;
  gap: 12px;
}

.code-library-brand span {
  display: grid;
  width: 42px;
  height: 42px;
  place-items: center;
  color: #fff;
  background: #000;
  font: 800 0.75rem/1 var(--code-mono);
}

.code-library-shell {
  width: min(1440px, calc(100% - 40px));
  margin: 0 auto;
  padding: clamp(42px, 7vw, 96px) 0 120px;
}

.code-library-header {
  max-width: 1050px;
}

.code-library-kicker,
.code-library-card-index,
.code-library-card-count,
.code-library-status,
.code-library-badges,
.code-library-phases,
.code-library-state,
.code-library-result-count {
  font-family: var(--code-mono);
}

.code-library-kicker {
  margin: 0 0 18px;
  color: var(--code-accent);
  font-size: 0.75rem;
  font-weight: 800;
  letter-spacing: 0.1em;
}

.code-library-header h1 {
  max-width: 900px;
  margin: 0;
  font-size: clamp(3rem, 7.5vw, 7.5rem);
  font-weight: 650;
  letter-spacing: -0.065em;
  line-height: 0.92;
}

.code-library-dek {
  max-width: 920px;
  margin: 34px 0 0;
  color: #30343b;
  font-size: clamp(1.15rem, 2vw, 1.65rem);
  line-height: 1.55;
}

.code-library-state {
  margin: 28px 0 0;
  padding: 15px 18px;
  border-left: 4px solid var(--code-accent);
  background: var(--code-accent-soft);
  font-size: 0.82rem;
  line-height: 1.55;
}

.code-library-stats {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  margin: 42px 0 0;
  border-top: 1px solid var(--code-line);
  border-left: 1px solid var(--code-line);
}

.code-library-stats div {
  min-width: 0;
  padding: 18px;
  border-right: 1px solid var(--code-line);
  border-bottom: 1px solid var(--code-line);
}

.code-library-stats dt {
  color: var(--code-muted);
  font: 700 0.7rem/1.4 var(--code-mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.code-library-stats dd {
  margin: 12px 0 0;
  font-size: clamp(1.4rem, 3vw, 2.3rem);
  font-weight: 750;
}

.code-library-stack {
  margin-top: 72px;
  padding: 34px;
  border: 1px solid var(--code-ink);
  background: #11151d;
  color: #f5f7fb;
}

.code-library-stack-heading {
  max-width: 980px;
}

.code-library-stack-heading > p:first-child,
.code-library-program-heading > p,
.code-library-full-source-heading > p,
.code-library-checkpoint > div:first-child > p,
.code-library-audience-label,
.code-library-vendor-paths p {
  margin: 0 0 8px;
  color: #71a7ff;
  font: 800 0.68rem/1.35 var(--code-mono);
  letter-spacing: 0.07em;
  text-transform: uppercase;
}

.code-library-stack h2 {
  margin: 0;
  font-size: clamp(2rem, 4vw, 3.8rem);
  letter-spacing: -0.045em;
  line-height: 1.02;
}

.code-library-stack-heading > p:last-child {
  max-width: 900px;
  margin: 20px 0 0;
  color: #c4ccda;
  font-size: 1rem;
  line-height: 1.65;
}

.code-library-stack-path {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 30px 0 0;
  padding: 1px;
  background: #394150;
  list-style: none;
}

.code-library-stack-path li {
  display: grid;
  grid-template-columns: 34px minmax(0, 1fr);
  gap: 12px;
  min-width: 0;
  padding: 18px;
  background: #171d27;
}

.code-library-stack-path li > span {
  color: #71a7ff;
  font: 800 0.72rem/1.3 var(--code-mono);
}

.code-library-stack-path strong {
  display: block;
  font-size: 0.98rem;
}

.code-library-stack-path p {
  margin: 8px 0 13px;
  color: #b8c1d0;
  font-size: 0.82rem;
  line-height: 1.5;
}

.code-library-stack-path a {
  color: #9fc2ff;
  font-size: 0.78rem;
  font-weight: 750;
}

.code-library-vendor-paths {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 12px;
  margin-top: 20px;
}

.code-library-vendor-paths article {
  padding: 17px;
  border: 1px solid #4a5568;
  background: #0d1118;
}

.code-library-vendor-paths strong {
  color: #dce5f4;
  font: 650 0.8rem/1.6 var(--code-mono);
}

.code-library-technology-shortcuts {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 12px;
  margin-top: 12px;
}

.code-library-technology-shortcuts article {
  min-width: 0;
  padding: 17px;
  border: 1px solid #4a5568;
  background: #171d27;
}

.code-library-technology-shortcuts p {
  margin: 0 0 12px;
  color: #71a7ff;
  font: 800 0.66rem/1.35 var(--code-mono);
  letter-spacing: 0.06em;
}

.code-library-technology-shortcuts div {
  display: flex;
  flex-wrap: wrap;
  gap: 8px;
}

.code-library-technology-shortcuts a {
  padding: 7px 9px;
  border: 1px solid #667187;
  color: #e8f0ff;
  background: #0d1118;
  font: 700 0.72rem/1.25 var(--code-sans);
  text-decoration: none;
}

.code-library-technology-shortcuts a:hover,
.code-library-technology-shortcuts a:focus-visible {
  border-color: #9fc2ff;
  color: #11151d;
  background: #9fc2ff;
}

.code-library-start {
  margin-top: 72px;
  padding-top: 34px;
  border-top: 4px solid var(--code-ink);
}

.code-library-start h2 {
  margin: 0 0 20px;
  font-size: clamp(1.8rem, 4vw, 3.2rem);
  letter-spacing: -0.04em;
}

.code-library-presets {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
}

.code-library-presets button,
.code-library-control-actions button {
  min-height: 46px;
  padding: 10px 14px;
  border: 1px solid var(--code-ink);
  color: var(--code-ink);
  background: var(--code-paper);
  font: 750 0.84rem/1.3 var(--code-sans);
  cursor: pointer;
}

.code-library-presets button:hover,
.code-library-presets button:focus-visible,
.code-library-control-actions button:hover,
.code-library-control-actions button:focus-visible {
  color: #fff;
  background: var(--code-ink);
}

.code-library-presets button[aria-pressed="true"] {
  border-color: var(--code-accent);
  color: #fff;
  background: var(--code-accent);
}

.code-library-context {
  margin: 18px 0 0;
  padding: 13px 16px;
  border: 1px solid var(--code-accent);
  background: var(--code-accent-soft);
  line-height: 1.5;
}

.code-library-controls {
  position: sticky;
  z-index: 20;
  top: 0;
  display: grid;
  grid-template-columns: minmax(260px, 1.8fr) repeat(5, minmax(130px, 1fr));
  gap: 12px;
  align-items: end;
  margin: 36px 0 28px;
  padding: 16px;
  border: 1px solid var(--code-line);
  background: rgba(255, 255, 255, 0.97);
  box-shadow: 0 10px 30px rgba(15, 18, 24, 0.06);
}

body[data-code-library].code-library-has-open-card .code-library-controls,
body[data-code-library]:has([data-code-card][open]) .code-library-controls {
  position: static;
}

.code-library-controls label {
  display: grid;
  gap: 7px;
  min-width: 0;
  color: var(--code-muted);
  font: 700 0.68rem/1.35 var(--code-mono);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.code-library-controls input,
.code-library-controls select {
  width: 100%;
  min-width: 0;
  min-height: 46px;
  padding: 9px 11px;
  border: 1px solid #aeb4bf;
  border-radius: 0;
  color: var(--code-ink);
  background: var(--code-paper);
  font: 500 0.9rem/1.35 var(--code-sans);
  text-transform: none;
}

.code-library-control-actions {
  display: flex;
  flex-wrap: wrap;
  grid-column: 1 / -2;
  gap: 8px;
}

.code-library-result-count {
  justify-self: end;
  margin: 0;
  color: var(--code-muted);
  font-size: 0.75rem;
}

.code-library-noscript,
.code-library-empty {
  padding: 18px;
  border: 1px solid var(--code-warn);
  background: var(--code-warn-soft);
}

.code-library-results {
  display: grid;
  gap: 14px;
}

.code-library-card {
  min-width: 0;
  border: 1px solid var(--code-line);
  background: var(--code-paper);
}

.code-library-card[open] {
  border-color: #9299a5;
  box-shadow: 0 14px 36px rgba(15, 18, 24, 0.08);
}

.code-library-card > summary {
  display: grid;
  grid-template-columns: minmax(170px, 0.65fr) minmax(260px, 1.6fr) auto minmax(220px, auto);
  gap: 14px;
  align-items: center;
  min-height: 72px;
  padding: 14px 18px;
  cursor: pointer;
  list-style: none;
}

.code-library-card > summary > * {
  min-width: 0;
}

.code-library-card > summary::-webkit-details-marker,
.code-library-line > summary::-webkit-details-marker {
  display: none;
}

.code-library-card > summary::before {
  content: "+";
  grid-column: 1;
  grid-row: 1;
  justify-self: end;
  margin-right: 4px;
  color: var(--code-accent);
  font: 800 1.15rem/1 var(--code-mono);
}

.code-library-card[open] > summary::before {
  content: "−";
}

.code-library-card-index {
  grid-column: 1;
  grid-row: 1;
  overflow-wrap: anywhere;
  padding-right: 28px;
  color: var(--code-accent);
  font-size: 0.72rem;
  font-weight: 800;
}

.code-library-card-title {
  grid-column: 2;
  font-size: 1rem;
  font-weight: 760;
  line-height: 1.35;
  overflow-wrap: anywhere;
}

.code-library-card-count {
  color: var(--code-muted);
  font-size: 0.7rem;
}

.code-library-status {
  justify-self: end;
  padding: 7px 9px;
  border: 1px solid currentColor;
  color: var(--code-muted);
  font-size: 0.67rem;
  font-weight: 800;
  letter-spacing: 0.035em;
}

.code-library-status[data-status="trace-bound"] {
  color: var(--code-accent);
  background: var(--code-accent-soft);
}

.code-library-status[data-status="unsupported"] {
  color: var(--code-warn);
  background: var(--code-warn-soft);
}

.code-library-card-body {
  border-top: 1px solid var(--code-line);
}

.code-library-card-context {
  padding: 20px;
  background: var(--code-soft);
}

.code-library-card-context p {
  margin: 0 0 10px;
  line-height: 1.55;
}

.code-library-card-context code {
  overflow-wrap: anywhere;
  font-family: var(--code-mono);
}

.code-library-badges,
.code-library-phases {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
  margin-top: 13px;
  font-size: 0.68rem;
}

.code-library-badges span,
.code-library-phases span {
  padding: 5px 7px;
  border: 1px solid #c4c9d2;
  background: var(--code-paper);
}

.code-library-source-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 10px;
  margin-top: 18px;
}

.code-library-source-actions a {
  display: inline-flex;
  align-items: center;
  min-height: 44px;
  padding: 9px 12px;
  border: 1px solid var(--code-ink);
  color: var(--code-ink);
  background: var(--code-paper);
  font-weight: 750;
  text-decoration: none;
}

.code-library-source-actions a:hover,
.code-library-source-actions a:focus-visible {
  color: #fff;
  background: var(--code-ink);
}

.code-library-source-missing {
  color: var(--code-muted);
}

.code-library-boundary {
  margin-top: 18px !important;
  padding-top: 14px;
  border-top: 1px solid var(--code-line);
}

.code-library-program {
  padding: 24px;
  border-top: 1px solid var(--code-line);
  border-bottom: 1px solid var(--code-line);
  background: #fbfcfe;
}

.code-library-program-heading {
  display: grid;
  grid-template-columns: minmax(260px, 0.7fr) minmax(320px, 1.3fr);
  gap: 10px 28px;
  align-items: start;
}

.code-library-program-heading > p {
  grid-column: 1 / -1;
  color: var(--code-accent);
}

.code-library-program-heading h3 {
  margin: 0;
  font-size: clamp(1.45rem, 2.5vw, 2.35rem);
  letter-spacing: -0.035em;
  line-height: 1.08;
}

.code-library-program-purpose {
  padding-left: 18px;
  border-left: 3px solid var(--code-accent);
  font-size: 0.98rem;
  line-height: 1.6;
}

.code-library-program-flow {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 1px;
  margin: 24px 0 0;
  padding: 1px;
  background: var(--code-line);
  list-style: none;
}

.code-library-program-flow li {
  min-width: 0;
  padding: 15px;
  background: var(--code-paper);
}

.code-library-program-flow li.is-proof {
  background: var(--code-warn-soft);
}

.code-library-program-flow span {
  display: block;
  margin-bottom: 8px;
  color: var(--code-muted);
  font: 800 0.62rem/1.35 var(--code-mono);
  letter-spacing: 0.04em;
}

.code-library-program-flow strong {
  font-size: 0.85rem;
}

.code-library-program-flow p {
  margin: 8px 0 0;
  font-size: 0.78rem;
  line-height: 1.5;
}

.code-library-audiences {
  margin-top: 20px;
}

.code-library-audience-panel {
  padding: 18px;
  border: 1px solid var(--code-accent);
  background: var(--code-accent-soft);
}

.code-library-audience-label {
  color: var(--code-accent);
}

.code-library-audience-panel h4 {
  margin: 0;
  font-size: 1.08rem;
  line-height: 1.35;
}

.code-library-audience-panel p:not(.code-library-audience-label) {
  margin: 10px 0 0;
  font-size: 0.9rem;
  line-height: 1.55;
}

.code-library-next-proof {
  margin-top: 14px;
  border: 1px solid var(--code-line);
  background: var(--code-paper);
}

.code-library-next-proof summary {
  min-height: 44px;
  padding: 12px 14px;
  cursor: pointer;
  font-weight: 750;
}

.code-library-next-proof p {
  margin: 0;
  padding: 0 14px 15px;
  line-height: 1.55;
}

.code-library-code-first {
  border-bottom: 1px solid var(--code-line);
  background: #0d1118;
}

.code-library-code-first-heading {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: flex-start;
  padding: 22px 24px 18px;
  color: #fff;
}

.code-library-code-first-heading p,
.code-library-raw-heading p,
.code-library-python-entry > p:first-child {
  margin: 0;
  color: #8ab8ff;
  font: 800 0.68rem/1.4 var(--code-mono);
  letter-spacing: 0.055em;
  text-transform: uppercase;
}

.code-library-code-first-heading h3 {
  margin: 6px 0 0;
  font-size: clamp(1.35rem, 2.2vw, 2rem);
  line-height: 1.15;
}

.code-library-code-first-heading > span {
  flex: 0 0 auto;
  padding: 7px 9px;
  border: 1px solid #5a6678;
  color: #dce8fb;
  font: 800 0.7rem/1.3 var(--code-mono);
  text-transform: uppercase;
}

.code-library-python-entry {
  margin: 0 24px 18px;
  padding: 16px;
  border: 1px solid #35445b;
  background: #151d29;
}

.code-library-python-entry pre {
  margin: 12px 0;
  padding: 14px;
  overflow-x: auto;
  color: #edf4ff;
  background: #080b10;
  font: 650 0.88rem/1.6 var(--code-mono);
}

.code-library-python-entry pre code,
.code-library-raw-source code {
  padding: 0;
  border: 0;
  color: inherit !important;
  background: transparent !important;
  font: inherit;
  white-space: inherit;
}

.code-library-python-entry > p:last-child {
  margin: 0;
  color: #c9d3e1;
  font-size: 0.88rem;
  line-height: 1.55;
}

.code-library-raw-heading {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  padding: 13px 24px;
  border-top: 1px solid #2a3340;
  border-bottom: 1px solid #2a3340;
  background: #111722;
}

.code-library-raw-heading p:last-child {
  max-width: 55%;
  overflow-wrap: anywhere;
  color: #aeb9c9;
  text-align: right;
  text-transform: none;
}

.code-library-raw-source {
  margin: 0;
  padding: 22px 24px;
  overflow-x: auto;
  color: #f2f6fd;
  background: #080b10;
  font: 650 clamp(0.78rem, 1.2vw, 0.94rem)/1.75 var(--code-mono);
  tab-size: 2;
}

.code-library-code-first-actions {
  display: flex;
  gap: 10px;
  flex-wrap: wrap;
  padding: 16px 24px 0;
}

.code-library-code-first-actions a {
  min-height: 44px;
  padding: 11px 14px;
  border: 1px solid #6fa3f4;
  color: #fff;
  font-weight: 750;
  text-decoration: none;
}

.code-library-code-first-actions a:first-child {
  color: #071a36;
  background: #8ab8ff;
}

.code-library-source-scope {
  margin: 0;
  padding: 14px 24px 22px;
  color: #adb8c8;
  font-size: 0.82rem;
  line-height: 1.5;
}

.code-library-hbm-bridge {
  padding: 24px;
  border-bottom: 1px solid var(--code-line);
  background: #f7f9fc;
}

.code-library-hbm-bridge-heading {
  display: flex;
  justify-content: space-between;
  gap: 20px;
  align-items: flex-start;
}

.code-library-hbm-bridge-heading p {
  margin: 0;
  color: var(--code-accent);
  font: 800 0.68rem/1.35 var(--code-mono);
  letter-spacing: 0.055em;
}

.code-library-hbm-bridge-heading h3 {
  margin: 7px 0 0;
  font-size: 1.35rem;
  line-height: 1.2;
}

.code-library-hbm-bridge-heading > span {
  max-width: 300px;
  padding: 8px 10px;
  border: 1px solid var(--code-warn);
  color: var(--code-warn);
  background: var(--code-warn-soft);
  font: 800 0.66rem/1.35 var(--code-mono);
}

.code-library-hbm-bridge > p {
  max-width: 900px;
  margin: 16px 0 0;
  font-size: 0.95rem;
  line-height: 1.65;
}

.code-library-hbm-bridge ol {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(130px, 1fr));
  gap: 8px;
  margin: 20px 0 0;
  padding: 0;
  list-style: none;
}

.code-library-hbm-bridge li {
  position: relative;
  display: grid;
  align-content: space-between;
  gap: 16px;
  min-height: 104px;
  padding: 13px;
  border: 1px solid var(--code-line);
  background: #fff;
}

.code-library-hbm-bridge li:not(:last-child)::after {
  position: absolute;
  z-index: 1;
  top: 50%;
  right: -8px;
  content: "→";
  color: var(--code-accent);
  font-weight: 900;
}

.code-library-hbm-bridge li strong {
  font-size: 0.84rem;
  line-height: 1.35;
}

.code-library-hbm-bridge li span {
  color: var(--code-muted);
  font: 800 0.64rem/1.3 var(--code-mono);
}

.code-library-hbm-consequence {
  padding: 13px 15px;
  border-left: 4px solid var(--code-accent);
  background: #edf4ff;
}

.code-library-kv-note {
  padding: 13px 15px;
  border-left: 4px solid var(--code-warn);
  background: var(--code-warn-soft);
}

.code-library-deeper-context {
  padding: 0 24px 24px;
  border-bottom: 1px solid var(--code-line);
}

.code-library-deeper-context > h3 {
  margin: 0 -24px;
  padding: 15px 24px;
  border-bottom: 1px solid var(--code-line);
  background: #f2f4f7;
  font-size: 1rem;
}

.code-library-walkthrough {
  display: flex;
  flex-direction: column;
  min-width: 0;
}

.code-library-full-source {
  min-width: 0;
  background: #fbfcfe;
}

.code-library-full-source-heading {
  padding: 20px;
  border-bottom: 1px solid var(--code-line);
  background: #eef2f7;
}

.code-library-full-source-heading > p:first-child {
  color: var(--code-accent);
}

.code-library-full-source-heading h3 {
  margin: 0;
  font-size: 1.2rem;
  line-height: 1.35;
}

.code-library-full-source-heading > p:last-child {
  margin: 9px 0 0;
  color: var(--code-muted);
  font-size: 0.84rem;
  line-height: 1.5;
}

.code-gpu-map {
  position: static;
  min-width: 0;
  margin: 0;
  padding: 20px;
  overflow-y: visible;
  border-top: 1px solid var(--code-line);
  border-right: 0;
  background: var(--code-paper);
}

.code-gpu-map-heading {
  display: flex;
  justify-content: space-between;
  gap: 16px;
  align-items: flex-start;
}

.code-gpu-map-heading > * {
  min-width: 0;
}

.code-gpu-map-kicker {
  margin: 0 0 6px;
  color: var(--code-accent);
  font: 800 0.66rem/1.35 var(--code-mono);
  letter-spacing: 0.06em;
}

.code-gpu-map-heading h3 {
  margin: 0;
  font-size: 1.15rem;
  line-height: 1.25;
}

.code-gpu-map-proof {
  flex: 0 0 auto;
  max-width: 155px;
  padding: 7px 8px;
  border: 1px solid var(--code-warn);
  color: var(--code-warn);
  background: var(--code-warn-soft);
  font: 800 0.62rem/1.35 var(--code-mono);
  letter-spacing: 0.025em;
}

.code-gpu-map-line {
  display: grid;
  gap: 10px;
  margin-top: 16px;
  padding: 13px;
  border: 1px solid var(--code-ink);
  background: #11151d;
}

.code-gpu-map-line > div {
  display: flex;
  justify-content: space-between;
  gap: 12px;
  color: #aeb8c8;
  font: 700 0.66rem/1.35 var(--code-mono);
  letter-spacing: 0.03em;
  text-transform: uppercase;
}

.code-gpu-map-line strong {
  color: #fff;
  font-weight: 750;
}

.code-gpu-map-line code {
  display: block;
  min-width: 0;
  padding: 0;
  overflow-x: auto;
  border: 0;
  border-radius: 0;
  color: #e8f0ff !important;
  background: transparent !important;
  white-space: pre;
  font: 600 0.78rem/1.5 var(--code-mono);
}

.code-gpu-map-controls {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 8px;
  margin-top: 8px;
}

.code-gpu-map-controls button {
  min-height: 44px;
  padding: 8px 10px;
  border: 1px solid var(--code-ink);
  color: var(--code-ink);
  background: var(--code-paper);
  font: 750 0.78rem/1.3 var(--code-sans);
  cursor: pointer;
}

.code-gpu-map-controls button:hover:not(:disabled),
.code-gpu-map-controls button:focus-visible:not(:disabled) {
  color: #fff;
  background: var(--code-ink);
}

.code-gpu-map-controls button:disabled {
  border-color: var(--code-line);
  color: #989da6;
  cursor: not-allowed;
}

.code-gpu-map-path {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 11px;
  margin: 16px 0 0;
  padding: 0;
  list-style: none;
}

.code-gpu-map-node {
  position: relative;
  display: grid;
  gap: 4px;
  min-height: 58px;
  padding: 10px 12px;
  border: 1px solid #c8ccd3;
  color: #747a85;
  background: #f5f6f8;
}

.code-gpu-map-node span {
  font: 800 0.61rem/1.3 var(--code-mono);
  letter-spacing: 0.045em;
}

.code-gpu-map-node strong {
  font-size: 0.8rem;
  line-height: 1.38;
}

.code-gpu-map-node.is-direct {
  border: 2px solid var(--code-accent);
  color: #073d96;
  background: var(--code-accent-soft);
}

.code-gpu-map-node.is-candidate {
  border: 2px dashed var(--code-candidate);
  color: #6f3900;
  background: var(--code-candidate-soft);
}

.code-gpu-map-node.is-inactive {
  border-color: #d8dbe2;
  color: #777e89;
  background: #f5f6f8;
}

.code-gpu-map-legend {
  display: grid;
  gap: 7px;
  margin-top: 16px;
  padding: 12px;
  border: 1px solid var(--code-line);
  font-size: 0.72rem;
  line-height: 1.35;
}

.code-gpu-map-legend span {
  display: flex;
  gap: 8px;
  align-items: center;
}

.code-gpu-map-legend i {
  width: 18px;
  height: 12px;
  border: 2px solid #c8ccd3;
  background: #f5f6f8;
}

.code-gpu-map-legend i.is-direct {
  border-color: var(--code-accent);
  background: var(--code-accent-soft);
}

.code-gpu-map-legend i.is-candidate {
  border-style: dashed;
  border-color: var(--code-candidate);
  background: var(--code-candidate-soft);
}

.code-gpu-map-explanation {
  display: grid;
  gap: 1px;
  margin-top: 16px;
  border: 1px solid var(--code-line);
  background: var(--code-line);
}

.code-gpu-map-explanation > div {
  padding: 11px 12px;
  background: var(--code-soft);
}

.code-gpu-map-explanation span {
  color: var(--code-muted);
  font: 800 0.62rem/1.3 var(--code-mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.code-gpu-map-explanation p {
  margin: 6px 0 0;
  font-size: 0.79rem;
  line-height: 1.5;
}

.code-gpu-map-explanation .code-gpu-map-evidence {
  border-left: 3px solid var(--code-warn);
  background: var(--code-warn-soft);
}

.code-library-lines {
  min-width: 0;
  overflow-x: auto;
  border-left: 0;
  background: #fbfcfe;
}

.code-library-line {
  min-width: min(100%, 760px);
  border-bottom: 1px solid var(--code-line);
}

.code-library-line > summary {
  display: grid;
  grid-template-columns: 76px minmax(max-content, 1fr);
  align-items: stretch;
  min-height: 48px;
  cursor: pointer;
  list-style: none;
}

.code-library-line > summary:hover,
.code-library-line > summary:focus-visible,
.code-library-line.is-map-selected > summary {
  background: var(--code-accent-soft);
}

.code-library-line.is-map-selected {
  box-shadow: inset 4px 0 0 var(--code-accent);
}

.code-library-line-number {
  display: flex;
  align-items: center;
  padding: 9px 12px;
  border-right: 1px solid var(--code-line);
  color: var(--code-muted);
  background: var(--code-soft);
  font: 700 0.69rem/1.4 var(--code-mono);
}

.code-library-line > summary code {
  display: flex;
  align-items: center;
  min-height: 48px;
  padding: 9px 14px;
  white-space: pre;
  font: 500 0.82rem/1.55 var(--code-mono);
}

.code-library-blank {
  color: #9299a5;
  font-style: italic;
}

.code-library-line-explanation {
  min-width: 720px;
  padding: 18px 20px 22px 90px;
  border-top: 1px dashed #bec4ce;
  background: var(--code-paper);
}

.code-library-line-meaning {
  max-width: 1000px;
  margin: 0;
  font-size: 1rem;
  font-weight: 720;
  line-height: 1.55;
}

.code-library-line-explanation dl {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1px;
  margin: 16px 0 0;
  background: var(--code-line);
}

.code-library-line-explanation dl div {
  min-width: 0;
  padding: 13px;
  background: var(--code-soft);
}

.code-library-line-explanation dt {
  color: var(--code-muted);
  font: 750 0.67rem/1.4 var(--code-mono);
  letter-spacing: 0.04em;
  text-transform: uppercase;
}

.code-library-line-explanation dd {
  margin: 7px 0 0;
  font-size: 0.9rem;
  line-height: 1.55;
}

.code-library-line-link {
  display: inline-flex;
  margin-top: 14px;
  color: var(--code-accent);
  font-weight: 750;
}

.code-library-checkpoint {
  display: grid;
  grid-template-columns: minmax(220px, 0.7fr) minmax(420px, 1.3fr);
  gap: 16px 24px;
  padding: 24px;
  border-top: 1px solid var(--code-line);
  background: #11151d;
  color: #f6f8fc;
}

.code-library-checkpoint > div:first-child > p {
  color: #71a7ff;
}

.code-library-checkpoint h3 {
  margin: 0;
  font-size: 1.25rem;
}

.code-library-checkpoint-actions {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 8px;
}

.code-library-checkpoint-actions button {
  min-height: 52px;
  padding: 10px 12px;
  border: 1px solid #778195;
  color: #eff4fc;
  background: #1b222e;
  font: 700 0.78rem/1.4 var(--code-sans);
  cursor: pointer;
}

.code-library-checkpoint-actions button:hover,
.code-library-checkpoint-actions button:focus-visible,
.code-library-checkpoint-actions button[aria-pressed="true"] {
  border-color: #71a7ff;
  background: #173666;
}

.code-library-checkpoint-result {
  grid-column: 1 / -1;
  margin: 0;
  padding: 12px 14px;
  border-left: 3px solid #778195;
  color: #cbd4e2;
  background: #171d27;
  line-height: 1.5;
}

.code-library-checkpoint-result[data-correct="true"] {
  border-left-color: #65d69a;
  color: #dff8ea;
  background: #133125;
}

.code-library-checkpoint-result[data-correct="false"] {
  border-left-color: #f2ad52;
  color: #ffe8c7;
  background: #3b2915;
}

button:focus-visible,
input:focus-visible,
select:focus-visible,
summary:focus-visible,
a:focus-visible {
  outline: 3px solid var(--code-accent);
  outline-offset: 3px;
}

@media (max-width: 1100px) {
  .code-library-stack-path {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

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

  .code-library-search {
    grid-column: 1 / -1;
  }

  .code-library-control-actions {
    grid-column: 1;
  }

  .code-library-card > summary {
    grid-template-columns: minmax(140px, 0.7fr) minmax(240px, 1.4fr) auto;
  }

  .code-library-status {
    grid-column: 2 / -1;
    justify-self: start;
  }

  .code-library-program-flow {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .code-gpu-map {
    position: static;
    max-height: none;
    overflow-y: visible;
    border-right: 0;
    border-bottom: 1px solid var(--code-line);
  }

  .code-gpu-map-explanation {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .code-gpu-map-evidence {
    grid-column: 1 / -1;
  }
}

@media (max-width: 760px) {
  .code-library-code-first-heading,
  .code-library-hbm-bridge-heading,
  .code-library-raw-heading {
    display: grid;
  }

  .code-library-code-first-heading,
  .code-library-hbm-bridge,
  .code-library-raw-source {
    padding-right: 16px;
    padding-left: 16px;
  }

  .code-library-python-entry {
    margin-right: 16px;
    margin-left: 16px;
  }

  .code-library-code-first-actions,
  .code-library-source-scope,
  .code-library-raw-heading {
    padding-right: 16px;
    padding-left: 16px;
  }

  .code-library-raw-heading p:last-child {
    max-width: none;
    text-align: left;
  }

  .code-library-hbm-bridge-heading > span {
    max-width: none;
  }

  .code-library-hbm-bridge ol {
    grid-template-columns: 1fr;
  }

  .code-library-hbm-bridge li {
    min-height: 76px;
  }

  .code-library-hbm-bridge li:not(:last-child)::after {
    top: auto;
    right: auto;
    bottom: -11px;
    left: 50%;
    content: "↓";
  }

  .code-library-nav {
    align-items: flex-start;
    padding: 10px 16px;
  }

  .code-library-nav > a:last-child {
    max-width: 130px;
    text-align: right;
  }

  .code-library-shell {
    width: min(100% - 24px, 1440px);
    padding-top: 42px;
  }

  .code-library-header h1 {
    font-size: clamp(3rem, 18vw, 5rem);
  }

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

  .code-library-stack {
    padding: 20px;
  }

  .code-library-stack-path,
  .code-library-vendor-paths,
  .code-library-technology-shortcuts {
    grid-template-columns: 1fr;
  }

  .code-library-controls {
    position: static;
    grid-template-columns: 1fr;
    padding: 12px;
  }

  .code-library-search,
  .code-library-control-actions {
    grid-column: 1;
  }

  .code-library-result-count {
    justify-self: start;
  }

  .code-library-card > summary {
    grid-template-columns: 1fr auto;
    gap: 8px 12px;
    min-height: 92px;
    padding: 14px;
  }

  .code-library-card > summary::before {
    grid-column: 2;
    grid-row: 1;
  }

  .code-library-card-index,
  .code-library-card-title,
  .code-library-card-count,
  .code-library-status {
    grid-column: 1;
    justify-self: start;
    padding-right: 0;
  }

  .code-library-card-index {
    grid-row: auto;
  }

  .code-library-status {
    grid-column: 1 / -1;
  }

  .code-library-card-context {
    padding: 16px;
  }

  .code-library-program {
    padding: 16px;
  }

  .code-library-program-heading,
  .code-library-program-flow,
  .code-library-checkpoint {
    grid-template-columns: 1fr;
  }

  .code-library-program-purpose {
    padding: 14px 0 0;
    border-top: 3px solid var(--code-accent);
    border-left: 0;
  }

  .code-gpu-map {
    padding: 16px;
  }

  .code-gpu-map-heading {
    display: grid;
  }

  .code-gpu-map-proof {
    max-width: none;
  }

  .code-gpu-map-line > div {
    display: grid;
  }

  .code-gpu-map-path,
  .code-gpu-map-explanation {
    grid-template-columns: 1fr;
  }

  .code-gpu-map-evidence {
    grid-column: auto;
  }

  .code-library-line-explanation {
    min-width: 0;
    padding-left: 16px;
  }

  .code-library-line-explanation dl {
    grid-template-columns: 1fr;
  }

  .code-gpu-map-line code,
  .code-library-line > summary code {
    overflow-x: visible;
    overflow-wrap: anywhere;
    white-space: pre-wrap;
  }

  .code-library-lines {
    overflow-x: visible;
  }

  .code-library-line {
    min-width: 0;
  }

  .code-library-line > summary {
    grid-template-columns: 60px minmax(0, 1fr);
  }

  .code-library-checkpoint-actions {
    grid-template-columns: 1fr;
  }
}

@media (prefers-reduced-motion: reduce) {
  html {
    scroll-behavior: auto;
  }
}

@media print {
  .code-library-nav,
  .code-library-start,
  .code-library-controls,
  .code-library-source-actions,
  .code-library-line-link,
  .code-library-checkpoint-actions {
    display: none !important;
  }

  .code-library-shell {
    width: 100%;
    padding: 0;
  }

  .code-library-card,
  .code-library-line {
    break-inside: avoid;
  }
}