/* The double slit and the delayed-choice eraser: the page for one paradox of one manuscript and what it means. The institute's
   screen style: warm paper and ink, Inter at two sizes, small mono labels. Colour carries one meaning in the figures: ink is a
   dot nobody has sorted; cyan and magenta are the two results of the later read of the marks. On the page cyan also marks links. */
body.ds-body[data-rpi-page] {
  --ds-paper: #faf8f3; --ds-ink: #1d1d1b; --ds-body: #2a2926; --ds-soft: #3c3a36; --ds-hair: #8a8a8a;
  --ds-cyan: #009fe3; --ds-magenta: #e6007e; --ds-cyan-text: #0072b5; --ds-magenta-text: #c4006b;
  --ds-proved: #0b7a3e; --ds-rs: #ffc328; --ds-work: #8a5a00; --ds-open: #c8401f;
  --ds-rule: color-mix(in srgb, var(--ds-ink) 16%, var(--ds-paper));
  --ds-tint: color-mix(in srgb, var(--ds-ink) 4%, var(--ds-paper));
  --ds-display: "Inter Display", "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif;
  --ds-text: "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif;
  --ds-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
  background: var(--ds-paper); color: var(--ds-body);
}
@media screen and (prefers-color-scheme: dark) {
  body.ds-body[data-rpi-page] {
    --ds-paper: #141413; --ds-ink: #faf8f3; --ds-body: #e9e6df; --ds-soft: #c9c5bc;
    --ds-cyan: #2bb3f0; --ds-magenta: #ff3d9e; --ds-cyan-text: #2bb3f0; --ds-magenta-text: #ff6fb5;
    --ds-proved: #3fb871; --ds-work: #e0a43a; --ds-open: #ff6a3d;
  }
}
.ds-page { width: min(calc(100% - 4rem), 75rem); margin: 0 auto; padding: 0 0 5rem;
  font-family: var(--ds-text); font-weight: 420; line-height: 1.42; font-optical-sizing: auto; }
.ds-page a { color: var(--ds-ink); text-decoration-color: var(--ds-cyan); text-decoration-thickness: 2px; text-underline-offset: .18em; }
.ds-page a:hover { color: var(--ds-cyan-text); }
.ds-page i, .ds-page em { font-style: italic; }
.ds-page sub, .ds-page sup { font-size: .72em; line-height: 0; }
.ds-page b, .ds-page strong { color: var(--ds-ink); font-weight: 650; }
.ds-page :focus-visible { outline: 3px solid var(--ds-cyan-text); outline-offset: 3px; }
.ds-label { margin: 0 0 1rem; font: 700 .75rem/1.3 var(--ds-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--ds-soft); }
.ds-label a { color: inherit; text-decoration: none; }
.ds-label a:hover { text-decoration: underline; color: inherit; }
.ds-nw { white-space: nowrap; }
/* Large text on a narrow screen: let long formulas wrap (rem follows the reader's font size). */
@media (max-width: 22rem) { .ds-nw { white-space: normal; } }
.ds-v { font-style: italic; font-family: var(--ds-text); }
html:has(> body.ds-body[data-rpi-page]) { scroll-padding-top: 6rem; }
body.ds-body[data-rpi-page] > .skip { position: absolute; left: -9999px; }
body.ds-body[data-rpi-page] > .skip:focus { left: 1rem; top: 1rem; z-index: 100; padding: .5rem .8rem; background: var(--ds-ink); color: var(--ds-paper); }

/* Opening: the sentence, the picture working, the number */
.ds-opening { padding: clamp(1rem, 2vw, 1.5rem) 0 clamp(2rem, 4vw, 3rem); border-bottom: 1px solid var(--ds-ink); }
.ds-opening > .ds-label { margin-bottom: .75rem; }
.ds-opening-top { display: grid; grid-template-columns: minmax(0, 1.25fr) minmax(0, .75fr); column-gap: clamp(1.5rem, 4vw, 4rem); align-items: start; }
body.ds-body .ds-opening h1 { margin: 0; font-family: var(--ds-display); font-weight: 820;
  font-size: clamp(2.3rem, 3.9vw, 3.55rem); line-height: .94; letter-spacing: -.038em; color: var(--ds-ink); text-wrap: balance;
  text-shadow: 0 0 .5px color-mix(in srgb, var(--ds-ink) 55%, transparent); overflow-wrap: break-word; }
.ds-lede { max-width: 38rem; margin: 0; font-size: clamp(1.08rem, 1.4vw, 1.27rem); font-weight: 450; line-height: 1.32;
  letter-spacing: -.008em; color: var(--ds-ink); }
.ds-hero { margin: clamp(1.25rem, 2.4vw, 1.9rem) 0 0; }
.ds-hero-grid { display: grid; grid-template-columns: minmax(0, 1fr) 15.5rem; column-gap: clamp(1.5rem, 3vw, 2.75rem); align-items: start; }
.ds-hero-fig { min-width: 0; }
.ds-hero figcaption { max-width: 52rem; margin-top: .9rem; font-size: .9rem; line-height: 1.42; color: var(--ds-soft); }
.ds-noscript { max-width: 46rem; padding: 1rem; border: 1px solid var(--ds-rule); }
.ds-num { border-left: 2px solid var(--ds-ink); padding: .1rem 0 .2rem 1.1rem; }
.ds-num .ds-label { margin-bottom: .55rem; }
.ds-num-big { margin: 0 0 .6rem; font-family: var(--ds-display); font-weight: 860; font-size: clamp(2.1rem, 3vw, 2.7rem); line-height: .9;
  letter-spacing: -.045em; color: var(--ds-ink); font-variant-numeric: tabular-nums lining-nums; white-space: nowrap; }
.ds-num-big i { font-style: italic; font-weight: 800; letter-spacing: -.02em; }
.ds-num-cap { margin: 0 0 .7rem; font-size: .9rem; line-height: 1.4; color: var(--ds-body); }
.ds-num-meas { margin: 0 0 .7rem; font: 700 .72rem/1.45 var(--ds-mono); letter-spacing: .06em; color: var(--ds-soft); }
.ds-num-meas b { font-size: 1.05rem; letter-spacing: -.01em; }

.ds-status { max-width: 38rem; margin: .7rem 0 0; font-size: .86rem; line-height: 1.4; color: var(--ds-soft); }
/* Below the paper band: the paradox in three lines, the paper's own three lines in plain words */
.ds-three { margin-top: clamp(1.75rem, 3.5vw, 2.5rem); }
.ds-three > .ds-label { margin-bottom: .8rem; }
.ds-three-list { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr));
  column-gap: clamp(1.25rem, 2.6vw, 2.25rem); border-top: 2px solid var(--ds-ink); }
.ds-three-list li { margin: 0; padding: .9rem 0 0; min-width: 0; }
.ds-three-list li p { margin: 0; font-size: 1rem; line-height: 1.45; color: var(--ds-body); }
.ds-three-list li p.ds-three-head { margin: 0 0 .45rem; font-family: var(--ds-display); font-weight: 780; font-size: 1.15rem; line-height: 1.1;
  letter-spacing: -.018em; color: var(--ds-ink); }
.ds-three-list li p.ds-three-head::before { display: block; margin-bottom: .35rem; font: 700 .72rem/1 var(--ds-mono); letter-spacing: .12em; color: var(--ds-soft); }
.ds-three-list li:nth-child(1) p.ds-three-head::before { content: "1"; }
.ds-three-list li:nth-child(2) p.ds-three-head::before { content: "2"; }
.ds-three-list li:nth-child(3) p.ds-three-head::before { content: "3"; }

/* Status marks, placed where each premise and owed statement enters */
.ds-st { display: inline-block; margin: 0 .1rem; padding: .05rem .4rem .08rem; border: 1.5px solid currentColor; font: 700 .64rem/1.45 var(--ds-mono);
  letter-spacing: .08em; text-transform: uppercase; vertical-align: .12em; white-space: nowrap; }
@media (max-width: 22rem) { .ds-st { white-space: normal; } }
.ds-st i { font-style: italic; text-transform: none; letter-spacing: .02em; }
.ds-st--proved { color: var(--ds-proved); }
.ds-st--premise { color: var(--ds-work); }
.ds-st--owed { color: var(--ds-open); }
.ds-st--given { color: var(--ds-soft); }
.ds-key { display: flex; flex-wrap: wrap; gap: .45rem; margin: 1.2rem 0 0; }
.ds-key .ds-st { margin: 0; }
.ds-key-h { flex-basis: 100%; font: 700 .68rem/1.3 var(--ds-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ds-soft); }
.ds-st-code { font-family: var(--ds-text); font-weight: 700; letter-spacing: 0; text-transform: none; }

/* Sections */
.ds-section { display: grid; grid-template-columns: minmax(0, 17rem) minmax(0, 1fr); column-gap: clamp(1.5rem, 4vw, 4rem);
  padding: clamp(2.5rem, 5vw, 4rem) 0; border-bottom: 1px solid var(--ds-rule); }
.ds-head { min-width: 0; }
body.ds-body .ds-section h2, body.ds-body .ds-meaning h2 { margin: 0; font-family: var(--ds-display); font-weight: 820;
  font-size: clamp(1.65rem, 2.5vw, 2.3rem); line-height: 1; letter-spacing: -.034em; color: var(--ds-ink); text-wrap: balance; overflow-wrap: break-word; }
.ds-copy { min-width: 0; max-width: 44rem; font-size: 1.06rem; }
.ds-copy > p { margin: 0 0 1rem; }
.ds-copy > p:last-child { margin-bottom: 0; }
.ds-copy h3 { margin: 2rem 0 .6rem; font-family: var(--ds-display); font-weight: 780; font-size: 1.28rem; line-height: 1.1; letter-spacing: -.02em; color: var(--ds-ink); }
.ds-copy h3:first-child { margin-top: 0; }
.ds-eq { margin: 1.1rem 0 1.2rem; padding: .7rem 1rem; border-left: 2px solid var(--ds-cyan); background: var(--ds-tint);
  font-size: 1.08rem; color: var(--ds-ink); overflow-x: auto; }
.ds-eq-note { display: block; margin-top: .3rem; font-size: .88rem; color: var(--ds-soft); }
.ds-tag { font: 700 .7rem/1 var(--ds-mono); letter-spacing: .1em; text-transform: uppercase; color: var(--ds-soft); white-space: nowrap; }
.ds-wide { grid-column: 1 / -1; min-width: 0; }

/* The proofs in full, folded under the plain account */
.ds-full { margin: 1.4rem 0 .4rem; border-top: 1px solid var(--ds-rule); border-bottom: 1px solid var(--ds-rule); }
.ds-full summary { cursor: pointer; padding: .75rem 0; font-weight: 650; color: var(--ds-ink); list-style-position: inside; }
.ds-full summary:hover { color: var(--ds-cyan-text); }
.ds-full-label { margin-right: .6rem; font: 700 .7rem/1 var(--ds-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ds-soft); }
.ds-full-body { padding: 0 0 .6rem; font-size: .98rem; }
.ds-full-body p { margin: 0 0 .85rem; }

/* History: a timeline */
.ds-time { list-style: none; margin: 1.4rem 0 0; padding: 0; border-left: 2px solid var(--ds-ink); }
.ds-time li { position: relative; display: grid; grid-template-columns: 6.2rem minmax(0, 1fr); column-gap: 1rem; margin: 0; padding: .55rem 0 .9rem 1.1rem; }
.ds-time li::before { content: ""; position: absolute; left: -6px; top: .95rem; width: 10px; height: 10px; background: var(--ds-paper); border: 2px solid var(--ds-ink); }
.ds-time li.ds-time-turn::before { background: var(--ds-ink); }
.ds-time-year { font: 700 .82rem/1.6 var(--ds-mono); letter-spacing: .06em; color: var(--ds-ink); }
.ds-time p { margin: 0; }
.ds-time p + p { margin-top: .35rem; }
.ds-time .ds-src { font-size: .86rem; color: var(--ds-soft); }

/* The live figures: the page's box frames them; their notes say how to use them */
.ds-figure { margin: 1.6rem 0; padding: clamp(1rem, 2vw, 1.6rem); border: 1px solid var(--ds-rule); min-width: 0; }
.ds-figure figcaption { max-width: 52rem; margin-top: 1rem; padding-top: .8rem; border-top: 1px solid var(--ds-rule); font-size: .9rem; line-height: 1.42; color: var(--ds-soft); }
.ds-figure figcaption b, .ds-summary figcaption b, .ds-hero figcaption b { color: var(--ds-ink); }
.ds-copy--more { grid-column: 2; }
.ds-summary { margin: clamp(1.5rem, 3vw, 2.2rem) 0 0; padding-top: 1.2rem; border-top: 1px solid var(--ds-rule); min-width: 0; }
.ds-summary figcaption { max-width: 52rem; margin-top: .8rem; font-size: .9rem; line-height: 1.42; color: var(--ds-soft); }

/* Break it */

/* What it means */
.ds-meaning { padding: clamp(2.5rem, 5vw, 4rem) 0 0; }
.ds-meaning-head { display: grid; grid-template-columns: minmax(0, 17rem) minmax(0, 1fr); column-gap: clamp(1.5rem, 4vw, 4rem); }
.ds-meaning-lede { max-width: 44rem; margin: 0 0 1rem; font-size: 1.16rem; line-height: 1.4; color: var(--ds-ink); }
.ds-meaning-sub { max-width: 44rem; margin: 0; font-size: 1.02rem; color: var(--ds-body); }
.ds-truths { display: grid; gap: 0; margin-top: clamp(1.75rem, 3.5vw, 2.5rem); border-top: 2px solid var(--ds-ink); }
.ds-truth { display: grid; grid-template-columns: minmax(0, 17rem) minmax(0, 1fr); column-gap: clamp(1.5rem, 4vw, 4rem); padding: 1.5rem 0; border-bottom: 1px solid var(--ds-rule); }
.ds-truth-num { margin: 0 0 .45rem; font: 700 .72rem/1.4 var(--ds-mono); letter-spacing: .12em; color: var(--ds-soft); }
.ds-truth h3 { margin: 0; font-family: var(--ds-display); font-weight: 780; font-size: clamp(1.25rem, 1.9vw, 1.55rem); line-height: 1.06; letter-spacing: -.024em; color: var(--ds-ink); text-wrap: balance; }
.ds-truth-body { max-width: 44rem; font-size: 1.04rem; }
.ds-truth-body p { margin: 0 0 .8rem; }
.ds-truth-body p:last-child { margin-bottom: 0; }
.ds-truth-rests { font-size: .88rem; color: var(--ds-soft); }
.ds-truth-rests .ds-tag { margin-right: .2rem; }

/* Hard questions */
.ds-hard dl { margin: 0; }
.ds-hard dt { margin: 0 0 .4rem; font-family: var(--ds-display); font-weight: 780; font-size: 1.2rem; line-height: 1.15; letter-spacing: -.018em; color: var(--ds-ink); }
.ds-hard dd { margin: 0 0 1.6rem; }
.ds-hard dd:last-child { margin-bottom: 0; }

/* Not claimed */
.ds-not { list-style: none; margin: 0; padding: 0; }
.ds-not li { position: relative; padding: .6rem 0 .6rem 1.6rem; border-top: 1px solid var(--ds-rule); }
.ds-not li:last-child { border-bottom: 1px solid var(--ds-rule); }
.ds-not li::before { content: ""; position: absolute; left: 0; top: 1.15rem; width: .8rem; height: 2px; background: var(--ds-open); }

/* Read it */
.ds-paper-cite { margin: 0 0 1.2rem; padding: 1rem 1.1rem; border: 1.5px solid var(--ds-ink); }
.ds-paper-cite p { margin: 0; }
.ds-paper-cite .ds-paper-title { font-family: var(--ds-display); font-weight: 780; font-size: 1.2rem; line-height: 1.15; letter-spacing: -.018em; color: var(--ds-ink); }
.ds-paper-cite .ds-paper-meta { margin-top: .4rem; font-size: .95rem; color: var(--ds-soft); }
.ds-vor { margin: .9rem 0 0; padding-top: .8rem; border-top: 1px solid var(--ds-rule); font-size: .95rem; }
.ds-refs { margin: 1.2rem 0 0; padding-left: 2.1rem; font-size: .92rem; color: var(--ds-body); }
.ds-refs li { margin: 0 0 .45rem; padding-left: .2rem; }
.ds-refs + p { margin-top: 1.6rem; }
/* Large text on a phone: a long word (a title's "complementarity") breaks only when it cannot fit. */
.ds-page p, .ds-page li, .ds-page dd { overflow-wrap: break-word; }
.ds-set { margin-top: clamp(2.5rem, 5vw, 3.5rem); padding-top: 1.1rem; border-top: 2px solid var(--ds-ink); }
.ds-set-list { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); column-gap: 1.5rem; }
.ds-set-list li { margin: 0; border-bottom: 1px solid var(--ds-rule); }
.ds-set-list li > a, .ds-set-list li.ds-set-here, .ds-set-list li.ds-set-soon { display: grid; grid-template-columns: 2rem minmax(0, 1fr); padding: .55rem 0; font-size: .95rem; line-height: 1.3; text-decoration: none; }
.ds-set-list li > a { color: var(--ds-ink); }
.ds-set-list li > a span:last-child { text-decoration: underline; text-decoration-color: var(--ds-cyan); text-decoration-thickness: 2px; text-underline-offset: .18em; }
.ds-set-list li > a:hover span:last-child { color: var(--ds-cyan-text); }
.ds-section:has(+ .ds-set) { border-bottom: 0; }
.ds-set-n { font: 700 .72rem/1.85 var(--ds-mono); letter-spacing: .08em; color: var(--ds-soft); }
.ds-set-here { color: var(--ds-ink); font-weight: 650; }
.ds-set-here i { font-style: normal; font-weight: 420; color: var(--ds-soft); }
.ds-set-soon { color: var(--ds-soft); }
.ds-set-up { margin: 1rem 0 0; font: 700 .75rem/1.4 var(--ds-mono); letter-spacing: .1em; text-transform: uppercase; }
.ds-set-up a { text-decoration: none; border-bottom: 2px solid var(--ds-cyan); }
.ds-next { display: flex; flex-wrap: wrap; gap: .6rem 1.6rem; padding: 2rem 0 0; font: 700 .75rem/1.4 var(--ds-mono); letter-spacing: .1em; text-transform: uppercase; }
.ds-next a { text-decoration: none; border-bottom: 2px solid var(--ds-cyan); }

/* Narrow screens */
/* Layout breakpoints in em follow the reader's text size (16 px text: 960, 860, 560 px). */
@media (max-width: 60em) {
  .ds-hero-grid { grid-template-columns: minmax(0, 1fr); row-gap: 1.2rem; }
  .ds-num { display: grid; grid-template-columns: auto minmax(0, 1fr); column-gap: 1.2rem; align-items: start; }
  .ds-num .ds-label { grid-column: 1 / -1; }
  .ds-num-big { margin: 0; grid-row: 2 / span 2; align-self: center; }
  .ds-num-meas { grid-column: 2; margin: 0 0 .4rem; }
  .ds-num-cap { grid-column: 2; }
}
@media (max-width: 53.75em) {
  .ds-page { width: min(calc(100% - 2.5rem), 75rem); }
  .ds-opening-top, .ds-section, .ds-meaning-head, .ds-truth, .ds-three-list { grid-template-columns: minmax(0, 1fr); }
  .ds-set-list { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .ds-three-list li + li { margin-top: .4rem; border-top: 1px solid var(--ds-rule); }
  .ds-opening-top { row-gap: .9rem; }
  .ds-head { margin-bottom: 1.2rem; }
  .ds-copy--more { grid-column: 1; }
  .ds-truth-head { margin-bottom: .8rem; }
  .ds-meaning-head .ds-head { margin-bottom: 1rem; }
}
@media (max-width: 35em) {
  .ds-page { width: calc(100% - 2rem); }
  body.ds-body .ds-opening h1 { font-size: clamp(1.8rem, 8.2vw, 2.2rem); }
  .ds-lede { font-size: 1rem; line-height: 1.3; }
  .ds-hero { margin-top: 1rem; }
  .ds-hero-grid { row-gap: .9rem; }
  /* Phone: the number and its definitions above the running screen, the measurement under it */
  .ds-hero-grid { display: flex; flex-direction: column; row-gap: 0; }
  .ds-num { display: contents; }
  .ds-num .ds-label { order: 1; margin: 0 0 .2rem; }
  .ds-num-big { order: 2; margin: 0 0 .3rem; font-size: 1.75rem; text-align: left; align-self: flex-start; }
  .ds-num-cap { order: 3; margin: 0 0 .35rem; font-size: .84rem; line-height: 1.35; }
  .ds-num-meas { order: 6; margin: .75rem 0 0; font-size: .66rem; }
  .ds-hero-fig { order: 5; margin-top: .55rem; }
  .ds-hero figcaption { font-size: .86rem; }
  .ds-time li { grid-template-columns: minmax(0, 1fr); row-gap: .15rem; }
    .ds-copy { font-size: 1.02rem; }
  .ds-set-list { grid-template-columns: minmax(0, 1fr); }
  .ds-status { font-size: .8rem; }
}

@media (prefers-reduced-motion: reduce) {
  .ds-page * { scroll-behavior: auto !important; transition: none !important; animation: none !important; }
}
@media (forced-colors: active) {
  .ds-time li::before { forced-color-adjust: none; border-color: CanvasText; background: Canvas; }
  .ds-st { border-color: CanvasText; color: CanvasText; }
  .ds-not li::before { background: CanvasText; }
}
.ds-film { margin: clamp(1.5rem, 3vw, 2.25rem) 0 0; max-width: 960px; }
.ds-film .ds-label { margin-bottom: .35rem; }
.ds-film-what { margin: 0; font-size: .9rem; color: var(--ds-soft); }
.ds-film .pp-film { margin-top: .8rem; }
/* High contrast keeps the film buttons' see-through fills, so "captions on" looked the same as off: mark it with the system highlight. */
@media (forced-colors: active) {
  .ds-film [data-film-cc][aria-pressed="true"] { forced-color-adjust: none; background: Highlight; color: HighlightText; }
}
@media print {
  body.ds-body[data-rpi-page] { --ds-paper: #fff; --ds-ink: #000; --ds-body: #111; --ds-soft: #333; --ds-cyan-text: #0072b5; --ds-magenta-text: #c4006b; background: #fff; }
  .ds-page { width: 100%; padding: 0; }
  .ds-section { padding: 1.75rem 0; }
  .ds-figure { margin: 1rem 0; }
  .ds-hero, .ds-truth, .ds-time li, .ds-three-list li { break-inside: avoid; }
  .ds-next, .ds-set, .ds-howto, .ds-film { display: none; }
  /* Keep headings with what follows. (break-after: avoid on h2/h3 made Chrome print a blank last page.) */
  .ds-hard dt, p:has(+ .ds-refs) { break-after: avoid; }
  .ds-section > .ds-head { break-inside: avoid; }
  .ds-refs { font-size: .8rem; }
  .ds-refs li { margin-bottom: .3rem; }
  /* The last section prints as a block with its heading kept with what follows. The paper's box is not kept whole: on the
     published page (with the paper band above) that rule made Chrome add an empty last page. Subheads stay with their text. */
  .ds-section:last-of-type { display: block; padding-bottom: 0; border-bottom: 0; }
  .ds-section:last-of-type > .ds-head, .ds-copy h3 { break-after: avoid; }
  .ds-page a { text-decoration: none; }
}