@font-face { font-family: "Libertinus Serif"; src: url("/fonts/libertinus-serif-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Libertinus Serif"; src: url("/fonts/libertinus-serif-latin-700-normal.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "Libertinus Serif"; src: url("/fonts/libertinus-serif-latin-400-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }
@font-face { font-family: "Libertinus Sans"; src: url("/fonts/libertinus-sans-latin-400-normal.woff2") format("woff2"); font-weight: 400; font-style: normal; font-display: swap; }
@font-face { font-family: "Libertinus Sans"; src: url("/fonts/libertinus-sans-latin-700-normal.woff2") format("woff2"); font-weight: 700; font-style: normal; font-display: swap; }
@font-face { font-family: "Libertinus Sans"; src: url("/fonts/libertinus-sans-latin-400-italic.woff2") format("woff2"); font-weight: 400; font-style: italic; font-display: swap; }

:root {
  color-scheme: light;
  --paper: #ffffff;
  --wash: #f8f9fa;
  --ink: #202122;
  --ink-soft: #54595d;
  --link: #3366cc;
  --link-hover: #24478f;
  --on-link: #ffffff;
  --mark: #ba0000;
  --mark-wash: #fdeeee;
  --rule: #a2a9b1;
  --rule-soft: #dcdfe3;
  --field: #72777d;
  --target: #eaf3ff;
  --serif: "Libertinus Serif", "Times New Roman", serif;
  --sans: "Libertinus Sans", "Helvetica Neue", Arial, sans-serif;
  --mono: ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --gutter: clamp(16px, 2.6vw, 40px);
  --statement: clamp(2.5rem, 4.7vw, 4.5rem);
  --ease: cubic-bezier(0.16, 1, 0.3, 1);
}

*, *::before, *::after { box-sizing: border-box; }
html { scroll-behavior: smooth; scroll-padding-top: 76px; scrollbar-color: var(--rule) var(--paper); -webkit-text-size-adjust: 100%; }
body { margin: 0; background: var(--paper); color: var(--ink); font-family: var(--sans); font-size: 1.1875rem; line-height: 1.55; font-variant-numeric: lining-nums; }
::selection { background: var(--link); color: var(--on-link); }
a { color: var(--link); text-underline-offset: 0.16em; text-decoration-thickness: 1px; }
a:hover { color: var(--link-hover); }
:focus-visible { outline: 2px solid var(--link); outline-offset: 2px; }
code, pre { font-family: var(--mono); font-size: 0.82em; }
p code, li code, td code { background: var(--wash); padding: 0.08em 0.3em; border: 1px solid var(--rule-soft); }

.site-head { position: sticky; top: 0; z-index: 10; display: flex; align-items: center; gap: 16px; min-height: 56px; padding: 8px var(--gutter); background: var(--paper); border-bottom: 1px solid var(--rule); }
.brand { font-family: var(--serif); font-size: 1.625rem; font-weight: 400; line-height: 1; color: var(--ink); text-decoration: none; }
.brand:hover { color: var(--ink); }
.site-sub { flex: 1; margin: 0; font-family: var(--serif); font-style: italic; font-size: 1.0625rem; color: var(--ink-soft); }
.head-action { font-size: 1.0625rem; }

.button { display: inline-flex; align-items: center; justify-content: center; min-height: 44px; padding: 8px 20px; background: var(--link); color: var(--on-link); border: 1px solid var(--link); font-weight: 700; font-size: 1.0625rem; line-height: 1.2; text-decoration: none; transition: background-color 160ms var(--ease), border-color 160ms var(--ease); }
.button:hover { background: var(--link-hover); border-color: var(--link-hover); color: var(--on-link); }
.button:active { transform: translateY(1px); }
.button-wide { width: 100%; }
.button-small { min-height: 40px; padding: 6px 14px; font-size: 1rem; }

.page { display: grid; grid-template-columns: 164px minmax(0, 1fr) 320px; grid-template-areas: "contents opening infobox" "contents article article"; column-gap: clamp(28px, 2.8vw, 48px); max-width: 1500px; margin: 0 auto; padding: clamp(24px, 3vw, 44px) var(--gutter) 0; }

.contents { grid-area: contents; align-self: start; position: sticky; top: 80px; max-height: calc(100vh - 96px); overflow-y: auto; font-size: 1rem; line-height: 1.35; }
.contents h2 { margin: 0 0 10px; padding: 0 0 6px; border-bottom: 1px solid var(--rule); font-family: var(--serif); font-size: 1.125rem; font-weight: 400; }
.contents ol { margin: 0; padding: 0; list-style: none; }
.contents li { margin: 0; }
.contents a { display: block; padding: 5px 0; text-decoration: none; }
.contents a:hover { text-decoration: underline; }
.contents a[aria-current="true"] { color: var(--ink); font-weight: 700; }

.opening { grid-area: opening; min-width: 0; }
h1 { margin: 0; font-family: var(--serif); font-size: var(--statement); font-weight: 400; line-height: 1.06; letter-spacing: -0.012em; text-wrap: balance; }
h1 b { font-weight: 700; }
.false { margin: 0.22em 0 0; font-family: var(--serif); font-size: var(--statement); line-height: 0; letter-spacing: -0.012em; color: var(--ink-soft); text-wrap: balance; }
del { line-height: 1.06; text-decoration: none; background: linear-gradient(var(--mark), var(--mark)) no-repeat 0 56% / 100% 0.065em; }
.false-note { margin: 14px 0 0; color: var(--mark); font-weight: 700; text-wrap: pretty; }
.false-note a { color: inherit; text-decoration-thickness: 1px; }
.false-note a:hover { color: inherit; text-decoration-thickness: 2px; }
.lead { max-width: 40em; margin: 26px 0 0; font-size: clamp(1.25rem, 1.65vw, 1.4375rem); line-height: 1.45; }

.ref { font-size: 0.68em; line-height: 0; vertical-align: super; font-family: var(--sans); font-weight: 400; letter-spacing: 0; white-space: nowrap; }
.ref a { position: relative; text-decoration: none; font-variant-numeric: tabular-nums; }
.ref a::after { content: ""; position: absolute; inset: -10px -3px; }
.ref a:hover { text-decoration: underline; }
h1 .ref { font-size: 0.36em; vertical-align: 1.05em; }
.needed { font-family: var(--sans); font-style: italic; font-size: max(0.8125rem, 0.29em); line-height: 1.2; vertical-align: 0.9em; color: var(--mark); letter-spacing: 0; white-space: nowrap; }
.uncited { font-size: 0.72em; font-style: italic; line-height: 0; color: var(--mark); white-space: nowrap; }

.infobox { grid-area: infobox; align-self: start; padding: 12px; background: var(--wash); border: 1px solid var(--rule); font-size: 1rem; line-height: 1.35; }
.infobox table { width: 100%; margin-top: 12px; border-collapse: collapse; }
.infobox th, .infobox td { padding: 7px 0; border-top: 1px solid var(--rule-soft); text-align: left; vertical-align: top; }
.infobox th { width: 44%; padding-right: 10px; font-weight: 700; }

.command { margin-top: 8px; background: var(--paper); border: 1px solid var(--rule); }
.command code { display: block; padding: 8px 10px; font-size: 0.8125rem; line-height: 1.5; }
.command code span { display: block; white-space: nowrap; }
.copy { display: block; width: 100%; min-height: 44px; padding: 0 10px; background: transparent; color: var(--link); border: 0; border-top: 1px solid var(--rule); font: inherit; font-size: 0.9375rem; cursor: pointer; transition: background-color 160ms var(--ease); }
.copy:hover { background: var(--target); }
.copy.is-done { color: var(--ink); font-weight: 700; }

.article { grid-area: article; min-width: 0; padding-bottom: 40px; }
.article section { max-width: 31.5em; margin-top: clamp(44px, 5vw, 72px); }
.article section.wide { max-width: none; }
.measure { max-width: 31.5em; }
h2 { margin: 0 0 14px; padding-bottom: 6px; border-bottom: 1px solid var(--rule); font-family: var(--serif); font-size: clamp(1.75rem, 2.3vw, 2.25rem); font-weight: 400; line-height: 1.15; text-wrap: balance; }
h3 { margin: 26px 0 4px; font-size: 1.1875rem; font-weight: 700; line-height: 1.3; }
.article p { margin: 0 0 14px; text-wrap: pretty; }
.article ul { margin: 0; padding-left: 1.2em; }
.article ul li { margin-bottom: 12px; }
.article ul li::marker { color: var(--ink-soft); }

.demo { display: grid; grid-template-columns: minmax(230px, 0.72fr) minmax(0, 1.5fr) minmax(220px, 0.8fr); margin: 24px 0 0; border: 1px solid var(--rule); }
.demo > div { min-width: 0; padding: 18px 20px 20px; }
.demo-record, .demo-output { background: var(--wash); }
.demo-record { border-right: 1px solid var(--rule); }
.demo-output { border-left: 1px solid var(--rule); }
.demo h3 { margin: 0 0 12px; font-family: var(--serif); font-size: 1.3125rem; font-weight: 400; }
.demo dl { margin: 0; font-size: 1rem; line-height: 1.4; }
.demo dl > div { padding: 10px 0; border-top: 1px solid var(--rule-soft); }
.demo dt { margin-bottom: 2px; }
.demo dd { margin: 0; }
.demo-record code, .claim-source code { background: none; border: 0; padding: 0; font-size: 0.8125rem; }
.tag { display: inline-block; padding: 0 6px; border: 1px solid var(--mark); color: var(--mark); font-size: 0.8125rem; line-height: 1.4; }
.is-draft dd { color: var(--ink-soft); }
#claims { margin: 0; padding: 0; list-style: none; }
.claim { padding: 10px 0 12px; border-top: 1px solid var(--rule-soft); }
.claim-row { display: grid; grid-template-columns: minmax(0, 1fr) 164px; gap: 8px; }
.claim input, .claim select { width: 100%; min-height: 44px; padding: 6px 10px; background: var(--paper); color: var(--ink); border: 1px solid var(--field); border-radius: 0; font: inherit; font-size: 1.0625rem; caret-color: var(--link); }
.claim select { font-family: var(--mono); font-size: 0.8125rem; }
.claim input:hover, .claim select:hover { border-color: var(--ink-soft); }
.claim.is-removed input { color: var(--mark); background: var(--mark-wash); border-color: var(--mark); text-decoration: line-through; text-decoration-thickness: 2px; }
.claim-verdict { margin: 6px 0 0 !important; font-size: 0.9375rem; line-height: 1.35; color: var(--ink-soft); }
.claim.is-removed .claim-verdict { color: var(--mark); font-weight: 700; }
.demo-summary { margin: 12px 0 2px !important; font-size: 1rem; font-weight: 700; }
.link-button { min-height: 44px; padding: 0; background: none; border: 0; color: var(--link); font: inherit; font-size: 1rem; text-decoration: underline; text-underline-offset: 0.16em; text-decoration-thickness: 1px; cursor: pointer; }
.link-button:hover { color: var(--link-hover); }
#survivors p { margin: 0 0 10px; font-size: 1.0625rem; line-height: 1.4; }
#survivors .empty { color: var(--ink-soft); }
#survivors small { display: block; margin-top: 1px; color: var(--ink-soft); font-family: var(--mono); font-size: 0.8125rem; }
.demo figcaption { grid-column: 1 / -1; padding: 10px 20px; border-top: 1px solid var(--rule); font-size: 0.9375rem; line-height: 1.4; color: var(--ink-soft); }

.requirements { width: 100%; border-collapse: collapse; }
.requirements th, .requirements td { padding: 10px 0; border-bottom: 1px solid var(--rule-soft); text-align: left; vertical-align: top; line-height: 1.4; }
.requirements tr:first-child th, .requirements tr:first-child td { border-top: 1px solid var(--rule-soft); }
.requirements th { width: 9em; padding-right: 16px; font-weight: 700; }

.code { margin: 0 0 14px; padding: 16px 18px; overflow-x: auto; background: var(--wash); border: 1px solid var(--rule); line-height: 1.6; }

.references { margin: 16px 0 0; padding-left: 2.4em; columns: 2; column-gap: 40px; font-size: 0.9375rem; line-height: 1.35; }
.references li { break-inside: avoid; margin-bottom: 10px; padding: 2px 4px; transition: background-color 500ms var(--ease); }
.references li:target { background: var(--target); }
.references li::marker { color: var(--ink-soft); font-variant-numeric: tabular-nums; }
.ref-source { display: block; overflow-wrap: anywhere; }
.ref-quote { display: block; margin-top: 2px; color: var(--ink-soft); font-size: 0.8125rem; line-height: 1.4; overflow-wrap: anywhere; }
.ref-back { display: none; padding: 3px 0; font-size: 0.875rem; }
.references li:target .ref-back, .references li:focus-within .ref-back { display: inline-block; }

.close { padding: clamp(40px, 6vw, 80px) 0 clamp(16px, 3vw, 32px); border-top: 1px solid var(--rule); }
.close .ref { font-size: 0.36em; vertical-align: 1.05em; }
.close p { max-width: 15em; margin: 0 0 24px; font-family: var(--serif); font-size: clamp(2.5rem, 4.7vw, 4.5rem); line-height: 1.06; letter-spacing: -0.012em; text-wrap: balance; }

.site-foot { padding: 16px var(--gutter) 28px; border-top: 1px solid var(--rule); font-size: 0.9375rem; color: var(--ink-soft); }
.site-foot p { max-width: 1500px; margin: 0 auto; }

.preview.is-tap { pointer-events: auto; }
.preview a { display: inline-block; min-height: 40px; padding-top: 8px; margin-right: 16px; }
.preview { position: fixed; z-index: 20; max-width: min(420px, calc(100vw - 32px)); padding: 10px 12px; background: var(--paper); color: var(--ink); border: 1px solid var(--rule); box-shadow: 0 6px 24px rgb(0 0 0 / 0.16); font-size: 0.9375rem; line-height: 1.35; pointer-events: none; }
.preview strong { display: block; font-weight: 400; color: var(--link); overflow-wrap: anywhere; }
.preview code { display: block; margin-top: 4px; font-size: 0.78rem; line-height: 1.4; overflow-wrap: anywhere; color: var(--ink-soft); }

@media (prefers-reduced-motion: no-preference) {
  del { animation: strike 1500ms var(--ease) 650ms both; }
  .false { animation: fade-text 700ms ease-out 1500ms both; }
  .needed, .false-note { animation: arrive 500ms var(--ease) 1650ms both; }
  @keyframes strike { from { background-size: 0 0.065em; } to { background-size: 100% 0.065em; } }
  @keyframes fade-text { from { color: var(--ink); } to { color: var(--ink-soft); } }
  @keyframes arrive { from { opacity: 0; } to { opacity: 1; } }
}
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  *, *::before, *::after { transition: none !important; }
}

@media (min-width: 1181px) and (max-width: 1420px) {
  :root { --statement: 4.15vw; }
}

@media (max-width: 1180px) {
  .page { grid-template-columns: minmax(0, 1fr) 320px; grid-template-areas: "opening infobox" "contents contents" "article article"; }
  .contents { position: static; max-height: none; margin-top: 36px; }
  .contents ol { columns: 2; column-gap: 32px; }
  .contents li { break-inside: avoid; }
  .demo { grid-template-columns: minmax(0, 1fr) minmax(0, 1.3fr); }
  .demo-output { grid-column: 1 / -1; border-left: 0; border-top: 1px solid var(--rule); }
}

@media (max-width: 800px) {
  body { font-size: 1.125rem; }
  .page { grid-template-columns: minmax(0, 1fr); grid-template-areas: "opening" "infobox" "contents" "article"; padding-top: 24px; }
  .site-sub { display: none; }
  .head-action { display: inline-flex; align-items: center; min-height: 40px; margin-left: auto; padding: 6px 14px; background: var(--link); color: var(--on-link); font-size: 1rem; font-weight: 700; text-decoration: none; }
  .head-action:hover { background: var(--link-hover); color: var(--on-link); }
  .infobox { margin-top: 28px; }
  .contents ol { columns: 1; }
  .contents a { padding: 9px 0; }
  .demo { grid-template-columns: minmax(0, 1fr); }
  .demo-record { border-right: 0; border-bottom: 1px solid var(--rule); }
  .claim-row { grid-template-columns: minmax(0, 1fr); }
  .references { columns: 1; padding-left: 2em; }
  .ref-source { padding: 4px 0; }
}