@font-face {
  font-family: 'Major Mono Display';
  src: url('/static/fonts/MajorMonoDisplay-Regular.ttf') format('truetype');
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: 'JetBrains Mono';
  src: url('/static/fonts/JetBrainsMono-Regular.ttf') format('truetype');
  font-weight: 400;
  font-display: swap;
}
@font-face {
  font-family: 'JetBrains Mono';
  src: url('/static/fonts/JetBrainsMono-Medium.ttf') format('truetype');
  font-weight: 500;
  font-display: swap;
}
@font-face {
  font-family: 'Newsreader';
  src: url('/static/fonts/Newsreader-Variable.ttf') format('truetype');
  font-weight: 400 500;
  font-display: swap;
}
@font-face {
  font-family: 'Newsreader';
  src: url('/static/fonts/Newsreader-Italic-Variable.ttf') format('truetype');
  font-weight: 400 500;
  font-style: italic;
  font-display: swap;
}
:root {
  color-scheme: dark;
  --color-background: #0A0E1A;
  --color-surface: #111827;
  --color-surface-2: #182030;
  --color-text: #DDD8D0;
  --color-heading: #EAE5D8;
  --color-muted: #7A8BA4;
  --color-accent: #5EEAD4;
  --color-accent-dim: #2D7A6E;
  --color-border: #1E2D42;
  --color-primary: #5EEAD4;
  --color-primary-dim: #2D7A6E;
  --color-secondary: #7A8BA4;
  --color-success: #4ade80;
  --color-warning: #E8C88A;
  --color-error: #f87171;
  --color-code-bg: #090d14;
  --color-code-border: rgba(255,255,255,0.08);
  --color-code-inline-bg: rgba(255,255,255,0.08);
  --color-code-inline-border: rgba(255,255,255,0.06);
  --color-scrollbar-thumb: rgba(255,255,255,0.15);
  --color-scrollbar-thumb-hover: rgba(255,255,255,0.25);
  --color-syntax-keyword: #FF7B72;
  --color-syntax-string: #A5D6FF;
  --color-syntax-comment: #7A8BA4;
  --color-syntax-number: #79C0FF;
  --color-syntax-function: #D2A8FF;
  --color-syntax-name: #DDD8D0;
  --color-syntax-builtin: #FFA657;
  --color-syntax-operator: #FF7B72;
  --color-syntax-type: #FFA657;
  --color-syntax-variable: #79C0FF;
  --color-syntax-punctuation: #DDD8D0;
  --color-syntax-error: #F87171;
  --font-family: 'Newsreader', 'Georgia', serif;
  --font-display: 'Major Mono Display', monospace;
  --font-heading: 'Newsreader', 'Georgia', serif;
  --font-body: 'Newsreader', serif;
  --font-mono: 'JetBrains Mono', 'Menlo', monospace;
  --font-massive: clamp(5rem, 18vw, 14rem);
  --font-hero: clamp(2.5rem, 6vw, 4.5rem);
  --font-h1: clamp(1.8rem, 4vw, 2.8rem);
  --font-h2: clamp(1.3rem, 2.5vw, 1.8rem);
  --font-body-size: 1.15rem;
  --font-small: 0.875rem;
  --font-caption: 0.75rem;
  --font-light: 300;
  --font-regular: 400;
  --font-medium: 500;
  --font-leading-tight: 1.1;
  --font-leading-normal: 1.75;
  --font-tracking-tight: -0.03em;
  --space-section: clamp(5rem, 12vh, 10rem);
  --space-block: 4rem;
  --space-element: 2rem;
  --space-tight: 0.5rem;
  --space-xs: 0.25rem;
  --space-sm: 0.5rem;
  --space-md: 1rem;
  --space-lg: 2rem;
  --space-xl: 4rem;
  --effect-transition-fast: 0.15s ease;
  --effect-transition-base: 0.2s ease-out;
  --effect-transition-slow: 0.3s ease;
  --effect-shadow-sm: 0 1px 2px rgba(0,0,0,0.1);
  --effect-shadow-md: 0 4px 6px rgba(0,0,0,0.1);
  --effect-shadow-lg: 0 10px 15px rgba(0,0,0,0.1);
  --effect-shadow-brutal: 4px 4px 0px;
  --effect-blur-sm: 4px;
  --effect-blur-md: 8px;
  --effect-blur-lg: 16px;
  --effect-border-thin: 1px;
  --effect-border-medium: 2px;
  --effect-border-thick: 4px;
  --effect-border-brutal: 8px;
  --effect-z-base: 0;
  --effect-z-content: 10;
  --effect-z-nav: 50;
  --effect-z-modal: 100;
  --effect-z-toast: 200;
}
[data-theme='light']:root,
:root[data-theme='light'] {
  color-scheme: light;
  --color-background: #FBF9F4;
  --color-surface: #FFFFFF;
  --color-surface-2: #F6F8FA;
  --color-text: #1B2333;
  --color-heading: #0F1729;
  --color-muted: #5C6B83;
  --color-accent: #0F8F7E;
  --color-accent-dim: #5EEAD4;
  --color-border: #E2DDD0;
  --color-primary: #0F8F7E;
  --color-primary-dim: #5EEAD4;
  --color-secondary: #5C6B83;
  --color-success: #16a34a;
  --color-warning: #B5810C;
  --color-error: #DC2626;
  --color-code-bg: #F6F8FA;
  --color-code-border: #E2DDD0;
  --color-code-inline-bg: rgba(0,0,0,0.05);
  --color-code-inline-border: rgba(0,0,0,0.04);
  --color-scrollbar-thumb: rgba(0,0,0,0.15);
  --color-scrollbar-thumb-hover: rgba(0,0,0,0.25);
  --color-syntax-keyword: #CF222E;
  --color-syntax-string: #0A3069;
  --color-syntax-comment: #6E7781;
  --color-syntax-number: #0550AE;
  --color-syntax-function: #8250DF;
  --color-syntax-name: #1B2333;
  --color-syntax-builtin: #953800;
  --color-syntax-operator: #CF222E;
  --color-syntax-type: #953800;
  --color-syntax-variable: #0550AE;
  --color-syntax-punctuation: #1B2333;
  --color-syntax-error: #DC2626;
}

/* ═══ KLEISLI-BRAND-BASE ═══ */
body { background: var(--color-background); color: var(--color-text); }
::selection { background: rgba(94, 234, 212, 0.3); color: var(--color-heading); }
html { scroll-behavior: smooth; scroll-padding-top: 6.5rem; }
.code-surface { background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 2px; font-family: var(--font-mono); font-size: 0.9rem; line-height: 1.7; }
.accent-line { width: 40px; height: 2px; background: var(--color-accent); }
.hr-subtle { border: none; height: 1px; background: var(--color-border); margin: 0; }
.section-label { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.15em; text-transform: uppercase; color: var(--color-muted); }

/* ═══ BRAND-NAV ═══ */
.brand-nav { display: flex; justify-content: space-between; align-items: center; padding: 2rem 1.5rem; gap: 1.5rem; position: sticky; top: 0; left: 0; right: 0; z-index: 50; background-color: var(--color-background); }
@media (min-width: 768px) {
  .brand-nav { padding: 2rem 4rem; }
}
@media (min-width: 1024px) {
  .brand-nav { padding: 2rem 6rem; }
}
.brand-nav-mark { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.15em; text-transform: uppercase; color: var(--color-heading); transition: color 0.3s cubic-bezier(0.16,1,0.3,1); }
.brand-nav-mark:hover { color: var(--color-accent); }
.brand-nav-links { display: flex; align-items: center; gap: 2rem; }
.brand-nav-link { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.15em; text-transform: uppercase; color: var(--color-muted); transition: color 0.3s cubic-bezier(0.16,1,0.3,1); }
.brand-nav-link:hover { color: var(--color-accent); }
.brand-nav-link.active { color: var(--color-accent); }
.brand-nav-toggle { display: none; }
.brand-nav-toggle-bar { display: block; width: 18px; height: 1.5px; background: currentColor; border-radius: 1px; transition: transform 0.25s cubic-bezier(0.16,1,0.3,1), opacity 0.18s ease; }
.brand-nav-drawer { display: none; }
.brand-nav-drawer-backdrop { position: absolute; inset: 0; background: rgba(8,12,20,0.6); }
.brand-nav-drawer-panel { position: absolute; top: 0; right: 0; height: 100%; width: min(86vw, 320px); background: var(--color-background); border-left: 1px solid var(--color-border); box-shadow: -20px 0 60px rgba(0,0,0,0.35); display: flex; flex-direction: column; padding: 1.5rem 1.5rem 2rem; gap: 1.25rem; overflow-y: auto; }
.brand-nav-drawer-header { display: flex; align-items: center; justify-content: space-between; }
.brand-nav-drawer-title { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.12em; text-transform: uppercase; color: var(--color-muted); }
.brand-nav-drawer-close { background: transparent; border: none; padding: 0.5rem; margin: -0.5rem; line-height: 0; color: var(--color-text); cursor: pointer; border-radius: 4px; transition: color 0.2s ease, background 0.2s ease; }
.brand-nav-drawer-close:hover { color: var(--color-accent); }
.brand-nav-drawer-close:focus-visible { outline: 1px solid var(--color-accent); outline-offset: 2px; }
.brand-nav-drawer-links { display: flex; flex-direction: column; gap: 0; padding-top: 0.5rem; border-top: 1px solid var(--color-border); }
.brand-nav-drawer-link { font-family: var(--font-mono); font-size: 1rem; letter-spacing: 0.06em; color: var(--color-text); padding: 0.85rem 0; border-bottom: 1px solid var(--color-border); transition: color 0.2s cubic-bezier(0.16,1,0.3,1); }
.brand-nav-drawer-link:hover { color: var(--color-accent); }
.brand-nav-drawer-link.active { color: var(--color-accent); }
.brand-nav-drawer-cluster { display: flex; align-items: center; justify-content: space-between; gap: 0.75rem; padding-top: 0.75rem; }
.brand-nav-drawer-cluster-label { font-family: var(--font-mono); font-size: var(--font-caption); text-transform: uppercase; letter-spacing: 0.12em; color: var(--color-muted); }
.brand-nav-drawer-link--source { margin-top: auto; padding-top: 1rem; border-top: 1px solid var(--color-border); border-bottom: none; font-size: var(--font-caption); text-transform: uppercase; letter-spacing: 0.12em; color: var(--color-muted); }
@media (max-width: 767px) {
  .brand-nav { padding: 1.25rem 1.25rem; gap: 0.75rem; }
  .brand-nav .brand-nav-links { display: none; }
  .brand-nav .brand-nav-cluster { display: none; }
  .brand-nav .brand-nav-toggle { display: inline-flex; flex-direction: column; justify-content: center; align-items: center; gap: 5px; width: 44px; height: 44px; padding: 0; margin-left: auto; background: transparent; border: 1px solid var(--color-border); border-radius: 6px; color: var(--color-text); cursor: pointer; transition: border-color 0.2s ease, color 0.2s ease; }
  .brand-nav .brand-nav-toggle:hover { border-color: var(--color-accent); color: var(--color-accent); }
  .brand-nav .brand-nav-toggle:focus-visible { outline: 1px solid var(--color-accent); outline-offset: 2px; }
  .brand-nav .brand-nav-drawer { display: block; position: fixed; inset: 0; z-index: 100; opacity: 0; pointer-events: none; transition: opacity 0.22s ease; }
  .brand-nav .brand-nav-drawer-panel { transform: translateX(100%); transition: transform 0.32s cubic-bezier(0.16,1,0.3,1); will-change: transform; }
  .brand-nav.is-open .brand-nav-drawer { opacity: 1; pointer-events: auto; }
  .brand-nav.is-open .brand-nav-drawer-panel { transform: translateX(0); }
  .brand-nav.is-open .brand-nav-toggle-bar:nth-child(1) { transform: translateY(6.5px) rotate(45deg); }
  .brand-nav.is-open .brand-nav-toggle-bar:nth-child(2) { opacity: 0; }
  .brand-nav.is-open .brand-nav-toggle-bar:nth-child(3) { transform: translateY(-6.5px) rotate(-45deg); }
  body.kleisli-nav-drawer-open { overflow: hidden; }
}

/* ═══ BRAND-THEME-TOGGLE ═══ */
.brand-nav-cluster { display: flex; align-items: center; gap: 1.25rem; }
.theme-toggle { display: inline-flex; align-items: center; border: 1px solid var(--color-border); border-radius: 6px; padding: 2px; background: transparent; }
.theme-toggle-button { display: inline-flex; align-items: center; justify-content: center; width: 1.75rem; height: 1.5rem; padding: 0; background: transparent; border: none; border-radius: 4px; color: var(--color-muted); cursor: pointer; transition: color 0.2s cubic-bezier(0.16,1,0.3,1), background 0.2s cubic-bezier(0.16,1,0.3,1); }
.theme-toggle-button:hover { color: var(--color-text); }
.theme-toggle-button[aria-checked="true"] { color: var(--color-heading); background: var(--color-surface); }
.theme-toggle-button:focus-visible { outline: 1px solid var(--color-accent); outline-offset: 1px; }
.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; }

/* ═══ BRAND-FOOTER ═══ */
.brand-footer { display: flex; flex-direction: column; gap: 2rem; padding: 5rem 1.5rem 3rem; border-top: 1px solid var(--color-border); }
@media (min-width: 768px) {
  .brand-footer { flex-direction: row; justify-content: space-between; align-items: center; padding: 5rem 4rem 3rem; }
}
@media (min-width: 1024px) {
  .brand-footer { padding: 5rem 6rem 3rem; }
}
.brand-footer-identity { display: flex; align-items: center; gap: 0.75rem; }
.brand-footer-name { font-family: var(--font-mono); font-size: 1rem; color: var(--color-heading); letter-spacing: 0.05em; }
.brand-footer-logo { vertical-align: middle; }
.brand-footer-links { display: flex; flex-wrap: wrap; align-items: center; gap: 1rem 2.5rem; }
.brand-footer-link { font-family: var(--font-mono); font-size: var(--font-small); color: var(--color-muted); transition: color 0.3s cubic-bezier(0.16,1,0.3,1); }
.brand-footer-link:hover { color: var(--color-heading); }
.brand-footer-cluster { display: flex; flex-direction: column; gap: 0.75rem; align-items: flex-start; }
@media (min-width: 768px) {
  .brand-footer-cluster { align-items: flex-end; }
}
.brand-footer-ai { display: flex; flex-wrap: wrap; align-items: center; gap: 0.5rem; font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); opacity: 0.7; }
.brand-footer-ai-label { text-transform: uppercase; letter-spacing: 0.08em; }
.brand-footer-ai-link { color: var(--color-muted); text-decoration: underline; text-underline-offset: 2px; transition: color 0.3s cubic-bezier(0.16,1,0.3,1); }
.brand-footer-ai-link:hover { color: var(--color-heading); }
.brand-footer-ai-sep { opacity: 0.5; }
.brand-footer-ai-tools { opacity: 0.85; }

/* ═══ KLEISLI-CONTENT-PROSE ═══ */
.prose { overflow-wrap: break-word; }
.prose h2 { font-family: var(--font-heading); font-size: var(--font-h2); color: var(--color-heading); margin-top: 3rem; margin-bottom: 0.75rem; line-height: 1.3; letter-spacing: -0.015em; }
.prose h3 { font-family: var(--font-heading); font-size: 1.25rem; color: var(--color-heading); margin-top: 2rem; margin-bottom: 0.5rem; letter-spacing: -0.01em; }
.prose h4 { font-family: var(--font-heading); font-size: 1.125rem; color: var(--color-heading); font-weight: 600; margin-top: 1.5rem; margin-bottom: 0.5rem; }
.prose h5 { font-family: var(--font-heading); font-size: 1rem; color: var(--color-heading); font-weight: 600; text-transform: uppercase; letter-spacing: 0.04em; margin-top: 1.25rem; margin-bottom: 0.5rem; }
.prose h6 { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); text-transform: uppercase; letter-spacing: 0.05em; margin-top: 1.25rem; margin-bottom: 0.5rem; }
.prose h2 a.heading-anchor, .prose h3 a.heading-anchor { color: inherit; text-decoration: none; position: relative; }
.prose h2 a.heading-anchor::before, .prose h3 a.heading-anchor::before { content: '#'; position: absolute; left: -1.25rem; color: var(--color-accent-dim); opacity: 0; transition: opacity 0.15s; }
.prose h2:hover a.heading-anchor::before, .prose h3:hover a.heading-anchor::before { opacity: 0.7; }
.prose p { font-family: var(--font-body); font-size: var(--font-body-size); color: var(--color-text); line-height: 1.75; margin-bottom: 1.5rem; }
.prose a { color: var(--color-accent); text-decoration: none; transition: text-decoration-color 0.3s; }
.prose a:hover { text-decoration: underline; text-underline-offset: 3px; text-decoration-color: var(--color-accent-dim); }
.prose strong { color: var(--color-heading); font-weight: 600; }
.prose code { font-family: var(--font-mono); font-size: 0.875em; color: var(--color-text); background: var(--color-code-inline-bg); border: 1px solid var(--color-code-inline-border); padding: 0.15em 0.4em; border-radius: 4px; }
.prose .codeblock { background: var(--color-code-bg); border: 1px solid var(--color-code-border); border-radius: 8px; margin: 2rem 0; overflow: hidden; }
.prose .codeblock-toolbar { display: flex; align-items: center; justify-content: space-between; gap: 0.5rem; padding: 0.4rem 0.75rem; border-bottom: 1px solid var(--color-code-border); font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--color-muted); }
.prose .codeblock-lang { color: var(--color-muted); }
.prose .codeblock-actions { display: flex; gap: 0.5rem; opacity: 0; transition: opacity 0.2s; }
.prose .codeblock:hover .codeblock-actions { opacity: 1; }
.prose .codeblock:focus-within .codeblock-actions { opacity: 1; }
.prose .codeblock-action { font-family: var(--font-mono); font-size: 0.7rem; letter-spacing: 0.08em; text-transform: uppercase; color: var(--color-muted); background: transparent; border: 1px solid var(--color-code-border); border-radius: 2px; padding: 0.15rem 0.5rem; cursor: pointer; transition: color 0.2s, border-color 0.2s; }
.prose .codeblock-action:hover { color: var(--color-accent); border-color: var(--color-accent); }
.prose .codeblock pre { background: none; border: none; border-radius: 0; padding: 1.25rem 1.5rem; margin: 0; overflow-x: auto; line-height: 1.7; scrollbar-width: thin; scrollbar-color: var(--color-scrollbar-thumb) transparent; }
.prose .codeblock pre::-webkit-scrollbar { height: 6px; }
.prose .codeblock pre::-webkit-scrollbar-track { background: transparent; }
.prose .codeblock pre::-webkit-scrollbar-thumb { background: var(--color-scrollbar-thumb); border-radius: 3px; }
.prose .codeblock pre::-webkit-scrollbar-thumb:hover { background: var(--color-scrollbar-thumb-hover); }
.prose .codeblock pre code { background: none; padding: 0; color: var(--color-text); font-size: 0.875rem; border: none; border-radius: 0; }
.prose blockquote { border-left: 2px solid var(--color-accent); padding-left: 1.25rem; margin: 1.5rem 0; color: var(--color-muted); font-style: italic; }
.prose ul { list-style: disc; padding-left: 1.5rem; margin-bottom: 1.25rem; }
.prose ol { list-style: decimal; padding-left: 1.5rem; margin-bottom: 1.25rem; }
.prose li { font-family: var(--font-body); font-size: var(--font-body-size); color: var(--color-text); line-height: 1.75; margin-bottom: 0.5rem; }
.prose hr { border: none; height: 1px; background: var(--color-border); margin: 2rem 0; }
.prose img { max-width: 100%; height: auto; display: block; margin: 1.5rem auto; border-radius: 6px; }
.prose kbd { font-family: var(--font-mono); font-size: 0.85em; background: var(--color-code-inline-bg); border: 1px solid var(--color-code-inline-border); border-bottom-width: 2px; padding: 0.1em 0.4em; border-radius: 4px; color: var(--color-text); }
.prose mark { background: rgba(94,234,212,0.18); color: var(--color-text); padding: 0.05em 0.2em; border-radius: 2px; }
.prose figure:not(.codeblock) { margin: 1.5rem auto; text-align: center; }
.prose figure:not(.codeblock) img { margin: 0 auto; }
.prose figure:not(.codeblock) figcaption { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); margin-top: 0.5rem; line-height: 1.5; }
.prose .katex-display { overflow-x: auto; overflow-y: hidden; }
@media (max-width: 767px) {
  .prose :not(.katex-display) > .katex { display: inline-block; max-width: 100%; overflow-x: auto; overflow-y: hidden; vertical-align: middle; scrollbar-width: none; -ms-overflow-style: none; -webkit-overflow-scrolling: touch; }
  .prose :not(.katex-display) > .katex::-webkit-scrollbar { display: none; height: 0; }
}
.prose .task-list-item { list-style: none; margin-left: -1.5rem; padding-left: 0; }
.prose .task-list-item input[type=checkbox] { margin-right: 0.5em; vertical-align: baseline; accent-color: var(--color-accent); }
.prose .footnote-ref { font-size: 0.75em; vertical-align: super; line-height: 1; margin-left: 0.1em; }
.prose .footnote-ref a { text-decoration: none; color: var(--color-accent); }
.prose .footnote-ref a:hover { text-decoration: underline; }
.prose .footnotes { margin-top: 3rem; font-size: 0.9em; color: var(--color-muted); }
.prose .footnotes hr { margin-bottom: 1rem; }
.prose .footnotes ol { padding-left: 1.25rem; }
.prose .footnotes li { margin-bottom: 0.5rem; color: var(--color-muted); }
.prose .footnote-back { margin-left: 0.25em; text-decoration: none; color: var(--color-accent); }
.prose .footnote-back:hover { text-decoration: underline; }
.admonition { border-left: 3px solid var(--color-accent); background: var(--color-surface); padding: 1rem 1.25rem; margin: 1.5rem 0; border-radius: 0 6px 6px 0; }
.admonition-title { font-family: var(--font-mono); font-size: var(--font-small); color: var(--color-accent); font-weight: 600; margin-bottom: 0.5rem; text-transform: uppercase; letter-spacing: 0.04em; }
.admonition > p:last-child { margin-bottom: 0; }
.admonition-note { border-left-color: #3b82f6; }
.admonition-note .admonition-title { color: #3b82f6; }
.admonition-tip { border-left-color: #10b981; }
.admonition-tip .admonition-title { color: #10b981; }
.admonition-important { border-left-color: #8b5cf6; }
.admonition-important .admonition-title { color: #8b5cf6; }
.admonition-warning { border-left-color: #f59e0b; }
.admonition-warning .admonition-title { color: #f59e0b; }
.admonition-caution { border-left-color: #ef4444; }
.admonition-caution .admonition-title { color: #ef4444; }
.prose .codeblock .k { color: var(--color-syntax-keyword); }
.prose .codeblock .kc { color: var(--color-syntax-keyword); }
.prose .codeblock .kd { color: var(--color-syntax-keyword); }
.prose .codeblock .kn { color: var(--color-syntax-keyword); }
.prose .codeblock .kp { color: var(--color-syntax-keyword); }
.prose .codeblock .kr { color: var(--color-syntax-keyword); }
.prose .codeblock .kt { color: var(--color-syntax-type); }
.prose .codeblock .s { color: var(--color-syntax-string); }
.prose .codeblock .sa { color: var(--color-syntax-string); }
.prose .codeblock .sb { color: var(--color-syntax-string); }
.prose .codeblock .sc { color: var(--color-syntax-string); }
.prose .codeblock .s1 { color: var(--color-syntax-string); }
.prose .codeblock .s2 { color: var(--color-syntax-string); }
.prose .codeblock .sd { color: var(--color-syntax-string); }
.prose .codeblock .se { color: var(--color-syntax-string); }
.prose .codeblock .sh { color: var(--color-syntax-string); }
.prose .codeblock .si { color: var(--color-syntax-string); }
.prose .codeblock .sr { color: var(--color-syntax-string); }
.prose .codeblock .ss { color: var(--color-syntax-string); }
.prose .codeblock .sx { color: var(--color-syntax-string); }
.prose .codeblock .c { color: var(--color-syntax-comment); font-style: italic; }
.prose .codeblock .c1 { color: var(--color-syntax-comment); font-style: italic; }
.prose .codeblock .cm { color: var(--color-syntax-comment); font-style: italic; }
.prose .codeblock .cp { color: var(--color-syntax-comment); }
.prose .codeblock .cs { color: var(--color-syntax-comment); font-style: italic; }
.prose .codeblock .cpf { color: var(--color-syntax-comment); }
.prose .codeblock .m { color: var(--color-syntax-number); }
.prose .codeblock .mi { color: var(--color-syntax-number); }
.prose .codeblock .mf { color: var(--color-syntax-number); }
.prose .codeblock .mh { color: var(--color-syntax-number); }
.prose .codeblock .mo { color: var(--color-syntax-number); }
.prose .codeblock .mb { color: var(--color-syntax-number); }
.prose .codeblock .il { color: var(--color-syntax-number); }
.prose .codeblock .n { color: var(--color-syntax-name); }
.prose .codeblock .na { color: var(--color-syntax-variable); }
.prose .codeblock .nb { color: var(--color-syntax-builtin); }
.prose .codeblock .nc { color: var(--color-syntax-type); }
.prose .codeblock .nd { color: var(--color-syntax-function); }
.prose .codeblock .ne { color: var(--color-syntax-type); }
.prose .codeblock .nf { color: var(--color-syntax-function); }
.prose .codeblock .nl { color: var(--color-syntax-name); }
.prose .codeblock .nn { color: var(--color-syntax-type); }
.prose .codeblock .no { color: var(--color-syntax-variable); }
.prose .codeblock .nt { color: var(--color-syntax-keyword); }
.prose .codeblock .nv { color: var(--color-syntax-variable); }
.prose .codeblock .nx { color: var(--color-syntax-name); }
.prose .codeblock .py { color: var(--color-syntax-name); }
.prose .codeblock .o { color: var(--color-syntax-operator); }
.prose .codeblock .ow { color: var(--color-syntax-keyword); }
.prose .codeblock .p { color: var(--color-syntax-punctuation); }
.prose .codeblock .err { color: var(--color-syntax-error); }
.prose .codeblock .gh { color: var(--color-syntax-keyword); font-weight: 600; }
.prose .codeblock .gp { color: var(--color-syntax-comment); }
.prose .codeblock .gs { font-weight: 600; }
.prose .codeblock .ge { font-style: italic; }
.prose .codeblock .gi { color: var(--color-success); }
.prose .codeblock .gd { color: var(--color-error); }
.prose .codeblock .gr { color: var(--color-syntax-error); }
.prose .codeblock .gt { color: var(--color-syntax-error); }

/* ═══ KLEISLI-DOCS-PROSE ═══ */
body { --font-body: ui-sans-serif, system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif; --font-heading: ui-sans-serif, system-ui, -apple-system, 'Segoe UI', Roboto, sans-serif; --font-body-size: 1.0625rem; }
.prose { max-width: 45rem; }
.prose h1 { font-family: var(--font-heading); font-size: var(--font-h1); color: var(--color-heading); margin-top: 1rem; margin-bottom: 2rem; line-height: 1.2; letter-spacing: -0.015em; }
.prose table { display: block; overflow-x: auto; width: 100%; border-collapse: collapse; margin: 1.5rem 0; }
.prose th { font-family: var(--font-mono); font-size: var(--font-small); color: var(--color-heading); text-align: left; padding: 0.5rem 0.75rem; border-bottom: 2px solid var(--color-border); }
.prose td { font-family: var(--font-body); font-size: var(--font-body-size); color: var(--color-text); padding: 0.5rem 0.75rem; border-bottom: 1px solid var(--color-border); }
.prose tbody tr:nth-child(even) { background: var(--color-surface); }
.doc-advisories { display: flex; flex-direction: column; gap: 0.5rem; margin-top: 0.75rem; margin-bottom: 1.5rem; }
.doc-advisories > div { margin-top: 0; margin-bottom: 0; }
.doc-unstable-banner { background: rgba(212,160,23,0.06); border-left: 3px solid #d4a017; border-radius: 6px; padding: 0.75rem 1rem; }
.doc-unstable-banner-label { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.05em; text-transform: uppercase; color: #d4a017; margin-bottom: 0.25rem; }
.doc-unstable-banner-text { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-text); line-height: 1.5; }
.ref-banner { background: var(--color-surface); border-left: 3px solid var(--color-accent-dim); border-radius: 6px; padding: 0.75rem 1rem; }
.ref-banner-label { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.05em; text-transform: uppercase; color: var(--color-accent-dim); margin-bottom: 0.25rem; }
.ref-banner-text { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); line-height: 1.5; }
.ref-banner-source { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); margin-top: 0.5rem; opacity: 0.6; }
.sidebar { width: 260px; flex-shrink: 0; max-height: calc(100vh - 4rem); overflow-y: auto; border-right: 1px solid var(--color-border); scrollbar-width: thin; scrollbar-color: var(--color-border) transparent; }
.sidebar-header { border-bottom: 1px solid var(--color-border); }
.sidebar-header-link { font-family: var(--font-mono); font-size: var(--font-small); color: var(--color-heading); text-decoration: none; font-weight: 600; }
.sidebar-header-desc { font-family: var(--font-body); font-size: var(--font-caption); color: var(--color-muted); margin-top: 0.25rem; line-height: 1.4; }
.sidebar-section-title { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); margin-bottom: 0.375rem; text-decoration: none; }
.sidebar-section-title.active { color: var(--color-accent); }
.sidebar-group { margin-bottom: 1.25rem; }
.sidebar-group-title { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-heading); margin-bottom: 0.75rem; }
.sidebar-group .sidebar-section-title { padding-left: 0.5rem; }
.sidebar-link { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); text-decoration: none; border-left: 2px solid transparent; padding-left: 0.5rem; transition: color 0.2s, border-color 0.2s, background 0.2s; }
.sidebar-link:hover { color: var(--color-text); background: rgba(94,234,212,0.04); }
.sidebar-link.active { color: var(--color-heading); font-weight: 500; border-left-color: var(--color-accent); }
.sidebar-link-depth-1 { padding-left: 1.25rem; }
.sidebar-link-depth-2 { padding-left: 2rem; }
.sidebar-link-depth-3 { padding-left: 2.75rem; }
.sidebar-link-depth-4 { padding-left: 3.5rem; }
.sidebar-link-depth-5 { padding-left: 4.25rem; }
.sidebar-link-unstable { font-style: italic; opacity: 0.75; }
.sidebar-link-prefix { display: block; font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); opacity: 0.7; padding-left: 0.5rem; padding-top: 0.125rem; padding-bottom: 0.125rem; }
.sidebar-link-prefix.sidebar-link-depth-1 { padding-left: 1.25rem; }
.sidebar-link-prefix.sidebar-link-depth-2 { padding-left: 2rem; }
.sidebar-link-prefix.sidebar-link-depth-3 { padding-left: 2.75rem; }
.sidebar-link-prefix.sidebar-link-depth-4 { padding-left: 3.5rem; }
.sidebar-link-prefix.sidebar-link-depth-5 { padding-left: 4.25rem; }
.sidebar-full-page { margin-bottom: 1rem; padding-bottom: 0.75rem; border-bottom: 1px solid var(--color-border); }
.sidebar-full-page-link { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); text-decoration: none; transition: color 0.2s; }
.sidebar-full-page-link:hover { color: var(--color-accent); }
.sidebar-ref-divider { margin-top: 0.5rem; margin-bottom: 1rem; padding-top: 0.75rem; border-top: 1px solid var(--color-border); }
.sidebar-ref-label { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); opacity: 0.6; }
.breadcrumbs { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); }
.breadcrumb-link { color: var(--color-muted); text-decoration: none; transition: color 0.2s; }
.breadcrumb-link:hover { color: var(--color-accent); }
.breadcrumb-sep { opacity: 0.5; }
.breadcrumb-current { color: var(--color-text); }
.breadcrumb-prefix { color: var(--color-muted); opacity: 0.7; }
.toc-title { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); margin-bottom: 0.75rem; }
.toc-border { border-left: 1px solid var(--color-border); padding-left: 0.75rem; }
.toc-link { font-family: var(--font-body); font-size: var(--font-caption); color: var(--color-muted); text-decoration: none; border-left: 2px solid transparent; margin-left: -0.75rem; padding-left: calc(0.75rem - 2px); transition: color 0.15s, border-color 0.15s; }
.toc-link:hover { color: var(--color-text); }
.toc-link.active { color: var(--color-accent); border-left-color: var(--color-accent); }
.toc-link-indent { padding-left: 0.75rem; }
.toc-scroll { max-height: calc(100vh - 4rem); overflow-y: auto; scrollbar-width: thin; scrollbar-color: var(--color-border) transparent; }
.toc-extra-divider { border-top: 1px solid var(--color-border); }
.prev-next { border-top: 1px solid var(--color-border); }
.prev-next-link { display: flex; flex-direction: column; gap: 0.125rem; font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); text-decoration: none; transition: color 0.2s; }
.prev-next-link:hover { color: var(--color-accent); }
.prev-next-next { align-items: flex-end; text-align: right; }
.prev-next-label { font-family: var(--font-mono); font-size: var(--font-caption); opacity: 0.6; }
.page-title { font-family: var(--font-heading); font-size: var(--font-h1); color: var(--color-heading); }
.page-desc { font-family: var(--font-body); font-size: var(--font-body-size); color: var(--color-muted); line-height: 1.8; }
.doc-title { font-family: var(--font-heading); font-size: var(--font-h1); color: var(--color-heading); margin-top: 1rem; margin-bottom: 2rem; line-height: 1.2; }
.docs-hub-header { display: flex; justify-content: space-between; align-items: flex-start; gap: 2rem; flex-wrap: wrap; }
.docs-hub-eyebrow { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.08em; text-transform: uppercase; color: var(--color-muted); margin-bottom: 0.5rem; }
.docs-hub-heading { font-family: var(--font-heading); font-size: var(--font-h2); color: var(--color-heading); line-height: 1.3; margin: 0; }
.docs-hub-search { flex-shrink: 0; width: 16rem; }
.docs-mobile-nav { background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 6px; margin: 0 1.5rem 1rem; }
.docs-mobile-nav-toggle { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); cursor: pointer; padding: 0.75rem 1rem; list-style: none; }
.docs-mobile-nav-toggle::-webkit-details-marker { display: none; }
.docs-mobile-nav-body { padding: 0 1rem 1rem; max-height: 60vh; overflow-y: auto; }
.project-grid { display: grid; gap: 1.5rem; grid-template-columns: repeat(auto-fit, minmax(16rem, 1fr)); }
.project-card { background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 6px; text-decoration: none; transition: border-color 0.3s; }
.project-card:hover { border-color: var(--color-accent); }
.project-card-title { font-family: var(--font-mono); font-size: 1rem; color: var(--color-heading); font-weight: 600; margin-bottom: 0.5rem; }
.project-card-desc { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); line-height: 1.6; }
.project-card-sections { display: flex; flex-wrap: wrap; gap: 0.25rem 0.75rem; }
.project-card-section-link { font-family: var(--font-body); font-size: var(--font-caption); color: var(--color-accent-dim); }
.section-card { background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 6px; }
.section-card-title { font-family: var(--font-mono); font-size: var(--font-caption); letter-spacing: 0.1em; text-transform: uppercase; color: var(--color-accent); margin-bottom: 0.75rem; display: block; text-decoration: none; }
.section-card-subsection { padding-left: 0.75rem; border-left: 1px solid var(--color-border); }
.section-card-subtitle { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-heading); font-weight: 600; text-decoration: none; display: block; margin-bottom: 0.35rem; }
.section-card-subtitle:hover { color: var(--color-accent); }
.section-card-link { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); text-decoration: none; transition: color 0.2s; }
.section-card-link:hover { color: var(--color-accent); }
.search-input { width: 100%; background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 6px; padding: 0.5rem 0.75rem; font-family: var(--font-body); font-size: var(--font-small); color: var(--color-text); outline: none; transition: border-color 0.2s; }
.search-input::placeholder { color: var(--color-muted); opacity: 0.6; }
.search-input:focus { border-color: var(--color-accent); }
.search-page-input { width: 100%; background: var(--color-surface); border: 1px solid var(--color-border); border-radius: 6px; padding: 0.75rem 1rem; font-family: var(--font-body); font-size: 1rem; color: var(--color-text); outline: none; transition: border-color 0.2s; }
.search-page-input:focus { border-color: var(--color-accent); }
.search-page-input::placeholder { color: var(--color-muted); opacity: 0.6; }
.search-meta { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); }
.search-result-card { display: block; text-decoration: none; padding: 1rem 1.25rem; border-bottom: 1px solid var(--color-border); transition: background 0.15s; }
.search-result-card:hover { background: var(--color-surface); }
.search-result-title { font-family: var(--font-body); font-size: 1rem; color: var(--color-heading); font-weight: 500; }
.search-result-path { font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); margin-top: 0.125rem; }
.search-result-excerpt { font-family: var(--font-body); font-size: var(--font-small); color: var(--color-muted); line-height: 1.6; margin-top: 0.375rem; }
.search-result-excerpt mark { background: var(--color-accent); color: var(--color-bg); padding: 0.05em 0.2em; border-radius: 1px; }
.search-empty { font-family: var(--font-body); font-size: var(--font-body-size); color: var(--color-muted); margin-top: 2rem; }
.copy-btn { display: inline-flex; align-items: center; gap: 0.375rem; padding: 0.25rem 0; background: none; border: none; font-family: var(--font-mono); font-size: var(--font-caption); color: var(--color-muted); cursor: pointer; transition: color 0.15s; }
.copy-btn:hover { color: var(--color-accent); }