:root {
  color-scheme: light;
  --ink: #111111;
  --muted: #6b6b6b;
  --line: #ececec;
  --blue: #287ebc;
  --header-height: 92px;
}

* { box-sizing: border-box; }
html { -webkit-font-smoothing: antialiased; text-rendering: optimizeLegibility; scroll-padding-top: var(--header-height); }
body { margin: 0; color: var(--ink); background: #fff; font: 400 17px/1.75 "Inter", -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; }
a { color: var(--blue); text-underline-offset: 4px; }
a { -webkit-tap-highlight-color: transparent; }
:focus-visible { outline: 2px solid var(--blue); outline-offset: 5px; border-radius: 2px; }
.skip-link { position: fixed; left: 20px; top: -80px; z-index: 20; padding: 12px 18px; background: #fff; border: 1px solid var(--line); }
.skip-link:focus { top: 12px; }

.site-header { position: sticky; top: 0; z-index: 10; background: #fff; }
.header-inner { position: relative; min-height: var(--header-height); padding: 0 32px; margin: 0 auto; display: flex; align-items: center; justify-content: center; gap: 24px; }
.brand { position: absolute; left: 32px; top: 50%; transform: translateY(-50%); display: inline-flex; align-items: center; flex-shrink: 0; min-height: 44px; }
.brand img { display: block; width: auto; height: 22px; }
.quick-links { display: flex; align-items: center; gap: 32px; }
.quick-links a { padding: 12px 0; text-decoration: none; font: 400 11px/1.7 "Space Mono", monospace; letter-spacing: .12em; text-transform: uppercase; color: var(--muted); transition: color .15s; }
.quick-links a:hover, .quick-links a[aria-current="location"] { color: var(--blue); }

.document { max-width: 820px; margin: 0 auto; padding: 64px 24px 144px; }
.document-header { margin-bottom: 96px; text-align: center; }
h1 { margin: 0; font-size: clamp(32px, 4vw, 42px); font-weight: 600; line-height: 1.15; letter-spacing: -.02em; text-align: center; text-wrap: balance; }
.document h2 { margin: 96px 0 40px; font: 400 15px/1.65 "Space Mono", monospace; letter-spacing: .14em; text-align: center; text-transform: uppercase; text-wrap: balance; scroll-margin-top: 24px; }
.document-header + h2 { margin-top: 0; }
.section-kicker { display: block; margin-bottom: 10px; font: 400 11px/1.6 "Space Mono", monospace; color: var(--muted); letter-spacing: .12em; text-transform: uppercase; }
.section-title { display: block; }
.document h3 { max-width: 680px; margin: 40px auto 18px; font-size: 18px; line-height: 1.45; font-weight: 600; letter-spacing: -.01em; text-align: center; scroll-margin-top: 24px; text-wrap: balance; }
.document h2 + h3 { margin-top: 0; }
.document h3.article-heading { display: flex; flex-direction: column; align-items: center; gap: 7px; }
.article-number { font: 400 11px/1.8 "Space Mono", monospace; color: var(--muted); text-decoration: none; white-space: nowrap; letter-spacing: .06em; text-transform: uppercase; }
.article-number:hover { color: var(--blue); }
.document p { max-width: 680px; margin: 0 auto 22px; text-align: left; text-wrap: pretty; }
strong { font-weight: 600; }
em { font-style: italic; }
.document ol, .document ul { max-width: 680px; margin: 20px auto 26px; padding-left: 1.4em; }
.document li { margin: 9px 0; padding-left: 5px; text-wrap: pretty; }
.document > p, .document li {
  text-align: left;
  text-align-last: auto;
  word-spacing: normal;
  -webkit-hyphens: none;
  hyphens: none;
  word-break: normal;
  overflow-wrap: normal;
}
.document li::marker { color: var(--muted); font-size: .86em; font-weight: 500; }
.document blockquote { max-width: 560px; margin: 32px auto; padding: 0; font-size: 20px; line-height: 1.6; font-weight: 500; text-align: center; text-wrap: balance; }
.document blockquote p { margin: 0; text-align: center; text-wrap: balance; }
.document blockquote strong { font-weight: 500; }
.document hr { display: none; }

.math-display { max-width: min(640px, 100%); margin: 32px auto; padding: 6px 0 9px; overflow-x: auto; overflow-y: hidden; font: 400 28px/1.4 "STIX Two Math", "Cambria Math", "Times New Roman", serif; letter-spacing: 0; text-align: center; }
.math-display.math-prose { font-size: 22px; line-height: 1.5; }
.math-var { font-family: "STIX Two Math", "Cambria Math", "Times New Roman", serif; font-style: italic; font-weight: 400; }
.math-var sub { font-size: .62em; font-style: normal; line-height: 0; vertical-align: -.25em; }
.math-op { display: inline-block; padding: 0 .25em; font-style: normal; font-weight: 400; }
.math-frac { display: inline-grid; grid-template-rows: auto auto; align-items: center; margin: 0 .18em; font-size: .9em; line-height: 1.1; vertical-align: middle; }
.math-frac .num { padding: 0 .28em .13em; border-bottom: 1.3px solid currentColor; }
.math-frac .den { padding: .13em .28em 0; }
.loading, .no-script { max-width: 680px; margin: 48px auto; color: var(--muted); }

@media (max-width: 640px) {
  :root { --header-height: 64px; }
  body { font-size: 16px; line-height: 1.65; }
  .header-inner { padding: 0 24px; }
  .brand { left: 24px; transform: translateY(-50%); }
  .brand img { height: 21px; }
  .quick-links { display: none; }
  .document { padding: 48px 24px 96px; }
  .document-header { margin-bottom: 72px; }
  h1 { font-size: 32px; letter-spacing: -.025em; }
  .document h2 { margin: 72px 0 32px; font-size: 12px; letter-spacing: .12em; }
  .document-header + h2 { margin-top: 0; }
  .document h3 { font-size: 17px; margin-top: 34px; margin-bottom: 18px; }
  .document h2 + h3 { margin-top: 0; }
  .document h3.article-heading { gap: 6px; }
  .article-number { font-size: 11px; }
  .document p { margin-bottom: 20px; }
  .document blockquote { font-size: 18px; padding: 0; margin: 28px auto; }
  .math-display { font-size: 25px; margin: 28px auto; }
  .math-display.math-prose { font-size: 20px; }
}
@media (max-width: 420px) {
  .section-kicker { font-size: 11px; }
}
@media print {
  .site-header, .skip-link, .no-script { display: none; }
  .document { max-width: none; padding: 0; }
  .document h2, .document h3 { break-after: avoid; }
  .math-display { break-inside: avoid; }
  .article-number { color: var(--ink); }
}