:root {
  --paper: #fbfaf6;
  --ink: #172027;
  --muted: #60717a;
  --line: #d5dedf;
  --accent: #087f91;
  --accent-dark: #075564;
  --warning: #8a5a12;
  --shell: #071018;
  --sans: "Space Grotesk", Inter, ui-sans-serif, system-ui, sans-serif;
  --serif: Georgia, "Times New Roman", serif;
  --mono: "DM Mono", Consolas, monospace;
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; background: var(--shell); }
body { margin: 0; background: linear-gradient(180deg, var(--shell) 0 430px, #e9eeee 430px); color: var(--ink); font-family: var(--serif); line-height: 1.68; }
a { color: var(--accent-dark); text-underline-offset: 0.16em; }
a:hover { color: var(--accent); }
.paper-shell { width: min(980px, calc(100% - 2rem)); margin: 0 auto; padding: 2rem 0 5rem; }
.paper-nav { display: flex; align-items: center; justify-content: space-between; gap: 1rem; margin-bottom: 2rem; color: #bdd0d6; font-family: var(--mono); font-size: 0.68rem; letter-spacing: 0.05em; text-transform: uppercase; }
.paper-nav a { color: inherit; text-decoration: none; }
.paper-nav a:hover { color: #79e6f1; }
.paper-actions { display: flex; flex-wrap: wrap; gap: 0.55rem; }
.paper-action { display: inline-flex; min-height: 38px; align-items: center; padding: 0.45rem 0.7rem; border: 1px solid rgba(189, 208, 214, 0.32); border-radius: 2px; }
.paper-action--primary { border-color: #6fe5f2; background: #6fe5f2; color: #071018 !important; }
.paper { background: var(--paper); box-shadow: 0 32px 90px rgba(0, 0, 0, 0.34); }
.paper-header { padding: clamp(2rem, 6vw, 5rem) clamp(1.5rem, 7vw, 6.5rem) 2.5rem; border-bottom: 1px solid var(--line); }
.paper-status { display: flex; flex-wrap: wrap; gap: 0.5rem; margin-bottom: 1.4rem; font-family: var(--mono); font-size: 0.62rem; letter-spacing: 0.07em; text-transform: uppercase; }
.paper-status span { padding: 0.28rem 0.44rem; border: 1px solid currentColor; color: var(--warning); }
.paper-status span:first-child { color: var(--accent); }
.paper-header h1 { max-width: 760px; margin: 0; color: #10191f; font-family: var(--sans); font-size: clamp(2.2rem, 6vw, 4.7rem); font-weight: 600; letter-spacing: -0.06em; line-height: 0.99; }
.paper-byline { margin: 1.6rem 0 0; color: var(--muted); font-family: var(--sans); font-size: 0.87rem; line-height: 1.6; }
.paper-byline strong { color: var(--ink); font-weight: 600; }
.paper-meta { display: flex; flex-wrap: wrap; gap: 0.7rem 1.25rem; margin-top: 1.3rem; color: var(--muted); font-family: var(--mono); font-size: 0.63rem; text-transform: uppercase; }
.paper-boundary { margin-top: 1.6rem; padding: 1rem 1.15rem; border-left: 3px solid var(--warning); background: #f5eee0; color: #614317; font-family: var(--sans); font-size: 0.82rem; line-height: 1.55; }
.paper-body { padding: 3rem clamp(1.5rem, 7vw, 6.5rem) 5rem; }
.paper-body > :first-child { margin-top: 0; }
.paper-body h1 { display: none; }
.paper-body h2 { margin: 3.2rem 0 1rem; padding-top: 1.2rem; border-top: 1px solid var(--line); color: #10191f; font-family: var(--sans); font-size: 1.65rem; font-weight: 600; letter-spacing: -0.035em; line-height: 1.18; }
.paper-body h3 { margin: 2rem 0 0.65rem; color: #182831; font-family: var(--sans); font-size: 1.13rem; font-weight: 600; line-height: 1.3; }
.paper-body p { margin: 0 0 1.15rem; }
.paper-body a { overflow-wrap: anywhere; }
.paper-body ul, .paper-body ol { margin: 0 0 1.25rem; padding-left: 1.5rem; }
.paper-body li + li { margin-top: 0.4rem; }
.paper-body blockquote { margin: 1.8rem 0; padding: 0.9rem 1.2rem; border-left: 3px solid var(--accent); background: #edf5f5; color: #26444c; }
.paper-body blockquote p:last-child { margin-bottom: 0; }
.paper-body code { padding: 0.1em 0.28em; background: #e9eeee; font-family: var(--mono); font-size: 0.84em; }
.paper-body pre { overflow-x: auto; padding: 1rem; background: #13212a; color: #e8f2f3; }
.paper-body pre code { padding: 0; background: transparent; color: inherit; }
.paper-body mjx-container[display="true"] { overflow-x: auto; overflow-y: hidden; margin: 1.7rem 0 !important; padding: 1rem; border-left: 2px solid var(--accent); background: #edf5f5; }
.paper-body table { width: 100%; margin: 1.6rem 0; border-collapse: collapse; font-family: var(--sans); font-size: 0.78rem; line-height: 1.45; }
.paper-body th, .paper-body td { padding: 0.65rem 0.7rem; border: 1px solid var(--line); text-align: left; vertical-align: top; }
.paper-body th { background: #e9eeee; font-weight: 600; }
.paper-body hr { margin: 3rem 0; border: 0; border-top: 1px solid var(--line); }
.paper-footer { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 1rem; padding: 1.2rem clamp(1.5rem, 7vw, 6.5rem); border-top: 1px solid var(--line); color: var(--muted); font-family: var(--mono); font-size: 0.6rem; line-height: 1.5; text-transform: uppercase; }

@media (max-width: 640px) {
  .paper-shell { width: 100%; padding-top: 1rem; }
  .paper-nav { padding-inline: 1rem; align-items: flex-start; }
  .paper-actions { justify-content: flex-end; }
  .paper-action { min-height: 34px; padding: 0.35rem 0.5rem; }
  .paper-header h1 { font-size: clamp(2rem, 11vw, 3.3rem); }
  .paper-body { font-size: 0.98rem; }
  .paper-body table { display: block; overflow-x: auto; }
}

@media print {
  @page { size: letter; margin: 0.72in 0.72in 0.75in; }
  html, body { background: #fff; }
  body { font-size: 10.5pt; line-height: 1.48; }
  .paper-shell { width: auto; margin: 0; padding: 0; }
  .paper-nav { display: none; }
  .paper { box-shadow: none; }
  .paper-header { padding: 0 0 0.25in; }
  .paper-header h1 { font-size: 27pt; line-height: 1.03; }
  .paper-body { padding: 0.28in 0 0; }
  .paper-body h2 { break-after: avoid; margin-top: 0.28in; padding-top: 0.12in; font-size: 15pt; }
  .paper-body h3 { break-after: avoid; font-size: 11.5pt; }
  .paper-body p, .paper-body li { orphans: 3; widows: 3; }
  .paper-body table, .paper-body blockquote, .paper-body pre { break-inside: avoid; }
  /* The PDF renderer already supplies a running footer. Printing the web
     footer can otherwise create a nearly empty terminal page. */
  .paper-footer { display: none; }
  a { color: inherit; text-decoration: none; }
}