/* Wigner's friend: the institute's screen style, as on the paper pages: warm paper and ink, Inter at two sizes, small
   mono labels. In the figures cyan is a held history and its fringes, magenta is a posting: an entry in the record. */
body.wf-body[data-rpi-page] {
  --wf-paper: #faf8f3; --wf-ink: #1d1d1b; --wf-body: #2a2926; --wf-soft: #3c3a36; --wf-hair: #8a8a8a;
  --wf-cyan: #009fe3; --wf-magenta: #e6007e; --wf-cyan-text: #0072b5; --wf-magenta-text: #c4006b;
  --wf-proved: #0b7a3e; --wf-open: #c8401f;
  --wf-rule: color-mix(in srgb, var(--wf-ink) 16%, var(--wf-paper));
  --wf-tint: color-mix(in srgb, var(--wf-ink) 4%, var(--wf-paper));
  --wf-display: "Inter Display", "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif;
  --wf-text: "InterVariable", "Inter", -apple-system, "Helvetica Neue", Arial, sans-serif;
  --wf-mono: "JetBrains Mono", ui-monospace, "SF Mono", Menlo, monospace;
  background: var(--wf-paper); color: var(--wf-body);
}
@media screen and (prefers-color-scheme: dark) {
  body.wf-body[data-rpi-page] {
    --wf-paper: #141413; --wf-ink: #faf8f3; --wf-body: #e9e6df; --wf-soft: #c9c5bc;
    --wf-cyan: #2bb3f0; --wf-magenta: #ff3d9e; --wf-cyan-text: #2bb3f0; --wf-magenta-text: #ff3d9e;
    --wf-proved: #3fb871; --wf-open: #ff6a3d;
  }
}
.wf-page { width: min(calc(100% - 4rem), 75rem); margin: 0 auto; padding: 0 0 4rem;
  font-family: var(--wf-text); font-weight: 420; line-height: 1.42; font-optical-sizing: auto; }
.wf-page a { color: var(--wf-ink); text-decoration-color: var(--wf-cyan); text-decoration-thickness: 2px; text-underline-offset: .18em; }
.wf-page a:hover { color: var(--wf-cyan-text); }
.wf-page b { color: var(--wf-ink); font-weight: 650; }
.wf-page :focus-visible { outline: 3px solid var(--wf-cyan-text); outline-offset: 3px; }
.wf-label { margin: 0 0 1rem; font: 700 .75rem/1.3 var(--wf-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--wf-soft); }
.wf-label a { color: inherit; text-decoration: none; border-bottom: 2px solid var(--wf-cyan); }
.wf-label a:hover { color: var(--wf-ink); }
.wf-nw { white-space: nowrap; }
.wf-visually-hidden { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
html:has(> body.wf-body[data-rpi-page]) { scroll-padding-top: 6rem; }
.wf-noscript { max-width: 46rem; padding: 1rem; border: 1px solid var(--wf-rule); }

/* Status tags: a premise (open square in ink) and an owed statement (open square in red) */
.wf-tag { display: inline-flex; align-items: center; gap: .4em; margin-right: .35em; font: 700 .68rem/1 var(--wf-mono); letter-spacing: .12em;
  text-transform: uppercase; color: var(--wf-ink); white-space: nowrap; }
.wf-tag::before { content: ""; width: .7em; height: .7em; border: 2px solid currentColor; }
.wf-tag--premise::before { border-color: var(--wf-ink); }
.wf-tag--owed { color: var(--wf-open); }

/* Opening: the paradox's name, the sentence, the status line, the number; then the experiment running */
.wf-opening { padding: clamp(.9rem, 1.6vw, 1.25rem) 0 clamp(1.25rem, 2.5vw, 2rem); }
.wf-opening > .wf-label { margin-bottom: .6rem; }
.wf-opening-top { display: grid; grid-template-columns: minmax(0, 1.55fr) minmax(0, .75fr); column-gap: clamp(1.5rem, 4vw, 4rem); align-items: end; }
body.wf-body .wf-opening h1 { margin: 0 0 .5rem; font-family: var(--wf-display); font-weight: 820; font-size: clamp(2.6rem, 5.4vw, 5rem);
  line-height: .94; letter-spacing: -.042em; color: var(--wf-ink); text-wrap: balance;
  text-shadow: 0 0 .5px color-mix(in srgb, var(--wf-ink) 55%, transparent); }
.wf-lede { max-width: 44rem; margin: 0; font-size: clamp(1.1rem, 1.5vw, 1.34rem); font-weight: 450; line-height: 1.3; letter-spacing: -.008em; color: var(--wf-ink); }
.wf-status { max-width: 44rem; margin: .7rem 0 0; font-size: .92rem; line-height: 1.45; color: var(--wf-soft); }
.wf-status .wf-tag:not(:first-child) { margin-left: .6em; }

.wf-number { padding-top: .7rem; border-top: 3px solid var(--wf-ink); }
.wf-number > .wf-label { margin-bottom: .35rem; }
.wf-number-big { margin: 0; font-family: var(--wf-display); font-weight: 860; font-size: clamp(2.1rem, 3.3vw, 3.1rem); line-height: .9;
  letter-spacing: -.045em; color: var(--wf-ink); font-variant-numeric: tabular-nums lining-nums; }
.wf-number-cap { margin: .45rem 0 .2rem; font-size: .9rem; line-height: 1.35; color: var(--wf-body); }
.wf-number-scale { max-width: 22rem; }
.wf-number-note { margin: .15rem 0 0; font-size: .8rem; line-height: 1.35; color: var(--wf-soft); }
.wf-cap-short { display: none; }
.wf-number-note span { font-variant-numeric: tabular-nums; color: var(--wf-ink); font-weight: 600; }

.wf-hero { margin: clamp(.9rem, 1.8vw, 1.3rem) 0 0; }
.wf-hero figcaption, .wf-figure figcaption { max-width: 48rem; margin-top: .55rem; font-size: .88rem; line-height: 1.4; color: var(--wf-soft); }

/* The live figures */
.wf-svg { display: block; width: 100%; height: auto; overflow: visible; font-family: var(--wf-text); }
.wf-svg--scale { max-width: 22rem; }
.wf-svg-small { font-size: 13px; fill: var(--wf-soft); }
.wf-svg-axis { stroke: var(--wf-ink); stroke-width: 1.2; }
.wf-svg-tick { font: 400 11.5px var(--wf-mono); fill: var(--wf-soft); }
.wf-svg-tick--end { text-anchor: end; }
.wf-svg-tick--mid { text-anchor: middle; }
.wf-svg-bound { stroke: var(--wf-ink); stroke-width: 2; }
.wf-svg-model { stroke: var(--wf-cyan); stroke-width: 2; }
.wf-svg-err { stroke: var(--wf-magenta); stroke-width: 2; }
.wf-svg-meas { fill: var(--wf-magenta); }

/* The three lines */
.wf-three { padding: clamp(1.5rem, 3vw, 2.25rem) 0 clamp(1.75rem, 3.5vw, 2.5rem); border-bottom: 1px solid var(--wf-rule); }
.wf-lines { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: clamp(1.25rem, 3vw, 2.5rem); }
.wf-lines li { margin: 0; padding-top: .8rem; border-top: 3px solid var(--wf-ink); }
.wf-lines li p { margin: 0; font-size: 1.04rem; line-height: 1.42; color: var(--wf-body); }
.wf-lines .wf-line-label { margin: 0 0 .5rem; font: 700 .74rem/1.3 var(--wf-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--wf-ink); }

/* Text sections: heading left, copy right */
.wf-section { display: grid; grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); gap: clamp(1.25rem, 4vw, 4rem);
  padding: clamp(2.25rem, 4.5vw, 3.5rem) 0; border-bottom: 1px solid var(--wf-rule); }
.wf-section { grid-template-rows: auto 1fr; }
.wf-section > .wf-head { grid-column: 1; grid-row: 1; }
.wf-section > .wf-copy { grid-column: 2; grid-row: 1 / span 2; }
.wf-section > .wf-side { grid-column: 1; grid-row: 2; align-self: start; }
.wf-section > .wf-figure { grid-column: 1 / -1; grid-row: auto; margin: .5rem 0 0; }
.wf-section > .wf-copy--after { grid-column: 2; grid-row: auto; }
body.wf-body .wf-section h2 { margin: 0; max-width: 16ch; text-wrap: balance; font-family: var(--wf-display); font-weight: 780;
  font-size: clamp(1.7rem, 2.8vw, 2.45rem); line-height: 1.05; letter-spacing: -.02em; color: var(--wf-ink); }
.wf-h3 { margin: 2rem 0 .8rem; font-family: var(--wf-display); font-weight: 760; font-size: 1.3rem; line-height: 1.15; letter-spacing: -.012em; color: var(--wf-ink); }
.wf-copy > p { max-width: 38rem; margin: 0 0 1rem; font-size: 1.1rem; }
.wf-copy > p:last-child { margin-bottom: 0; }
.wf-list { max-width: 38rem; margin: 0 0 1.25rem; padding: 0; list-style: none; }
.wf-list li { margin: 0; padding: .7rem 0; border-top: 1px solid var(--wf-rule); font-size: 1.05rem; }
.wf-list li:first-child { border-top: 2px solid var(--wf-ink); }
.wf-ceil li { display: grid; grid-template-columns: 7.4rem minmax(0, 1fr); column-gap: .8rem; }
.wf-ceil-n { font-family: var(--wf-display); font-weight: 820; letter-spacing: -.03em; color: var(--wf-ink);
  font-variant-numeric: tabular-nums lining-nums; }
.wf-eq { margin: 1rem 0 1.1rem !important; padding: .1rem 0 .15rem 1.1rem; border-left: 3px solid var(--wf-cyan);
  font-size: clamp(1.1rem, 1.8vw, 1.3rem) !important; font-weight: 460; line-height: 1.4; color: var(--wf-ink); overflow-x: auto; }
.wf-eq span { white-space: nowrap; }

/* History: the quote, the timeline, the photograph, the experiments */
.wf-quote { max-width: 38rem; margin: 1.4rem 0 1.5rem; padding: .2rem 0 .2rem 1.2rem; border-left: 3px solid var(--wf-ink); }
.wf-quote blockquote { margin: 0; }
.wf-quote blockquote p { margin: 0; font-family: Georgia, "Times New Roman", serif; font-size: 1.16rem; line-height: 1.45; color: var(--wf-ink); }
.wf-quote figcaption { margin-top: .55rem; font-size: .82rem; line-height: 1.35; color: var(--wf-soft); }
.wf-tl { list-style: none; margin: 1.5rem 0 0; padding: 0; max-width: 38rem; }
.wf-tl li { display: grid; grid-template-columns: 4.2rem minmax(0, 1fr); column-gap: 1rem; margin: 0; padding: .75rem 0; border-top: 1px solid var(--wf-rule); }
.wf-tl li:first-child { border-top: 2px solid var(--wf-ink); }
.wf-tl p { margin: 0; }
.wf-tl-year { grid-row: 1 / span 2; font-family: var(--wf-display); font-weight: 860; font-size: 1.45rem; letter-spacing: -.04em; line-height: 1; color: var(--wf-ink);
  font-variant-numeric: tabular-nums lining-nums; }
.wf-tl-who { font: 700 .7rem/1.35 var(--wf-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--wf-soft); }
.wf-tl-what { margin-top: .25rem !important; font-size: 1rem; line-height: 1.38; color: var(--wf-ink); }
.wf-pic { max-width: 15rem; margin: 0; }
.wf-pic img { display: block; width: 100%; height: auto; filter: grayscale(1); }
.wf-pic figcaption { margin-top: .5rem; font-size: .8rem; line-height: 1.35; color: var(--wf-soft); }
.wf-table { width: 100%; max-width: 44rem; margin: 0; border-collapse: collapse; font-size: .97rem; line-height: 1.38; }
.wf-table th, .wf-table td { padding: .65rem .7rem .65rem 0; text-align: left; vertical-align: top; border-top: 1px solid var(--wf-rule); }
.wf-table thead th { font: 700 .68rem/1.3 var(--wf-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--wf-soft); border-top: 0; border-bottom: 2px solid var(--wf-ink); }
.wf-table tbody th { font-weight: 650; color: var(--wf-ink); width: 9.5rem; }
.wf-table-note { max-width: 38rem; margin: .8rem 0 0 !important; font-size: .98rem !important; color: var(--wf-soft); }

/* Break it and what it rests on */
.wf-figure { margin: 0; }
.wf-needs { max-width: 46rem; margin: 0; }
.wf-needs dt { margin: 0; padding-top: .8rem; border-top: 1px solid var(--wf-rule); font-weight: 650; color: var(--wf-ink); font-size: 1.08rem; }
.wf-needs dt:first-child { border-top: 2px solid var(--wf-ink); }
.wf-needs dd { margin: .3rem 0 1rem; font-size: 1.02rem; }

/* What it means */
.wf-meaning { display: grid; grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); gap: clamp(1.25rem, 4vw, 4rem);
  padding: clamp(3rem, 6vw, 4.5rem) 0; border-top: 3px solid var(--wf-ink); border-bottom: 1px solid var(--wf-rule); }
body.wf-body .wf-meaning h2 { margin: 0; font-family: var(--wf-display); font-weight: 820; font-size: clamp(2rem, 3.6vw, 3.3rem);
  line-height: .98; letter-spacing: -.038em; color: var(--wf-ink); max-width: 15ch; text-wrap: balance;
  text-shadow: 0 0 .5px color-mix(in srgb, var(--wf-ink) 55%, transparent); }
.wf-meaning-copy > p { max-width: 38rem; margin: 0 0 1rem; font-size: 1.1rem; }
.wf-meaning-copy > .wf-meaning-lede { font-size: clamp(1.2rem, 1.7vw, 1.4rem); font-weight: 480; line-height: 1.32; color: var(--wf-ink); }

/* Hard questions, scope, the paper */
.wf-qa { max-width: 38rem; margin: 0; }
.wf-qa dt { margin: 0; padding-top: 1rem; border-top: 2px solid var(--wf-ink); font-family: var(--wf-display); font-weight: 760;
  font-size: 1.28rem; line-height: 1.2; letter-spacing: -.012em; color: var(--wf-ink); }
.wf-qa dd { margin: .5rem 0 1.5rem; font-size: 1.06rem; }
.wf-qa dd:last-child { margin-bottom: 0; }
.wf-citation { font-size: 1.05rem !important; color: var(--wf-ink); }
.wf-records { font-size: 1.05rem !important; font-weight: 600; color: var(--wf-ink); }
.wf-refs { max-width: 40rem; margin: 1.2rem 0 0; padding-left: 1.4rem; font-size: .9rem; line-height: 1.45; color: var(--wf-soft); }
.wf-refs li { margin: 0 0 .45rem; }
.wf-refs a { overflow-wrap: anywhere; }

/* The set: the other eleven */
.wf-set { padding: clamp(2rem, 4vw, 3rem) 0 0; }
.wf-set ol { list-style: none; margin: 0; padding: 0; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 0 1.5rem; counter-reset: set; }
.wf-set li { counter-increment: set; display: grid; grid-template-columns: 1.8rem minmax(0, 1fr); padding: .55rem 0; border-top: 1px solid var(--wf-rule); font-size: .95rem; line-height: 1.3; }
.wf-set li::before { content: counter(set, decimal-leading-zero); font: 700 .7rem/1.9 var(--wf-mono); letter-spacing: .08em; color: var(--wf-soft); }
.wf-set li > span { color: var(--wf-soft); }
.wf-set li[aria-current="page"] { border-top: 3px solid var(--wf-ink); }
.wf-set li[aria-current="page"] > span { color: var(--wf-ink); font-weight: 700; }
.wf-set a { text-decoration: none; border-bottom: 2px solid var(--wf-cyan); }

/* Phones and narrow windows */
@media (max-width: 60em) {
  .wf-opening-top, .wf-section, .wf-meaning { grid-template-columns: minmax(0, 1fr); }
  .wf-section { grid-template-rows: none; }
  .wf-section > .wf-head, .wf-section > .wf-copy, .wf-section > .wf-side, .wf-section > .wf-copy--after { grid-column: 1; grid-row: auto; }
  .wf-section > .wf-side { order: 3; }
  .wf-number { margin-top: 1rem; }
  .wf-lines { grid-template-columns: minmax(0, 1fr); gap: 1.1rem; }
  .wf-set ol { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}
@media (max-width: 40em) {
  .wf-page { width: calc(100% - 2rem); }
  .wf-opening-top { row-gap: 0; }
  .wf-number { margin-top: .8rem; padding-top: .5rem; }
  .wf-number-big { font-size: 1.9rem; }
  .wf-number-cap { margin: .3rem 0 0; font-size: .84rem; }
  .wf-cap-long { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; }
  .wf-cap-short { display: inline; }
  .wf-number > .wf-label { margin-bottom: .2rem; }
  .wf-number-scale, .wf-number-note { display: none; }
  .wf-status { font-size: .86rem; }
  .wf-ceil li { grid-template-columns: 5.4rem minmax(0, 1fr); }
  .wf-set ol { grid-template-columns: minmax(0, 1fr); }
  .wf-table tbody th { width: auto; }
  .wf-table, .wf-table tbody, .wf-table tr, .wf-table th, .wf-table td { display: block; }
  .wf-table thead { display: none; }
  .wf-table tr { padding: .5rem 0; border-top: 1px solid var(--wf-rule); }
  .wf-table th, .wf-table td { border: 0; padding: .15rem 0; }
}
@media (forced-colors: active) {
  .wf-svg-meas { fill: CanvasText; }
  .wf-svg-axis, .wf-svg-bound, .wf-svg-model, .wf-svg-err { stroke: CanvasText; }
  .wf-svg-small, .wf-svg-tick { fill: CanvasText; }
}
@media print {
  /* Paper is white in print, with the light inks, whatever the screen's colour scheme. */
  body.wf-body[data-rpi-page] { --wf-paper: #fff; --wf-ink: #1d1d1b; --wf-body: #2a2926; --wf-soft: #3c3a36;
    --wf-cyan: #009fe3; --wf-magenta: #e6007e; --wf-cyan-text: #0072b5; --wf-magenta-text: #c4006b; --wf-open: #c8401f; background: #fff; }
}
/* The skip link stays out of sight until a keyboard user focuses it; above the sticky site header when it shows. */
body.wf-body[data-rpi-page] > .skip { position: absolute; left: -9999px; }
body.wf-body[data-rpi-page] > .skip:focus { left: 1rem; top: 1rem; z-index: 100; padding: .5rem .8rem; background: var(--wf-ink); color: var(--wf-paper); }