:root {
  --bg: #fbfbf7;
  --paper: #fffef9;
  --ink: #1f2528;
  --muted: #6b7377;
  --line: #dde3e4;
  --accent: #6dd8dd;
  --accent-2: #bad6e6;
  --accent-3: #d4d5e9;
  --accent-4: #eed4ec;
  --max: 920px;
}
* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body {
  margin: 0;
  background: var(--bg);
  color: var(--ink);
  font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
  line-height: 1.72;
}
a { color: inherit; text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { color: #0d6f74; }
.site-header {
  position: sticky;
  top: 0;
  z-index: 20;
  background: rgba(251,251,247,.94);
  backdrop-filter: blur(10px);
  border-bottom: 1px solid var(--line);
}
.nav {
  max-width: 1180px;
  margin: 0 auto;
  padding: 14px 22px;
  display: flex;
  align-items: center;
  gap: 24px;
}
.brand { font-weight: 700; letter-spacing: .12em; text-decoration: none; font-size: .9rem; }
.nav-links { margin-left: auto; display: flex; gap: 20px; flex-wrap: wrap; font-size: .92rem; }
.nav-links a { text-decoration: none; color: var(--muted); }
.nav-links a:hover { color: var(--ink); }
main { max-width: var(--max); margin: 0 auto; padding: 72px 24px 88px; }
.hero { padding: 72px 0 48px; }
.kicker { text-transform: uppercase; letter-spacing: .14em; color: var(--muted); font-size: .78rem; font-weight: 700; }
h1, h2, h3 { font-family: Georgia, "Times New Roman", serif; font-weight: 500; line-height: 1.12; }
h1 { font-size: clamp(3rem, 8vw, 6.4rem); margin: 16px 0 20px; letter-spacing: -.035em; }
h2 { font-size: clamp(2rem, 4vw, 3.25rem); margin-top: 56px; }
h3 { font-size: 1.45rem; margin-top: 32px; }
.lede { font-size: clamp(1.2rem, 2.2vw, 1.6rem); max-width: 760px; color: #394247; }
.meta { color: var(--muted); margin-top: 18px; font-size: .95rem; }
.actions { display: flex; gap: 14px; flex-wrap: wrap; margin: 30px 0 8px; }
.button { display: inline-block; padding: 11px 16px; border: 1px solid var(--ink); text-decoration: none; border-radius: 999px; }
.button.primary { background: var(--ink); color: white; }
.rule { height: 1px; background: var(--line); margin: 44px 0; }
.statement { font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.9rem, 4vw, 3.4rem); line-height: 1.2; margin: 56px 0; }
.index { list-style: none; padding: 0; margin: 24px 0 0; }
.index li { border-top: 1px solid var(--line); }
.index li:last-child { border-bottom: 1px solid var(--line); }
.index a { display: grid; grid-template-columns: 48px 1fr auto; gap: 16px; padding: 18px 0; text-decoration: none; align-items: baseline; }
.index .num { color: var(--muted); font-variant-numeric: tabular-nums; }
.index .title { font-family: Georgia, "Times New Roman", serif; font-size: 1.22rem; }
.index .arrow { color: var(--muted); }
.note { border-left: 4px solid var(--accent); padding: 18px 22px; background: var(--paper); margin: 36px 0; }
.chapter-header { padding-top: 32px; }
.chapter-title { font-size: clamp(2.6rem, 6vw, 5rem); margin-bottom: 16px; }
.chapter-nav { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-top: 72px; padding-top: 28px; border-top: 1px solid var(--line); }
.chapter-nav a { text-decoration: none; padding: 16px 0; }
.chapter-nav .next { text-align: right; }
.placeholder { color: var(--muted); font-style: italic; padding: 22px 0; }
footer { border-top: 1px solid var(--line); color: var(--muted); }
footer .inner { max-width: 1180px; margin: 0 auto; padding: 26px 22px 48px; display: flex; gap: 20px; justify-content: space-between; flex-wrap: wrap; }

/* Long-form paper prose */
.prose { max-width: 790px; }
.prose p { margin: 0 0 1.35em; font-size: 1.06rem; }
.prose .opening { font-family: Georgia, "Times New Roman", serif; font-size: clamp(1.55rem, 3vw, 2.15rem); line-height: 1.38; margin: 4px 0 42px; }
.prose h2 { font-size: clamp(1.8rem, 3.4vw, 2.55rem); margin: 58px 0 22px; }
.prose ol, .prose ul { padding-left: 1.45rem; margin: 0 0 1.6rem; }
.prose li { padding-left: .25rem; margin-bottom: .6rem; }
.prose blockquote { margin: 34px 0; padding: 2px 0 2px 24px; border-left: 3px solid var(--accent-2); font-family: Georgia, "Times New Roman", serif; font-size: 1.2rem; color: #394247; }
.table-wrap { overflow-x: auto; margin: 30px 0 36px; border: 1px solid var(--line); background: var(--paper); }
.authority-grid { width: 100%; min-width: 760px; border-collapse: collapse; font-size: .88rem; line-height: 1.45; }
.authority-grid th, .authority-grid td { padding: 12px 14px; text-align: left; vertical-align: top; border-right: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.authority-grid tr > *:last-child { border-right: 0; }
.authority-grid tbody tr:last-child > * { border-bottom: 0; }
.authority-grid thead th { background: rgba(186,214,230,.24); font-weight: 700; }
.authority-grid tbody th { background: rgba(251,251,247,.72); font-weight: 700; width: 145px; }
.authority-grid td:empty { background: rgba(221,227,228,.18); }
.references { margin-top: 72px; padding-top: 8px; border-top: 1px solid var(--line); }
.references h2 { font-size: 1.55rem; margin-top: 34px; }
.references ol { color: #4e585d; font-size: .9rem; line-height: 1.6; }
.references li { margin-bottom: .8rem; }
.references a { overflow-wrap: anywhere; }

@media (max-width: 720px) {
  .nav { align-items: flex-start; }
  .nav-links { gap: 12px; }
  main { padding-top: 42px; }
  .index a { grid-template-columns: 36px 1fr 20px; }
  .chapter-nav { grid-template-columns: 1fr; }
  .chapter-nav .next { text-align: left; }
  .prose p { font-size: 1rem; }
}

/* Persistent paper navigation */
.paper-topbar {
  position: sticky;
  top: 0;
  z-index: 40;
  background: rgba(251,251,247,.96);
  backdrop-filter: blur(12px);
  border-bottom: 1px solid var(--line);
}
.paper-topbar .paper-bar-inner {
  max-width: 1180px;
  margin: 0 auto;
  padding: 10px 22px;
  display: grid;
  grid-template-columns: auto minmax(0,1fr) auto;
  align-items: center;
  gap: 18px;
}
.paper-brand { display:flex; align-items:baseline; gap:10px; min-width:0; }
.paper-brand .brand { flex:0 0 auto; }
.paper-title-mini { color: var(--muted); font-size:.86rem; white-space:nowrap; overflow:hidden; text-overflow:ellipsis; }
.paper-position { color: var(--muted); font-size:.82rem; white-space:nowrap; font-variant-numeric: tabular-nums; }
.contents-toggle { border:0; background:transparent; padding:4px 0; font:inherit; color:var(--ink); cursor:pointer; text-decoration: underline; text-decoration-thickness:1px; text-underline-offset:3px; }
.paper-index-strip { border-top:1px solid rgba(221,227,228,.72); overflow-x:auto; scrollbar-width:none; }
.paper-index-strip::-webkit-scrollbar { display:none; }
.paper-index-strip .strip-inner { max-width:1180px; margin:0 auto; padding:0 22px; display:flex; align-items:stretch; min-width:max-content; }
.paper-index-strip a { text-decoration:none; color:var(--muted); font-size:.78rem; padding:9px 10px 8px; border-bottom:2px solid transparent; white-space:nowrap; }
.paper-index-strip a:first-child { padding-left:0; }
.paper-index-strip a:hover { color:var(--ink); }
.paper-index-strip a.active { color:var(--ink); border-bottom-color:var(--ink); }
.paper-index-overlay { display:none; position:fixed; inset:0; z-index:60; background:rgba(31,37,40,.34); padding:74px 18px 18px; }
.paper-index-overlay.open { display:block; }
.paper-index-panel { max-width:760px; margin:0 auto; background:var(--paper); border:1px solid var(--line); border-radius:18px; box-shadow:0 22px 60px rgba(31,37,40,.16); padding:24px; max-height:calc(100vh - 100px); overflow:auto; }
.paper-index-panel .panel-head { display:flex; justify-content:space-between; align-items:center; gap:16px; margin-bottom:8px; }
.paper-index-panel .panel-head h2 { margin:0; font-size:1.7rem; }
.paper-index-panel .close-index { border:0; background:transparent; font-size:1.6rem; line-height:1; cursor:pointer; color:var(--muted); }
.paper-index-panel .index a { grid-template-columns:42px 1fr auto; padding:14px 0; }
.paper-index-panel .index .title { font-size:1.08rem; }
.paper-index-panel .index a.active .title,
.paper-index-panel .index a.active .num { color:var(--ink); font-weight:700; }
body.paper-page main { padding-top:48px; }

@media (max-width: 720px) {
  .paper-topbar .paper-bar-inner { grid-template-columns:auto 1fr auto; gap:12px; padding:10px 16px; }
  .paper-title-mini { display:none; }
  .paper-position { font-size:.76rem; }
  .paper-index-strip { display:none; }
  .paper-index-overlay { padding-top:58px; }
  .paper-index-panel { border-radius:14px; padding:18px; }
}