@layer page {
  .swc-paper-page { --swc-rule-heavy: color-mix(in srgb, var(--jr-ink) 62%, transparent); }
  .swc-reading-progress { position: fixed; z-index: 100; inset: 0 0 auto; height: 3px; pointer-events: none; }
  .swc-reading-progress span { display: block; width: 100%; height: 100%; background: var(--jr-coral); transform: scaleX(0); transform-origin: left; }

  .swc-paper-hero { padding: clamp(48px, 7vw, 88px) 0 58px; border-bottom: 1px solid var(--jr-rule); }
  .swc-paper-status { display: grid; grid-template-columns: 1fr auto auto; gap: 22px; padding: 10px 0; border-block: 1px solid var(--jr-ink); color: var(--jr-muted); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .11em; text-transform: uppercase; }
  .swc-paper-status strong { color: var(--jr-coral); font-weight: 500; }
  .swc-paper-hero-grid { display: grid; grid-template-columns: minmax(0,1fr) 270px; gap: clamp(52px, 8vw, 112px); align-items: end; margin-top: 48px; }
  .swc-paper-kicker { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .12em; text-transform: uppercase; }
  .swc-paper-hero h1 { max-width: 900px; margin-top: 20px; line-height: .94; }
  .swc-paper-hero h1 > span { display: block; font-size: clamp(58px, 7.2vw, 96px); }
  .swc-paper-hero h1 > small { display: block; max-width: 26ch; margin-top: 22px; color: var(--jr-ink-soft); font-family: var(--jr-serif); font-size: clamp(26px, 3.2vw, 43px); font-weight: 400; line-height: 1.08; }
  .swc-paper-deck { max-width: 62ch; margin-top: 29px; color: var(--jr-muted); font-family: var(--jr-serif); font-size: 20px; line-height: 1.5; }
  .swc-paper-author { display: grid; gap: 4px; margin-top: 29px; }
  .swc-paper-author strong { font-family: var(--jr-serif); font-size: 21px; font-weight: 400; }
  .swc-paper-author span { color: var(--jr-muted); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .06em; text-transform: uppercase; }
  .swc-paper-actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 31px; }
  .swc-paper-register { padding: 18px 0 0 18px; border-top: 2px solid var(--jr-ink); border-left: 1px solid var(--jr-rule); }
  .swc-paper-register > span { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .11em; text-transform: uppercase; }
  .swc-paper-register dl { margin: 15px 0 0; }
  .swc-paper-register dl > div { padding: 11px 0; border-top: 1px solid var(--jr-rule-light); }
  .swc-paper-register dt { color: var(--jr-muted); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .08em; text-transform: uppercase; }
  .swc-paper-register dd { margin: 4px 0 0; color: var(--jr-ink-soft); font-size: 13px; line-height: 1.4; }
  .swc-paper-register code { font-size: 10px; }
  .swc-preprint-notice { max-width: 1010px; margin-top: 42px; padding: 17px 0 0 18px; border-top: 1px solid var(--jr-rule); border-left: 3px solid var(--jr-coral); color: var(--jr-muted); font-size: 13px; line-height: 1.58; }
  .swc-preprint-notice strong { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .08em; text-transform: uppercase; }
  .swc-proof-clarification { max-width: 1010px; margin-top: 18px; padding: 16px 18px; border-block: 1px solid var(--jr-cobalt); background: color-mix(in srgb, var(--jr-cobalt) 7%, var(--jr-paper)); color: var(--jr-ink-soft); font-size: 13px; line-height: 1.58; }
  .swc-proof-clarification strong { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .08em; text-transform: uppercase; }

  .swc-paper-layout { display: grid; grid-template-columns: 210px minmax(0,790px) minmax(0,1fr); gap: clamp(42px, 6vw, 80px); align-items: start; padding-top: 70px; padding-bottom: 100px; }
  .swc-paper-rail { position: sticky; top: 28px; padding-top: 14px; border-top: 2px solid var(--jr-ink); }
  .swc-paper-rail > p { color: var(--jr-muted); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .1em; text-transform: uppercase; }
  .swc-paper-rail ol { margin-top: 14px; list-style: none; counter-reset: swc-toc; }
  .swc-paper-rail li { counter-increment: swc-toc; border-top: 1px solid var(--jr-rule-light); }
  .swc-paper-rail li a { display: grid; grid-template-columns: 23px minmax(0,1fr); gap: 6px; padding: 9px 0; color: var(--jr-muted); font-size: 11px; line-height: 1.3; }
  .swc-paper-rail li a::before { content: counter(swc-toc, decimal-leading-zero); color: var(--jr-faint); font-family: var(--jr-mono); font-size: 7px; }
  .swc-paper-rail a[aria-current="location"] { color: var(--jr-cobalt-dark); font-weight: 600; }
  .swc-paper-rail a[aria-current="location"]::before { color: var(--jr-coral); }
  .swc-paper-rail-meta { display: grid; gap: 7px; margin-top: 26px; padding-top: 14px; border-top: 1px solid var(--jr-ink); }
  .swc-paper-rail-meta span { color: var(--jr-faint); font-family: var(--jr-mono); font-size: 7px; letter-spacing: .1em; text-transform: uppercase; }
  .swc-paper-rail-meta a { color: var(--jr-cobalt-dark); font-size: 11px; text-decoration: underline; text-underline-offset: 3px; }
  .swc-paper-body { grid-column: 2; min-width: 0; }
  .swc-paper-body > section { padding: 0 0 78px; scroll-margin-top: 96px; }
  .swc-paper-body > section + section { padding-top: 78px; border-top: 1px solid var(--jr-rule); }
  .swc-section-heading { display: grid; grid-template-columns: 52px minmax(0,1fr); gap: 18px; margin-bottom: 30px; }
  .swc-section-heading > span { padding-top: 6px; color: var(--jr-coral); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .1em; }
  .swc-section-heading p { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .12em; text-transform: uppercase; }
  .swc-section-heading h2 { max-width: 20ch; margin-top: 8px; font-size: clamp(37px, 4.1vw, 57px); line-height: .98; }
  .swc-paper-body > section > p { color: var(--jr-ink-soft); font-family: var(--jr-serif); font-size: 19px; line-height: 1.62; }
  .swc-paper-body > section > p + p { margin-top: 23px; }
  .swc-paper-body .swc-lead { color: var(--jr-ink); font-size: 24px; line-height: 1.48; }
  .swc-abstract-results { display: grid; grid-template-columns: 150px minmax(0,1fr); gap: 24px; margin: 33px 0; padding: 20px 0; border-block: 1px solid var(--jr-ink); }
  .swc-abstract-results span,
  .swc-keywords strong { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-abstract-results p { color: var(--jr-ink-soft); font-size: 14px; line-height: 1.55; }
  .swc-keywords { margin-top: 29px !important; color: var(--jr-muted) !important; font-family: var(--jr-sans) !important; font-size: 13px !important; }
  .swc-proof-status { display: grid; grid-template-columns: repeat(3, minmax(0,1fr)); margin: 35px 0; border-block: 2px solid var(--jr-ink); }
  .swc-proof-status > div { min-width: 0; padding: 20px 21px 22px 0; }
  .swc-proof-status > div + div { padding-left: 21px; border-left: 1px solid var(--jr-rule); }
  .swc-proof-status span { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-proof-status strong { display: block; margin-top: 10px; font-family: var(--jr-serif); font-size: 21px; font-weight: 400; line-height: 1.12; }
  .swc-proof-status p { margin-top: 9px; color: var(--jr-muted); font-size: 12px; line-height: 1.5; }

  .swc-mode-ledger { margin: 35px 0; list-style: none; border-top: 2px solid var(--jr-ink); }
  .swc-mode-ledger li { display: grid; grid-template-columns: 160px minmax(0,1fr); gap: 5px 25px; padding: 20px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-mode-ledger span { grid-row: 1 / span 2; color: var(--jr-coral); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-mode-ledger strong { font-family: var(--jr-serif); font-size: 23px; font-weight: 400; }
  .swc-mode-ledger p { color: var(--jr-muted); font-size: 13px; line-height: 1.5; }

  .swc-equation { display: grid; grid-template-columns: minmax(0,1fr) auto minmax(210px,.65fr); gap: 23px; align-items: center; margin: 38px 0; padding: 30px 27px; border-top: 5px solid var(--jr-cobalt); border-bottom: 1px solid var(--jr-ink); background: var(--jr-paper-pale); font-family: var(--jr-serif); font-size: clamp(22px, 3vw, 35px); line-height: 1.25; }
  .swc-equation b { color: var(--jr-coral); font-weight: 400; }
  .swc-equation sub { font-size: .55em; }
  .swc-equation-empirical { grid-template-columns: minmax(0,1fr) auto 45px; border-top-color: var(--jr-coral); font-size: clamp(19px, 2.5vw, 30px); }
  .swc-theorem { margin: 37px 0; border: 1px solid var(--jr-ink); }
  .swc-theorem header { padding: 20px 23px; border-bottom: 1px solid var(--jr-rule); background: var(--jr-paper-pale); }
  .swc-theorem header span { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .1em; text-transform: uppercase; }
  .swc-theorem header strong { display: block; margin-top: 7px; font-family: var(--jr-serif); font-size: 25px; font-weight: 400; line-height: 1.15; }
  .swc-theorem > p { padding: 21px 23px; color: var(--jr-ink-soft); font-family: var(--jr-serif); font-size: 17px; line-height: 1.55; }
  .swc-theorem details { border-top: 1px solid var(--jr-rule); }
  .swc-theorem summary { padding: 13px 23px; color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .09em; cursor: pointer; text-transform: uppercase; }
  .swc-theorem details p { padding: 0 23px 21px; color: var(--jr-muted); font-size: 13px; line-height: 1.6; }
  .swc-theorem-coral { border-top: 5px solid var(--jr-coral); }
  .swc-theorem-lifting { border-top: 5px solid var(--jr-cobalt); }
  .swc-theorem-induction { border-top: 5px solid var(--jr-violet); }
  .swc-inline-equation { margin: 0 23px 18px; padding: 18px 20px; background: var(--jr-paper-deep); color: var(--jr-ink); font-family: var(--jr-serif); font-size: clamp(22px, 3vw, 31px); text-align: center; }
  .swc-definition-grid { display: grid; grid-template-columns: 1fr 1fr; margin: 37px 0; border-top: 2px solid var(--jr-ink); }
  .swc-definition-grid > div { padding: 20px 23px 22px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-definition-grid > div:nth-child(even) { padding-left: 23px; border-left: 1px solid var(--jr-rule); }
  .swc-definition-grid span { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-definition-grid p { margin-top: 8px; color: var(--jr-ink-soft); font-size: 13px; line-height: 1.55; }
  .swc-boundary-note { margin-top: 35px; padding: 20px 23px; border-left: 4px solid var(--jr-coral); background: var(--jr-paper-deep); }
  .swc-boundary-note strong { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 9px; letter-spacing: .08em; text-transform: uppercase; }
  .swc-boundary-note p { margin-top: 8px; color: var(--jr-ink-soft); font-size: 14px; line-height: 1.6; }

  .swc-rule-table { margin-top: 35px; border-top: 2px solid var(--jr-ink); }
  .swc-rule-table > div { display: grid; grid-template-columns: 155px 1fr 1fr; gap: 24px; padding: 17px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-rule-table > div:first-child { color: var(--jr-muted); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-rule-table strong { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; font-weight: 500; letter-spacing: .04em; }
  .swc-rule-table p { color: var(--jr-ink-soft); font-size: 13px; line-height: 1.48; }

  .swc-paper-figure { margin: 39px 0 47px; padding-top: 16px; border-top: 6px solid var(--jr-cobalt); }
  .swc-paper-figure img { width: 100%; height: auto; border: 1px solid var(--jr-rule); background: #fff; }
  .swc-paper-figure figcaption { display: grid; grid-template-columns: 210px minmax(0,1fr); gap: 22px; padding: 15px 0; border-bottom: 1px solid var(--jr-rule); color: var(--jr-muted); font-size: 12px; line-height: 1.5; }
  .swc-paper-figure figcaption strong { color: var(--jr-ink); }
  .swc-paper-figure-tall img { max-height: 960px; object-fit: contain; object-position: top; }
  .swc-kernel-strip { display: grid; grid-template-columns: auto minmax(0,1fr) auto auto minmax(0,1fr) auto auto minmax(0,1fr); gap: 9px 13px; align-items: center; margin-top: 34px; padding: 19px 0; border-block: 1px solid var(--jr-ink); }
  .swc-kernel-strip span { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 7px; letter-spacing: .08em; text-transform: uppercase; }
  .swc-kernel-strip b { font-family: var(--jr-serif); font-size: 16px; font-weight: 400; }
  .swc-kernel-strip i { color: var(--jr-cobalt); font-style: normal; }

  .swc-experiment { margin-top: 58px; padding-top: 22px; border-top: 2px solid var(--jr-ink); }
  .swc-experiment > header { display: grid; grid-template-columns: 130px minmax(0,1fr); gap: 24px; }
  .swc-experiment > header span { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .1em; text-transform: uppercase; }
  .swc-experiment > header h3 { font-size: 30px; line-height: 1.05; }
  .swc-experiment > p { margin-top: 23px; color: var(--jr-ink-soft); font-family: var(--jr-serif); font-size: 17px; line-height: 1.6; }
  .swc-result-pair { display: grid; grid-template-columns: 1fr 1fr; margin-top: 28px; border-top: 1px solid var(--jr-rule); }
  .swc-result-pair > div { padding: 19px 21px 20px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-result-pair > div:nth-child(even) { padding-left: 21px; border-left: 1px solid var(--jr-rule); }
  .swc-result-pair span { display: block; color: var(--jr-muted); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .08em; text-transform: uppercase; }
  .swc-result-pair strong { display: block; margin-top: 6px; font-family: var(--jr-serif); font-size: 28px; font-weight: 400; line-height: 1; }
  .swc-result-pair small { display: block; margin-top: 5px; color: var(--jr-muted); font-size: 10px; }

  .swc-limitations { list-style: none; border-top: 2px solid var(--jr-ink); }
  .swc-limitations li { display: grid; grid-template-columns: 210px minmax(0,1fr); gap: 25px; padding: 18px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-limitations strong { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 9px; font-weight: 500; letter-spacing: .03em; }
  .swc-limitations span { color: var(--jr-ink-soft); font-size: 13px; line-height: 1.55; }
  .swc-agenda { display: grid; grid-template-columns: 1fr 1fr; border-top: 2px solid var(--jr-ink); }
  .swc-agenda article { min-height: 185px; padding: 22px 23px 24px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-agenda article:nth-child(even) { padding-left: 23px; border-left: 1px solid var(--jr-rule); }
  .swc-agenda span { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 8px; }
  .swc-agenda h3 { margin-top: 18px; font-size: 23px; line-height: 1.05; }
  .swc-agenda p { margin-top: 11px; color: var(--jr-muted); font-size: 13px; line-height: 1.5; }
  .swc-command-record { margin: 35px 0; border: 1px solid var(--jr-ink); }
  .swc-command-record > span { display: block; padding: 11px 15px; border-bottom: 1px solid var(--jr-ink); color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-command-record pre { margin: 0; padding: 19px; overflow-x: auto; background: var(--jr-paper-pale); color: var(--jr-ink-soft); font-family: var(--jr-mono); font-size: 11px; line-height: 1.65; }
  .swc-declarations { display: grid; grid-template-columns: 1fr 1fr; margin: 38px 0 0; border-top: 2px solid var(--jr-ink); }
  .swc-declarations > div { padding: 20px 23px 22px 0; border-bottom: 1px solid var(--jr-rule); }
  .swc-declarations > div:nth-child(even) { padding-left: 23px; border-left: 1px solid var(--jr-rule); }
  .swc-declarations dt { color: var(--jr-cobalt-dark); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .09em; text-transform: uppercase; }
  .swc-declarations dd { margin: 8px 0 0; color: var(--jr-ink-soft); font-size: 13px; line-height: 1.55; }
  .swc-references { margin-top: 32px; padding-left: 28px !important; }
  .swc-references li { padding: 11px 0 11px 8px; border-bottom: 1px solid var(--jr-rule-light); color: var(--jr-muted); font-size: 13px; line-height: 1.5; }
  .swc-paper-end { margin-top: 44px; padding: 25px; border: 1px solid var(--jr-ink); background: var(--jr-paper-pale); }
  .swc-paper-end > span { color: var(--jr-coral); font-family: var(--jr-mono); font-size: 8px; letter-spacing: .1em; text-transform: uppercase; }
  .swc-paper-end p { max-width: 58ch; margin-top: 10px; color: var(--jr-ink-soft); font-size: 14px; line-height: 1.55; }
  .swc-paper-end .jr-button { margin-top: 20px; }

  @media (max-width: 980px) {
    .swc-paper-hero-grid { grid-template-columns: minmax(0,1fr) 230px; gap: 42px; }
    .swc-paper-layout { grid-template-columns: 1fr; width: min(790px, calc(100% - 48px)); }
    .swc-paper-rail { position: static; }
    .swc-paper-rail ol { display: grid; grid-template-columns: 1fr 1fr; column-gap: 28px; }
    .swc-paper-rail-meta { grid-template-columns: auto auto auto; align-items: center; }
    .swc-paper-body { grid-column: 1; }
  }

  @media (max-width: 680px) {
    .swc-paper-status { grid-template-columns: 1fr; gap: 5px; }
    .swc-paper-hero-grid { grid-template-columns: 1fr; margin-top: 37px; }
    .swc-paper-hero h1 > span { font-size: clamp(45px, 14vw, 63px); }
    .swc-paper-hero h1 > small { font-size: clamp(24px, 7.5vw, 33px); }
    .swc-paper-register { padding-left: 14px; }
    .swc-paper-layout { width: calc(100% - 38px); padding-top: 48px; }
    .swc-paper-rail { min-width: 0; max-width: 100%; overflow: hidden; }
    .swc-paper-rail ol { display: flex; width: 100%; max-width: 100%; margin-inline: 0; padding-inline: 0; overflow-x: auto; overscroll-behavior-inline: contain; scroll-snap-type: x proximity; }
    .swc-paper-rail li { flex: 0 0 min(64vw, 220px); border-right: 1px solid var(--jr-rule); scroll-snap-align: start; }
    .swc-paper-rail li a { min-height: 54px; padding: 11px; }
    .swc-paper-rail-meta { grid-template-columns: 1fr; }
    .swc-paper-body > section { padding-bottom: 58px; }
    .swc-paper-body > section + section { padding-top: 58px; }
    .swc-section-heading { grid-template-columns: 37px minmax(0,1fr); gap: 10px; }
    .swc-section-heading h2 { font-size: 39px; }
    .swc-paper-body .swc-lead { font-size: 21px; }
    .swc-paper-body > section > p { font-size: 17px; }
    .swc-abstract-results,
    .swc-mode-ledger li,
    .swc-experiment > header,
    .swc-limitations li { grid-template-columns: 1fr; }
    .swc-mode-ledger span { grid-row: auto; }
    .swc-equation { grid-template-columns: 1fr; gap: 12px; padding: 23px 19px; font-size: 22px; }
    .swc-equation b { transform: rotate(90deg); justify-self: start; }
    .swc-equation-empirical { grid-template-columns: 1fr auto; }
    .swc-equation-empirical b { transform: none; }
    .swc-definition-grid,
    .swc-proof-status,
    .swc-result-pair,
    .swc-agenda,
    .swc-declarations { grid-template-columns: 1fr; }
    .swc-proof-status > div,
    .swc-proof-status > div + div { padding: 18px 0; border-left: 0; border-bottom: 1px solid var(--jr-rule); }
    .swc-definition-grid > div,
    .swc-definition-grid > div:nth-child(even),
    .swc-result-pair > div,
    .swc-result-pair > div:nth-child(even),
    .swc-agenda article,
    .swc-agenda article:nth-child(even),
    .swc-declarations > div,
    .swc-declarations > div:nth-child(even) { padding: 18px 0; border-left: 0; }
    .swc-rule-table > div { grid-template-columns: 1fr; gap: 7px; }
    .swc-rule-table > div:first-child { display: none; }
    .swc-paper-figure figcaption { grid-template-columns: 1fr; gap: 6px; }
    .swc-kernel-strip { grid-template-columns: auto 1fr; }
    .swc-kernel-strip i { display: none; }
    .swc-paper-figure-tall img { max-height: none; }
  }

  @media (prefers-reduced-motion: reduce) {
    .swc-reading-progress { display: none; }
  }
}