:root {
  --paper: #f7f8fb;
  --surface: #ffffff;
  --ink: #0b132b;
  --ink-soft: #4a5672;
  --line: #cbd3e6;
  --blue: #2563ff;
  --blue-pale: #e8efff;
  --navy: #0b132b;
  --serif: Georgia, "Times New Roman", serif;
  --sans: Inter, "Avenir Next", ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 104px; }
body {
  margin: 0;
  color: var(--ink);
  background: var(--paper);
  font-family: var(--sans);
  font-size: 16px;
  line-height: 1.65;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}
a { color: inherit; text-underline-offset: .2em; }
:focus-visible { outline: 3px solid var(--blue); outline-offset: 4px; }
.skip-link { position: fixed; z-index: 100; top: 10px; left: 10px; padding: 10px 14px; color: white; background: var(--navy); transform: translateY(-160%); }
.skip-link:focus { transform: none; }

.paper-header { position: sticky; z-index: 20; top: 0; border-bottom: 1px solid var(--line); background: rgba(247, 248, 251, .96); backdrop-filter: blur(12px); }
.paper-header-inner { width: min(1380px, calc(100% - 48px)); min-height: 76px; margin: 0 auto; display: flex; align-items: center; justify-content: space-between; gap: 24px; }
.paper-brand { display: flex; min-width: 0; align-items: center; gap: 12px; text-decoration: none; }
.paper-brand-image { display: block; flex: 0 0 146px; width: 146px; height: 38px; overflow: hidden; background: white; }
.paper-brand-image img { display: block; width: 100%; height: 100%; object-fit: cover; object-position: center; }
.paper-brand-copy { display: grid; line-height: 1.2; }
.paper-brand-copy strong { font-size: 13px; letter-spacing: .04em; text-transform: uppercase; }
.paper-brand-copy span { color: var(--ink-soft); font-family: var(--mono); font-size: 10px; letter-spacing: .06em; text-transform: uppercase; }
.paper-nav { display: flex; flex: 0 0 auto; align-items: center; gap: 10px; }
.paper-nav a { padding: 9px 13px; font-size: 12px; font-weight: 750; text-decoration: none; }
.paper-nav-primary { color: white; background: var(--navy); border: 1px solid var(--navy); }

.publication-strip { color: white; background: var(--navy); border-bottom: 1px solid #050a19; }
.publication-strip > div { width: min(1380px, calc(100% - 48px)); min-height: 44px; margin: 0 auto; display: flex; align-items: center; gap: 18px; }
.publication-strip strong { color: #9db8ff; font-family: var(--mono); font-size: 11px; letter-spacing: .08em; text-transform: uppercase; }
.publication-strip span { font-size: 12px; }
.publication-strip code { overflow: hidden; margin-left: auto; color: #cbd6f2; font-family: var(--mono); font-size: 10px; text-overflow: ellipsis; white-space: nowrap; }

.paper-layout { width: min(1380px, calc(100% - 48px)); margin: 0 auto; display: grid; grid-template-columns: 270px minmax(0, 850px); justify-content: center; gap: clamp(52px, 7vw, 104px); }
.paper-sidebar { position: sticky; top: 120px; align-self: start; max-height: calc(100vh - 142px); overflow: auto; padding: 52px 0; scrollbar-width: thin; }
.sidebar-label { margin: 0 0 14px; color: var(--blue); font-family: var(--mono); font-size: 11px; font-weight: 700; letter-spacing: .1em; text-transform: uppercase; }
.desktop-toc { border-top: 1px solid var(--ink); border-bottom: 1px solid var(--line); }
.mobile-toc { display: none; }
.paper-sidebar .toc { padding: 16px 0 20px; }
.paper-sidebar .toc > ul { margin: 0; padding: 0; list-style: none; }
.paper-sidebar .toc > ul > li > a { display: none; }
.paper-sidebar .toc > ul > li > ul { margin: 0; padding: 0; list-style: none; }
.paper-sidebar .toc li { margin: 0; }
.paper-sidebar .toc a { display: block; padding: 5px 8px 5px 0; color: var(--ink-soft); font-size: 11px; line-height: 1.35; text-decoration: none; }
.paper-sidebar .toc a:hover { color: var(--blue); }
.source-record { display: grid; gap: 7px; margin-top: 26px; padding: 16px; color: white; background: var(--navy); }
.source-record span { color: #9db8ff; font-family: var(--mono); font-size: 10px; letter-spacing: .08em; text-transform: uppercase; }
.source-record code { overflow: hidden; color: #d7def0; font-family: var(--mono); font-size: 10px; text-overflow: ellipsis; white-space: nowrap; }
.source-record a { margin-top: 8px; font-size: 11px; font-weight: 750; }

.paper-main { min-width: 0; padding: 52px 0 100px; }
.paper-kicker { display: flex; justify-content: space-between; gap: 16px; margin-bottom: 26px; padding-bottom: 12px; border-bottom: 1px solid var(--ink); color: var(--ink-soft); font-family: var(--mono); font-size: 10px; letter-spacing: .07em; text-transform: uppercase; }
.paper-content { padding: clamp(32px, 6vw, 76px); border: 1px solid var(--line); background: var(--surface); box-shadow: 0 22px 70px rgba(11, 19, 43, .08); }
.paper-content > :first-child { margin-top: 0; }
.paper-content h1, .paper-content h2, .paper-content h3 { color: var(--ink); font-family: var(--serif); text-wrap: balance; }
.paper-content h1 { margin: 0 0 18px; font-size: clamp(42px, 6.2vw, 72px); font-weight: 500; letter-spacing: -.045em; line-height: .98; }
.paper-content h1 + p { margin-bottom: 64px; color: var(--blue); font-family: var(--mono); font-size: 12px; font-weight: 700; letter-spacing: .07em; text-transform: uppercase; }
.paper-content h2 { margin: 72px 0 24px; padding-top: 20px; border-top: 1px solid var(--ink); font-size: clamp(29px, 4vw, 42px); font-weight: 500; letter-spacing: -.025em; line-height: 1.08; }
.paper-content h3 { margin: 48px 0 16px; font-size: 26px; font-weight: 500; line-height: 1.18; }
.paper-content p, .paper-content li { font-family: var(--serif); font-size: 18px; line-height: 1.75; }
.paper-content p { margin: 0 0 22px; }
.paper-content ol, .paper-content ul { padding-left: 1.45em; }
.paper-content li { padding-left: .25em; margin-bottom: 8px; }
.paper-content code { padding: .08em .3em; color: #15275c; background: var(--blue-pale); font-family: var(--mono); font-size: .82em; }
.paper-content pre { overflow-x: auto; margin: 28px 0; padding: 20px; color: #edf2ff; background: var(--navy); border-left: 4px solid var(--blue); }
.paper-content pre code { padding: 0; color: inherit; background: transparent; font-size: 13px; }
.paper-content blockquote { margin: 28px 0; padding: 3px 0 3px 22px; color: var(--ink-soft); border-left: 3px solid var(--blue); }
.paper-content table { width: 100%; overflow: hidden; margin: 28px 0; border-collapse: collapse; font-size: 14px; }
.paper-content th, .paper-content td { padding: 10px; border: 1px solid var(--line); text-align: left; vertical-align: top; }
.paper-content th { background: var(--blue-pale); }
.heading-anchor { margin-left: .3em; color: var(--blue); font-family: var(--sans); font-size: .55em; text-decoration: none; opacity: 0; }
.paper-content h2:hover .heading-anchor, .paper-content h2:focus-within .heading-anchor { opacity: 1; }
.paper-content a { overflow-wrap: anywhere; }

.paper-footer { margin-top: 28px; padding: 24px; color: white; background: var(--navy); }
.paper-footer p { max-width: 700px; margin: 0; color: #d7def0; font-size: 13px; }
.paper-footer div { display: flex; flex-wrap: wrap; gap: 18px; margin-top: 18px; }
.paper-footer a { color: white; font-size: 12px; font-weight: 750; }

@media (max-width: 980px) {
  .paper-layout { grid-template-columns: minmax(0, 850px); gap: 0; }
  .paper-sidebar { position: static; max-height: none; padding: 34px 0 0; }
  .sidebar-label { display: none; }
  .desktop-toc { display: none; }
  .mobile-toc { display: block; border: 1px solid var(--line); background: white; }
  .mobile-toc summary { position: relative; display: block; padding: 14px 42px 14px 16px; cursor: pointer; font-family: var(--mono); font-size: 11px; font-weight: 700; letter-spacing: .07em; list-style: none; text-transform: uppercase; }
  .mobile-toc summary::-webkit-details-marker { display: none; }
  .mobile-toc summary::after { position: absolute; right: 16px; content: "+"; color: var(--blue); font-size: 18px; }
  .mobile-toc[open] summary::after { content: "−"; }
  .paper-sidebar .toc { padding: 0 16px 16px; }
  .source-record { display: none; }
  .paper-main { padding-top: 24px; }
}

@media (max-width: 640px) {
  html { scroll-padding-top: 16px; }
  .paper-header { position: static; }
  .paper-header-inner, .publication-strip > div, .paper-layout { width: calc(100% - 28px); }
  .paper-header-inner { min-height: 66px; }
  .paper-brand-image { flex-basis: 118px; width: 118px; height: 31px; }
  .paper-brand-copy { display: none; }
  .paper-nav a { padding: 8px 10px; }
  .paper-nav a:first-child { display: none; }
  .publication-strip > div { min-height: 58px; display: grid; align-content: center; gap: 1px; }
  .publication-strip span { font-size: 11px; }
  .publication-strip code { width: 100%; margin: 2px 0 0; }
  .paper-kicker { display: grid; }
  .paper-content { padding: 30px 22px; }
  .paper-content h1 { font-size: clamp(34px, 10vw, 46px); }
  .paper-content h1 + p { margin-bottom: 48px; }
  .paper-content h2 { margin-top: 58px; font-size: 31px; }
  .paper-content p, .paper-content li { font-size: 17px; line-height: 1.68; }
}

@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; } }
@media print {
  .paper-header, .publication-strip, .paper-sidebar, .paper-kicker, .paper-footer { display: none; }
  body, .paper-content { background: white; }
  .paper-layout { display: block; width: auto; }
  .paper-main { padding: 0; }
  .paper-content { padding: 0; border: 0; box-shadow: none; }
}