:root {
  color-scheme: light;
  --paper: #fcfcfa;
  --ink: #202c35;
  --muted: #596771;
  --green: #276650;
  --line: #dfe5df;
  --serif: "Iowan Old Style", "Palatino Linotype", "Book Antiqua", Georgia, serif;
  --sans: -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --mono: ui-monospace, "SFMono-Regular", Consolas, monospace;
}
* { box-sizing: border-box; }
html { scroll-padding-top: 28px; }
body { margin: 0; background: var(--paper); color: var(--ink); font: 18px/1.8 var(--serif); }
a { color: var(--green); text-decoration-thickness: 1px; text-underline-offset: 3px; }
a:hover { text-decoration-thickness: 2px; }
:focus-visible { outline: 2px solid var(--green); outline-offset: 5px; }
::selection { background: #dce9dc; }
.skip-link { position: absolute; top: -100px; left: 20px; padding: 10px; background: white; z-index: 2; }
.skip-link:focus { top: 8px; }
.site-header { max-width: 1180px; margin: auto; min-height: 84px; padding: 24px 36px; display: flex; align-items: center; justify-content: space-between; gap: 20px; border-bottom: 1px solid var(--line); font: 12px/1.6 var(--mono); }
.site-header a { text-decoration: none; }
.site-header span { color: var(--muted); font: 11px var(--sans); }
.paper-layout { max-width: 1180px; margin: 0 auto; padding: 54px 36px 0; display: grid; grid-template-columns: 204px minmax(0, 1fr); gap: 56px; }
.contents nav { position: sticky; top: 30px; font: 12px/1.6 var(--sans); }
.eyebrow { color: var(--muted); font: 10px/1.8 var(--mono); letter-spacing: .06em; text-transform: uppercase; }
.contents ol { padding-left: 18px; margin: 20px 0 26px; }
.contents li { padding: 5px 0 5px 3px; }
.contents li::marker { color: var(--muted); font-size: 10px; }
.contents a { text-decoration: none; }
.contents a:hover { text-decoration: underline; }
.contents-download { display: block; padding: 7px 0; }
main, article { min-width: 0; }
h1, h2, h3, p { margin: 0; }
h1 { margin-top: 22px; font: 400 clamp(34px, 3.5vw, 49px)/1.13 var(--serif); letter-spacing: -.025em; text-wrap: balance; }
.paper-header .eyebrow span { padding: 0 8px; }
.paper-deck { margin-top: 24px; max-width: 620px; color: var(--muted); font: 17px/1.7 var(--serif); }
.paper-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 12px 22px; margin-top: 28px; font: 12px/1.5 var(--sans); }
.paper-actions a { padding: 10px 0; }
.paper-actions .primary-action { background: var(--green); color: white; padding: 11px 17px; border-radius: 3px; text-decoration: none; }
.edition-note { margin: 16px 0 36px; color: var(--muted); font: 11px/1.7 var(--sans); }
section { margin-top: 48px; scroll-margin-top: 28px; }
.abstract { margin-top: 0; padding: 26px 28px; background: #f1f5ef; border-top: 2px solid var(--green); font-size: 17px; }
.abstract h2 { font: 600 12px var(--sans); color: var(--green); margin-bottom: 12px; }
h2 { font: 400 27px/1.3 var(--serif); margin-bottom: 23px; text-wrap: balance; }
.section-number { display: block; margin-bottom: 10px; font: 10px/1.6 var(--mono); color: var(--green); letter-spacing: .1em; }
h3 { font: 600 15px/1.5 var(--sans); margin: 28px 0 12px; }
p + p { margin-top: 17px; }
.equation { max-width: 100%; overflow-x: auto; overflow-y: hidden; padding: 8px 2px; margin: 14px 0; font-size: .9em; }
.katex-display { margin: .5em 0; }
.katex-display > .katex { text-align: left; }
.featured-equation { padding: 12px 20px; margin: 24px 0; border: 1px solid var(--line); background: white; }
.theorem { margin: 28px 0 20px; padding: 24px; border-left: 3px solid var(--green); background: #f1f5ef; }
.theorem h3 { margin-top: 0; color: var(--green); }
.qed { white-space: nowrap; }
.note { margin-top: 24px; padding: 16px 20px; border-left: 2px solid #bdcabe; color: var(--muted); font: 13px/1.8 var(--sans); }
.table-scroll { overflow-x: auto; margin: 24px 0; }
table { width: 100%; border-collapse: collapse; font: 13px/1.6 var(--sans); text-align: left; }
caption { text-align: left; font-size: 11px; color: var(--muted); margin-bottom: 10px; }
th, td { padding: 12px 14px; border-bottom: 1px solid var(--line); vertical-align: top; }
th:first-child, td:first-child { padding-left: 0; }
thead { color: var(--muted); font-size: 11px; }
tbody th { font-weight: 400; }
td strong { color: var(--green); font-size: 20px; }
.module-table th { font-family: var(--mono); font-size: 11px; }
code { font-family: var(--mono); font-size: .78em; overflow-wrap: anywhere; }
pre { max-width: 100%; overflow: auto; padding: 20px; border: 1px solid var(--line); background: #f3f5f3; font: 12px/1.85 var(--mono); tab-size: 2; }
pre code { font: inherit; overflow-wrap: normal; }
.claim-list { padding-left: 24px; }
.claim-list li { padding-left: 5px; margin-top: 17px; }
.source-entry { padding: 18px 0; border-top: 1px solid var(--line); scroll-margin-top: 28px; }
.source-entry:target { border-top-color: var(--green); background: #f1f5ef; }
summary { cursor: pointer; font: 500 13px/1.8 var(--mono); padding: 3px 0; overflow-wrap: anywhere; }
.source-role { display: block; margin: 4px 0 0 18px; font: 12px/1.6 var(--sans); color: var(--muted); }
.source-entry pre { max-height: 620px; }
.source-entry details p { font-size: 15px; margin-top: 12px; }
.source-download { display: inline-block; margin: 12px 0 0 18px; font: 11px/1.6 var(--sans); }
.paper-footer { margin-top: 50px; padding: 26px 0 40px; border-top: 1px solid var(--line); display: flex; flex-wrap: wrap; gap: 16px 24px; font: 11px/1.6 var(--sans); }
.paper-footer span { color: var(--muted); margin-left: auto; }
@media (max-width: 960px) {
  .paper-layout { display: block; max-width: 800px; padding-top: 30px; }
  .contents { margin-bottom: 36px; border-bottom: 1px solid var(--line); padding-bottom: 20px; }
  .contents nav { position: static; }
  .contents ol { columns: 2; margin: 12px 0; }
  .contents li { break-inside: avoid; }
  .contents-download { display: inline-block; margin-right: 24px; }
}
@media (max-width: 540px) {
  body { font-size: 17px; line-height: 1.75; }
  .site-header { padding: 19px 20px; min-height: 64px; }
  .site-header span { display: none; }
  .paper-layout { padding: 24px 20px 0; }
  h1 { font-size: 36px; }
  h2 { font-size: 25px; }
  .abstract, .theorem { padding: 20px 18px; }
  .featured-equation { padding: 8px 12px; }
  .equation { font-size: .8em; }
  th, td { padding: 10px; }
  table { font-size: 12px; }
  .paper-footer span { margin-left: 0; width: 100%; }
}
@media print {
  body { font-size: 11pt; background: white; }
  .site-header, .contents, .paper-actions, .paper-footer, .skip-link, .source-download { display: none; }
  .paper-layout { display: block; max-width: none; padding: 0; }
  h1 { font-size: 28pt; }
  h2 { break-after: avoid; }
  section { margin-top: 24pt; }
  a { color: inherit; }
  .equation, .table-scroll, pre { overflow: visible; }
  pre { white-space: pre-wrap; overflow-wrap: anywhere; }
  .source-entry pre { max-height: none; }
}
@media (max-width:540px) {
  .contents li { padding-block: 0; }
  .contents li a { display: inline-flex; align-items: center; min-height: 44px; }
  .contents-download, .source-download { min-height: 44px; padding-block: 12px; }
  .source-entry summary { min-height: 44px; }
  .paper-footer a { display: inline-flex; align-items: center; min-height: 44px; }
}