/* small machines; the visual instrument. it gives the book a surface that feels made, not templated. */

:root {
  --night: #151821;
  --night-soft: #242936;
  --paper: #f4eee2;
  --paper-deep: #e7ddcd;
  --ink: #27303a;
  --muted: #6e716f;
  --line: rgba(39, 48, 58, .18);
  --coral: #d7856f;
  --coral-dark: #a85c4c;
  --lilac: #b9a9dc;
  --mint: #a9d4c8;
  --mustard: #ddbd72;
  --sky-wash: #dfe6ed;
  --display: "Baskerville", "Iowan Old Style", "Palatino Linotype", Georgia, serif;
  --body: "Avenir Next", "Segoe UI", Helvetica, sans-serif;
  --mono: "SFMono-Regular", Consolas, "Liberation Mono", monospace;
  --measure: 1200px;
  --shadow: 0 16px 40px rgba(24, 27, 36, .08);
}

* { box-sizing: border-box; }
html { scroll-behavior: smooth; }
body { margin: 0; color: var(--ink); background: var(--paper); font-family: var(--body); font-size: 16px; line-height: 1.55; }
body::before { content: ""; position: fixed; inset: 0; pointer-events: none; opacity: .22; z-index: 10; background-image: radial-gradient(rgba(21, 24, 33, .1) .55px, transparent .55px); background-size: 7px 7px; mix-blend-mode: multiply; }
a { color: inherit; }
button, input { font: inherit; }
button { cursor: pointer; }
.skip-link { position: fixed; left: 1rem; top: -5rem; z-index: 50; background: var(--coral); color: var(--night); padding: .6rem 1rem; }
.skip-link:focus { top: 1rem; }
.page-width { width: min(calc(100% - 3rem), var(--measure)); margin-inline: auto; }

.site-header { width: min(calc(100% - 3rem), 1320px); margin: 0 auto; min-height: 90px; display: flex; align-items: center; justify-content: space-between; gap: 2rem; border-bottom: 1px solid var(--line); }
.wordmark { display: inline-flex; flex-direction: column; text-decoration: none; text-transform: lowercase; font-family: var(--display); font-size: 1.7rem; line-height: .76; letter-spacing: -.04em; }
.wordmark span { letter-spacing: .04em; font-family: var(--body); font-size: .53rem; font-weight: 700; }
.wordmark i { font-style: italic; }
.site-nav { display: flex; align-items: center; gap: 1.35rem; margin-left: auto; }
.site-nav a, .footer-links a { color: var(--muted); text-decoration: none; font-size: .74rem; letter-spacing: .08em; text-transform: uppercase; }
.site-nav a:hover, .site-nav a.active, .footer-links a:hover { color: var(--ink); }
.site-nav sup { color: var(--coral-dark); font-size: .62em; }
.random-button { color: var(--ink); border: 0; background: transparent; font-size: .75rem; letter-spacing: .06em; text-transform: uppercase; padding: .65rem 0; }
.random-button span { color: var(--coral-dark); font-size: 1.1rem; padding-left: .3rem; }

.hero { min-height: 690px; display: grid; grid-template-columns: minmax(0, 1.07fr) minmax(300px, .93fr); align-items: center; gap: 5vw; padding-block: 6rem 5rem; }
.eyebrow, .section-kicker { margin: 0 0 1.4rem; text-transform: uppercase; letter-spacing: .16em; font-size: .66rem; font-weight: 700; color: var(--coral-dark); }
h1, h2, h3, p { margin-top: 0; }
h1, h2, h3 { font-family: var(--display); font-weight: 400; letter-spacing: -.045em; }
h1 { max-width: 700px; margin-bottom: 1.65rem; font-size: clamp(3.8rem, 7.2vw, 7.3rem); line-height: .89; }
h2 { font-size: clamp(2.3rem, 4vw, 4.8rem); line-height: .94; }
.hero-intro { max-width: 560px; color: var(--muted); font-size: 1.04rem; }
.hero-actions { display: flex; align-items: center; flex-wrap: wrap; gap: 1.2rem; margin: 2.4rem 0 3.7rem; }
.button { display: inline-flex; align-items: center; gap: .75rem; padding: .85rem 1.15rem; text-decoration: none; text-transform: uppercase; letter-spacing: .1em; font-size: .66rem; font-weight: 700; transition: transform .2s ease, background .2s ease; }
.button:hover { transform: translateY(-2px); }
.button-fill { background: var(--night); color: var(--paper); }
.button-line { border: 1px solid currentColor; }
.quiet-link { color: var(--muted); text-decoration: none; font-size: .77rem; }
.quiet-link:hover { color: var(--coral-dark); }
.galileo { max-width: 480px; padding-left: 1rem; border-left: 2px solid var(--coral); color: var(--muted); font-family: var(--display); font-size: .97rem; }
.galileo span { display: block; color: var(--ink); font: 700 .64rem var(--body); letter-spacing: .12em; text-transform: uppercase; margin-bottom: .4rem; }
.galileo q { quotes: "“" "”"; }

.hero-instrument { position: relative; justify-self: center; width: min(40vw, 430px); aspect-ratio: 1; border: 1px solid rgba(39,48,58,.3); border-radius: 49% 51% 44% 56% / 56% 44% 54% 46%; transform: rotate(-9deg); background: radial-gradient(circle at 40% 40%, rgba(185,169,220,.6), transparent 25%), radial-gradient(circle at 70% 65%, rgba(169,212,200,.55), transparent 32%), var(--paper-deep); }
.hero-instrument::after { content: ""; position: absolute; inset: 11%; border: 1px solid rgba(39,48,58,.24); border-radius: 50%; }
.instrument-ring { position: absolute; inset: 18%; border: 1px solid rgba(39,48,58,.3); border-radius: 48% 52% 50% 50%; }
.ring-one { transform: rotate(29deg) scaleY(.66); }
.ring-two { transform: rotate(-38deg) scaleY(.66); }
.ring-three { inset: 30%; border-color: rgba(168,92,76,.5); transform: rotate(77deg) scaleY(.72); }
.instrument-point { position: absolute; width: 8px; height: 8px; background: var(--coral); border-radius: 50%; }
.point-one { top: 20%; left: 27%; }.point-two { right: 24%; top: 32%; background: var(--lilac); }.point-three { bottom: 19%; left: 44%; background: var(--mint); }
.instrument-center { position: absolute; left: 50%; top: 50%; transform: translate(-50%, -50%) rotate(9deg); font: italic 4rem var(--display); color: var(--night); }
.instrument-label { position: absolute; font: .62rem var(--mono); color: var(--muted); transform: rotate(9deg); }.label-a { left: 12%; top: 49%; }.label-b { right: 13%; bottom: 24%; }.label-c { top: 15%; right: 24%; }

.book-intro { display: flex; align-items: flex-end; justify-content: space-between; border-top: 1px solid var(--line); padding-block: 1.6rem 2.3rem; }
.book-intro p { margin: 0; font-family: var(--display); font-size: 1.6rem; }
.index-stats { display: flex; align-items: baseline; gap: .55rem; color: var(--muted); font-size: .63rem; letter-spacing: .1em; text-transform: uppercase; white-space: nowrap; }
.index-stats strong { color: var(--ink); font: 2.5rem var(--display); letter-spacing: -.06em; }
.index-stats span { margin-right: .6rem; }

.entries { padding-bottom: 8rem; }
.domain-divider { display: flex; align-items: baseline; gap: 1rem; padding-top: 4rem; margin-bottom: 1.8rem; border-top: 1px solid var(--line); }
.domain-divider:first-child { border-top: 0; padding-top: 1rem; }
.domain-divider h2 { margin: 0; font-size: clamp(3rem, 6vw, 6.2rem); }
.domain-number { margin-left: auto; color: var(--coral-dark); font: italic 1rem var(--display); }
.entry-plate { --plate: var(--sky-wash); position: relative; display: grid; grid-template-columns: minmax(210px, .74fr) minmax(0, 1.26fr); min-height: 470px; margin-bottom: 3.8rem; padding: clamp(1.7rem, 4vw, 3.8rem); gap: clamp(2rem, 5vw, 6rem); background: var(--plate); box-shadow: var(--shadow); overflow: hidden; clip-path: polygon(0 3%, 2% 0, 99% 2%, 100% 96%, 96% 100%, 1% 98%); }
.entry-plate::before { content: ""; position: absolute; width: 22rem; height: 22rem; border: 1px solid rgba(39,48,58,.13); border-radius: 50%; right: -9rem; top: -10rem; }
.entry-plate::after { content: ""; position: absolute; width: 12rem; height: 12rem; border: 1px solid rgba(39,48,58,.13); border-radius: 50%; left: -7rem; bottom: -7rem; }
.entry-plate[data-domain="sky"] { --plate: #e5e7ee; }.entry-plate[data-domain="earth"] { --plate: #e6e1d5; }.entry-plate[data-domain="living"] { --plate: #dce8df; }.entry-plate[data-domain="invisible"] { --plate: #e3deea; }.entry-plate[data-domain="structure"] { --plate: #eadfd4; }
.entry-plate:nth-of-type(odd) { border-radius: 32px 5px 38px 9px; }.entry-plate:nth-of-type(even) { border-radius: 6px 38px 11px 34px; }
.entry-aside, .entry-copy { position: relative; z-index: 1; }
.entry-aside { display: flex; flex-direction: column; justify-content: space-between; }
.entry-number { font: italic 1.05rem var(--display); color: var(--coral-dark); }
.entry-title { margin: 1.9rem 0 1.1rem; font-size: clamp(2rem, 3.4vw, 4rem); line-height: .95; }
.entry-plate.live .entry-title::after { content: "live"; display: inline-block; vertical-align: top; margin: .2rem 0 0 .7rem; padding: .25rem .45rem; border: 1px solid var(--coral-dark); border-radius: 99px; font: 700 .55rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.entry-formula { margin: 0; color: var(--coral-dark); font: 1.05rem var(--mono); line-height: 1.5; }
.entry-source { margin: 2rem 0 0; color: var(--muted); font-size: .65rem; line-height: 1.45; }
.entry-source span { display: block; color: var(--ink); text-transform: uppercase; letter-spacing: .11em; font-weight: 700; margin-bottom: .25rem; }
.entry-copy > .statement { max-width: 690px; margin-bottom: 1.65rem; font-family: var(--display); font-size: 1.45rem; line-height: 1.18; }
.readings { display: grid; grid-template-columns: 1fr 1fr; gap: 1.4rem; border-top: 1px solid rgba(39,48,58,.2); padding-top: 1rem; }
.reading-label { display: block; margin-bottom: .4rem; color: var(--coral-dark); font: 700 .62rem var(--body); text-transform: uppercase; letter-spacing: .11em; }
.readings p { margin: 0; color: var(--muted); font-size: .82rem; line-height: 1.5; }
.originators { display: flex; flex-wrap: wrap; gap: .5rem; margin-top: 1.7rem; }
.originator-chip { display: inline-flex; align-items: center; gap: .45rem; padding: .35rem .6rem .35rem .38rem; border: 1px solid rgba(39,48,58,.23); border-radius: 99px; background: rgba(244,238,226,.4); color: var(--ink); text-decoration: none; font-size: .67rem; }
.originator-chip::before { content: ""; display: block; width: 19px; height: 19px; background: var(--coral); border-radius: 50% 50% 44% 56%; }
.originator-chip:nth-child(2)::before { background: var(--lilac); border-radius: 45% 55% 50% 50%; }.originator-chip:nth-child(3)::before { background: var(--mint); }
.human-story { margin: 1.3rem 0 0; padding-left: .8rem; border-left: 2px solid var(--coral); color: var(--muted); font-size: .77rem; }
.history-card { position: relative; max-width: 720px; margin: 1.25rem 0 0; padding: .78rem 1rem .85rem; border: 1px solid rgba(39,48,58,.16); border-left: 3px solid var(--coral-dark); border-radius: 3px 21px 4px 15px; background: rgba(244,238,226,.58); }
.history-card > span { display: block; margin-bottom: .35rem; color: var(--coral-dark); font: 700 .55rem var(--body); letter-spacing: .11em; text-transform: uppercase; }
.history-card p { margin: 0; color: var(--muted); font-size: .76rem; line-height: 1.55; }
.entry-plate[data-domain="sky"] .history-card { transform: rotate(-.2deg); }
.visual-shell { position: relative; margin-top: 2.1rem; padding: .8rem .8rem .7rem; border: 1px solid rgba(39,48,58,.23); background: rgba(244,238,226,.3); border-radius: 15px 5px 16px 5px; }
.entry-canvas { display: block; width: 100%; height: 210px; }
.visual-tools { display: flex; align-items: center; flex-wrap: wrap; gap: .8rem; border-top: 1px solid rgba(39,48,58,.16); padding-top: .6rem; }
.visual-tools label { color: var(--muted); font-size: .65rem; letter-spacing: .08em; text-transform: uppercase; }
.visual-tools input[type="range"] { accent-color: var(--coral-dark); width: min(280px, 45%); }
.slider-value { min-width: 4rem; color: var(--ink); font: .72rem var(--mono); }
.take-home { margin-left: auto; border: 0; border-bottom: 1px solid var(--coral-dark); background: transparent; color: var(--coral-dark); padding: .25rem 0; font-size: .63rem; letter-spacing: .08em; text-transform: uppercase; }
.take-home:hover { color: var(--ink); }

.margin { display: grid; grid-template-columns: 90px 1fr 260px; align-items: start; gap: 2rem; padding: 4rem 0 7rem; border-top: 1px solid var(--line); }
.margin-mark { width: 68px; height: 68px; display: grid; place-items: center; border: 1px solid var(--coral-dark); border-radius: 50% 42% 52% 47%; font: 2.2rem var(--display); color: var(--coral-dark); }
.margin h2 { margin-bottom: 1rem; font-size: clamp(2.7rem, 4vw, 4.5rem); }.margin p { max-width: 610px; color: var(--muted); }.margin .button { margin-top: .5rem; }
.margin-note { padding: 1.2rem; border-top: 3px solid var(--coral); background: var(--paper-deep); transform: rotate(2deg); }.margin-note span, .margin-note small { color: var(--coral-dark); font: .6rem var(--body); letter-spacing: .1em; text-transform: uppercase; }.margin-note p { margin: 1.3rem 0 2.5rem; color: var(--ink); font: italic 1.2rem var(--display); }

.site-footer { display: grid; grid-template-columns: 1.2fr 1fr 1.2fr; gap: 2rem; align-items: end; padding-block: 2.3rem 3rem; border-top: 1px solid var(--line); }.site-footer p { margin: .8rem 0 0; color: var(--muted); font-size: .72rem; }.footer-links { display: flex; flex-direction: column; gap: .5rem; }.footer-sources { text-align: right; }

/* the arena and hall share the quieter reading surface */
.page-hero { padding: 7rem 0 4rem; max-width: 800px; }.page-hero h1 { font-size: clamp(3.6rem, 7vw, 7.2rem); }.page-hero p:not(.eyebrow) { color: var(--muted); font-size: 1.05rem; max-width: 620px; }
.arena-band { display: grid; grid-template-columns: 1.4fr .6fr; gap: 2rem; align-items: end; padding: 1.2rem 0 2.6rem; border-top: 1px solid var(--line); }.arena-band h2 { margin: 0; font-size: 2.3rem; }.counter { text-align: right; }.counter strong { display: block; font: 4.7rem var(--display); line-height: .85; }.counter span { color: var(--muted); font-size: .65rem; letter-spacing: .12em; text-transform: uppercase; }
.filter-row { display: flex; gap: .55rem; flex-wrap: wrap; margin-bottom: 2rem; }.filter-button { border: 1px solid var(--line); border-radius: 99px; background: transparent; padding: .5rem .8rem; color: var(--muted); font-size: .65rem; text-transform: uppercase; letter-spacing: .08em; }.filter-button.active, .filter-button:hover { background: var(--night); color: var(--paper); border-color: var(--night); }
.problem-table-wrap { overflow-x: auto; }.problem-table { width: 100%; border-collapse: collapse; font-size: .8rem; }.problem-table th { padding: .8rem .6rem; color: var(--muted); text-align: left; border-bottom: 2px solid var(--ink); font-size: .61rem; letter-spacing: .1em; text-transform: uppercase; }.problem-table td { padding: 1rem .6rem; vertical-align: top; border-bottom: 1px solid var(--line); }.problem-table tbody tr:hover { background: rgba(231,221,205,.5); }.problem-number { color: var(--coral-dark); font: italic 1.1rem var(--display); }.problem-title { min-width: 260px; font: 1.2rem var(--display); }.problem-title small { display: block; color: var(--muted); font: .7rem var(--body); margin-top: .35rem; }.problem-summary { color: var(--muted); max-width: 380px; }.status { display: inline-block; padding: .27rem .5rem; border-radius: 99px; background: var(--paper-deep); color: var(--muted); font-size: .61rem; text-transform: uppercase; letter-spacing: .08em; white-space: nowrap; }.status.open { color: var(--coral-dark); background: #f0d7ce; }.status.verified { color: #42675e; background: #d2e7dd; }.status.under-review { color: #6d5c27; background: #f1e5bd; }
.ledger { margin: 5rem 0 7rem; padding-top: 2rem; border-top: 1px solid var(--line); }.ledger h2 { margin-bottom: 1rem; }.ledger > p { color: var(--muted); max-width: 660px; }.attempt { display: grid; grid-template-columns: 1fr 140px 180px; gap: 1rem; align-items: center; padding: 1rem 0; border-bottom: 1px solid var(--line); }.attempt strong { font-family: var(--display); font-weight: 400; }.attempt small { color: var(--muted); }.attempt a { color: var(--coral-dark); font-size: .7rem; text-decoration: none; }
.ladder { display: flex; gap: .45rem; align-items: center; margin: 2rem 0; }.ladder-step { padding: .65rem .85rem; border: 1px solid var(--line); border-radius: 50% 45% 48% 52%; color: var(--muted); font-size: .64rem; text-transform: uppercase; letter-spacing: .08em; }.ladder-arrow { color: var(--coral-dark); }

.timeline-wrap { overflow-x: auto; padding: 2rem 0 4rem; }.timeline { min-width: 2800px; height: 220px; position: relative; border-bottom: 1px solid var(--ink); }.timeline::before { content: ""; position: absolute; left: 0; right: 0; top: 108px; border-top: 1px solid var(--line); }.timeline-item { position: absolute; width: 7.2rem; transform: translateX(-50%); text-align: center; }.timeline-item.above { top: 8px; }.timeline-item.below { top: 124px; }.timeline-item::before { content: ""; position: absolute; left: 50%; width: 11px; height: 11px; transform: translateX(-50%); border-radius: 50%; background: var(--coral); border: 3px solid var(--paper); box-shadow: 0 0 0 1px var(--coral); }.timeline-item.above::before { top: 94px; }.timeline-item.below::before { top: -22px; }.timeline-item:nth-child(2n)::before { background: var(--lilac); box-shadow: 0 0 0 1px var(--lilac); }.timeline-item strong { display: block; font: .95rem var(--display); }.timeline-item small { display: block; color: var(--muted); font-size: .58rem; letter-spacing: .08em; text-transform: uppercase; }.hall-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 1.2rem; padding-bottom: 7rem; }.human-card { position: relative; min-height: 240px; padding: 1.6rem; background: var(--paper-deep); border-radius: 38px 8px 10px 8px; }.human-card:nth-child(3n+2) { background: #e0e1ec; border-radius: 8px 38px 8px 12px; }.human-card:nth-child(3n) { background: #e6e4d3; border-radius: 9px 9px 38px 8px; }.human-era { color: var(--coral-dark); font: .61rem var(--body); letter-spacing: .11em; text-transform: uppercase; }.human-card h2 { margin: 1.5rem 0 .35rem; font-size: 1.9rem; }.human-role { margin: 0 0 1.2rem; color: var(--muted); font-size: .72rem; }.human-card p:last-child { margin: 0; font-size: .78rem; color: var(--ink); }.human-entry-links { position: absolute; right: 1.4rem; top: 1.4rem; color: var(--muted); font: .6rem var(--mono); }

@media (max-width: 800px) {
  .site-header { min-height: 75px; flex-wrap: wrap; gap: .7rem; padding-block: .8rem; }.site-nav { order: 3; width: 100%; justify-content: space-between; gap: .4rem; }.site-nav a { font-size: .6rem; }.random-button { font-size: .62rem; }
  .hero { display: block; min-height: auto; padding-block: 4rem 5rem; }.hero-instrument { width: min(70vw, 380px); margin: 4rem auto 1rem; }.book-intro { display: block; }.index-stats { margin-top: 1.2rem; }.index-stats strong { font-size: 2rem; }
  .entry-plate { grid-template-columns: 1fr; gap: 1rem; padding: 1.5rem; }.entry-aside { display: block; }.entry-source { margin-top: 1.2rem; }.entry-copy > .statement { font-size: 1.2rem; }.readings { gap: .8rem; }.visual-tools input[type="range"] { width: 45%; }.take-home { width: 100%; text-align: left; margin-left: 0; margin-top: .3rem; }
  .margin { grid-template-columns: 1fr; gap: 1rem; }.margin-mark { width: 54px; height: 54px; }.margin-note { max-width: 280px; }.site-footer { grid-template-columns: 1fr; }.footer-sources { text-align: left; }
  .page-hero { padding-block: 4rem 3rem; }.arena-band { grid-template-columns: 1fr; }.counter { text-align: left; }.attempt { grid-template-columns: 1fr; gap: .25rem; }.ladder { flex-wrap: wrap; }.ladder-arrow { display: none; }.hall-grid { grid-template-columns: 1fr; }.timeline { min-width: 2400px; }
}
@media (prefers-reduced-motion: reduce) { html { scroll-behavior: auto; }.button { transition: none; } }

/* the short ladder; one quiet invitation in the book */
.book-ladder { display: grid; grid-template-columns: minmax(0, .72fr) minmax(0, 1.28fr); gap: 1rem 3rem; align-items: start; margin: 0 auto 5.5rem; padding: 2rem 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.book-ladder .eyebrow { margin: 0 0 .5rem; }
.book-ladder h2 { margin: 0; font-size: clamp(1.8rem, 3vw, 2.7rem); }
.book-ladder-copy { color: var(--muted); }
.book-ladder-copy p { max-width: 46rem; margin: 0 0 .55rem; }
.book-ladder-link { display: inline-block; margin-top: .35rem; color: var(--coral-dark); font-size: .78rem; text-decoration-thickness: 1px; text-underline-offset: .22em; }
@media (max-width: 800px) { .book-ladder { grid-template-columns: 1fr; gap: .8rem; }.book-ladder-link { margin-top: .2rem; } }

/* the toy shelf; four instruments with their own geometry */
.site-nav a { white-space: nowrap; }
.toy-hero { padding-bottom: 3rem; }
.toy-hero h1 { max-width: 850px; }
.toy-hero-line { display: flex; flex-wrap: wrap; gap: .55rem 1.4rem; margin-top: 2.1rem; padding-top: .85rem; border-top: 1px solid var(--line); color: var(--coral-dark); font: .62rem var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.toy-shelf-grid { display: grid; grid-template-columns: minmax(0, 1.05fr) minmax(0, .95fr); gap: 3.2rem 2.5rem; padding: 1rem 0 5rem; align-items: start; }
.toy-card { position: relative; overflow: hidden; padding: clamp(1.4rem, 3.4vw, 2.7rem); box-shadow: var(--shadow); }
.toy-card::before { content: ""; position: absolute; z-index: 0; width: 13rem; height: 13rem; right: -6rem; top: -7rem; border: 1px solid rgba(39,48,58,.17); border-radius: 50%; pointer-events: none; }
.toy-card > * { position: relative; z-index: 1; }
.toy-buffon { background: #e5e7ee; border-radius: 44px 5px 31px 11px; transform: rotate(-.25deg); }
.toy-galton { margin-top: 3.5rem; background: #dce8df; border-radius: 7px 46px 10px 36px; transform: rotate(.35deg); }
.toy-chaos { background: #e3deea; border-radius: 50% 8px 43px 7px / 22px 8px 31px 8px; transform: rotate(.25deg); }
.toy-hotel { margin-top: 3.1rem; background: #eadfd4; border-radius: 7px 34px 8px 44px; transform: rotate(-.3deg); }
.toy-heading { display: flex; align-items: baseline; gap: 1rem; flex-wrap: wrap; }
.toy-number { color: var(--coral-dark); font: .62rem var(--mono); letter-spacing: .09em; text-transform: uppercase; }
.toy-heading h2 { margin: 0; font-size: clamp(2.2rem, 3.6vw, 3.5rem); }
.toy-intro { max-width: 38rem; margin: 1rem 0 1.35rem; color: var(--muted); font-size: .91rem; }
.toy-stage { padding: .55rem .65rem 0; background: rgba(244,238,226,.62); border-radius: 17px 4px 18px 5px; }
.toy-canvas { display: block; width: 100%; height: 300px; }
.toy-readout { display: grid; grid-template-columns: 1fr auto; gap: .25rem .7rem; align-items: baseline; padding: .75rem .25rem .7rem; border-top: 1px solid rgba(39,48,58,.17); }
.toy-readout span, .toy-readout small { color: var(--muted); font: .61rem var(--mono); }
.toy-readout strong { grid-column: 2; grid-row: 1 / span 2; color: var(--coral-dark); font: 1.2rem var(--display); text-align: right; }
.toy-readout small { grid-column: 1; }
.toy-controls { display: grid; grid-template-columns: auto minmax(80px, 1fr) 4rem auto; gap: .7rem; align-items: center; padding: .95rem .1rem .4rem; }
.toy-controls label { color: var(--muted); font-size: .64rem; letter-spacing: .08em; text-transform: uppercase; }
.toy-controls input[type="range"] { width: 100%; accent-color: var(--coral-dark); }
.toy-controls output { color: var(--ink); font: .68rem var(--mono); }
.toy-button { border: 0; border-bottom: 1px solid var(--coral-dark); padding: .35rem 0; background: transparent; color: var(--coral-dark); font-size: .64rem; letter-spacing: .07em; text-transform: uppercase; }
.toy-button:hover { color: var(--ink); }
.toy-invariant { margin: .5rem 0 1rem; color: var(--muted); font: .67rem var(--mono); line-height: 1.5; }
.toy-entry-link { display: inline-flex; align-items: center; gap: .45rem; color: var(--ink); text-decoration: none; font: .65rem var(--body); letter-spacing: .08em; text-transform: uppercase; border-bottom: 1px solid var(--coral-dark); padding-bottom: .2rem; }
.toy-entry-link:hover { color: var(--coral-dark); }
.toy-entry-links { display: flex; flex-wrap: wrap; gap: .65rem 1.1rem; }
.hotel-stage { padding: .9rem 1rem .6rem; border-top: 1px solid rgba(39,48,58,.2); border-bottom: 1px solid rgba(39,48,58,.2); }
.hotel-caption { display: flex; justify-content: space-between; gap: 1rem; color: var(--coral-dark); font: .58rem var(--mono); letter-spacing: .06em; text-transform: uppercase; }
.hotel-caption span:last-child { color: var(--muted); text-align: right; }
.hotel-rooms { display: grid; grid-template-columns: 1fr 1fr; gap: .4rem .9rem; margin: 1rem 0 0; padding: 0; list-style: none; }
.hotel-room { display: flex; justify-content: space-between; gap: .45rem; align-items: baseline; padding: .38rem .55rem; background: rgba(244,238,226,.56); border-radius: 13px 3px 12px 3px; animation: hotel-arrival .35s ease both; }
.hotel-room:nth-child(3n) { transform: translateX(.55rem); }
.hotel-room span { color: var(--muted); font: .56rem var(--mono); white-space: nowrap; }
.hotel-room strong { color: var(--ink); font: .83rem var(--display); text-align: right; }
.hotel-room.new-arrival { background: rgba(215,133,111,.32); }
.hotel-ellipsis { margin: .45rem 0 0; color: var(--coral-dark); font: 1.6rem var(--display); text-align: center; line-height: .8; }
.hotel-controls { display: flex; flex-wrap: wrap; gap: 1.3rem; padding: .85rem .1rem .35rem; }
.quiet-toy-button { color: var(--muted); border-color: var(--line); }
@keyframes hotel-arrival { from { opacity: .25; translate: 0 -7px; } to { opacity: 1; translate: 0 0; } }
.toy-colophon { display: grid; grid-template-columns: 58px 1fr; gap: 1.3rem; align-items: center; max-width: 790px; margin: 0 auto 7rem; padding: 1.5rem 2rem; border-top: 1px solid var(--coral-dark); border-bottom: 1px solid var(--line); transform: rotate(-.4deg); }
.toy-colophon-mark { display: grid; place-items: center; width: 48px; height: 48px; border: 1px solid var(--coral-dark); border-radius: 46% 54% 47% 53%; color: var(--coral-dark); font: 1.7rem var(--display); }
.toy-colophon p { margin: 0; color: var(--muted); font: 1.1rem var(--display); }

/* the bookplate; a small reading surface with a real print face */
.entry-sound { display: flex; align-items: center; gap: .8rem; margin: 1.1rem 0 -.7rem; }
.entry-sound p { margin: 0; color: var(--muted); font: italic .9rem var(--display); }
.sound-toggle { display: inline-flex; align-items: center; gap: .35rem; border: 1px solid rgba(39,48,58,.24); border-radius: 99px; padding: .32rem .6rem .32rem .4rem; background: rgba(244,238,226,.5); color: var(--coral-dark); font-size: .58rem; letter-spacing: .06em; text-transform: uppercase; }
.sound-toggle svg { width: 16px; height: 16px; fill: none; stroke: currentColor; stroke-width: 1.7; stroke-linecap: round; stroke-linejoin: round; }
.sound-toggle[aria-pressed="true"] { background: var(--night); color: var(--paper); }
.sound-status { color: var(--muted); font-size: .59rem; }
.bookplate-maker { margin-top: 1.1rem; border-top: 1px solid rgba(39,48,58,.2); }
.bookplate-maker summary { width: fit-content; padding: .65rem .1rem .35rem; color: var(--coral-dark); cursor: pointer; font-size: .64rem; letter-spacing: .1em; text-transform: uppercase; }
.bookplate-editor { padding: .7rem 0 .2rem; }
.bookplate-form { display: grid; grid-template-columns: auto minmax(100px, 1fr) auto; gap: .65rem; align-items: center; }
.bookplate-form label { color: var(--muted); font-size: .62rem; letter-spacing: .07em; text-transform: uppercase; }
.bookplate-form input { min-width: 0; border: 0; border-bottom: 1px solid var(--line); border-radius: 0; padding: .45rem .25rem; background: transparent; color: var(--ink); font: .9rem var(--display); }
.bookplate-form input:focus { outline: 2px solid var(--coral); outline-offset: 2px; }
.bookplate-form button, .bookplate-print { border: 0; border-bottom: 1px solid var(--coral-dark); padding: .35rem .1rem; background: transparent; color: var(--coral-dark); font-size: .59rem; letter-spacing: .08em; text-transform: uppercase; }
.bookplate-preview { padding-top: .9rem; }
.bookplate-sheet { position: relative; display: grid; justify-items: center; gap: .45rem; width: 100%; max-width: 620px; min-height: 250px; margin: .4rem auto 1rem; padding: 1.5rem 2.2rem; border: 1px solid rgba(39,48,58,.55); outline: 1px solid rgba(39,48,58,.25); outline-offset: -7px; background: #f4eee2; color: var(--ink); text-align: center; box-shadow: 0 8px 28px rgba(24,27,36,.08); }
.bookplate-sheet::before, .bookplate-sheet::after { content: "·"; position: absolute; top: 50%; color: var(--coral-dark); font: 1.5rem var(--display); }
.bookplate-sheet::before { left: 1rem; }.bookplate-sheet::after { right: 1rem; }
.bookplate-formula { max-width: 100%; color: var(--coral-dark); font: italic .92rem var(--mono); overflow-wrap: anywhere; }
.bookplate-belongs { margin: .55rem 0 0; color: var(--muted); font: italic 1rem var(--display); }
.bookplate-sheet h4 { max-width: 100%; margin: 0; font: 2.2rem/.98 var(--display); letter-spacing: -.03em; overflow-wrap: anywhere; }
.bookplate-originators { margin: .25rem 0 0; color: var(--muted); font: .63rem var(--body); letter-spacing: .08em; text-transform: uppercase; }
.bookplate-sheet time { color: var(--coral-dark); font: .62rem var(--mono); }
.bookplate-print { margin-top: .35rem; }

/* the closed pages; a lighter register of proofs already carried through */
.solved-hero { padding-bottom: 3.5rem; }
.solved-hero h1 { max-width: 900px; }
.solved-band { display: grid; grid-template-columns: 1.4fr .6fr; gap: 2rem; align-items: end; padding: 1.2rem 0 2.4rem; border-top: 1px solid var(--line); }
.solved-band h2 { max-width: 720px; margin: 0; font-size: clamp(2.3rem, 4vw, 4.4rem); }
.solved-note { max-width: 750px; margin: 0 0 2.5rem; color: var(--muted); font: 1.05rem var(--display); }
.solved-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 1.35rem; padding-bottom: 7rem; }
.solved-plate { position: relative; min-height: 330px; padding: 1.55rem 1.65rem 1.4rem; background: var(--paper-deep); border-radius: 34px 5px 12px 7px; box-shadow: var(--shadow); }
.solved-plate:nth-child(3n+2) { background: #e0e1ec; border-radius: 7px 38px 8px 27px; transform: translateY(1.4rem); }
.solved-plate:nth-child(3n) { background: #dce8df; border-radius: 10px 10px 37px 8px; }
.solved-plate:nth-child(4n) { background: #eadfd4; }
.solved-topline { display: flex; align-items: center; justify-content: space-between; gap: .6rem; }
.solved-number { color: var(--coral-dark); font: italic 1.4rem var(--display); }
.verification-register { padding: .28rem .48rem; border: 1px solid rgba(39,48,58,.24); border-radius: 40% 60% 47% 53%; color: var(--muted); font-size: .53rem; letter-spacing: .09em; text-transform: uppercase; }
.verification-register.formal { border-color: #608276; color: #42675e; background: rgba(169,212,200,.34); }
.verification-register.peer-reviewed { border-color: var(--coral-dark); color: var(--coral-dark); }
.verification-register.relative-consistency { border-color: #75659b; color: #62527e; }
.solved-plate h2 { margin: 1.3rem 0 .7rem; font-size: clamp(1.8rem, 2.4vw, 2.55rem); line-height: .98; }
.solved-formula { margin: -.15rem 0 .75rem; color: var(--coral-dark); font: .84rem var(--mono); }
.solved-solver, .solved-year { margin: .55rem 0; color: var(--ink); font: .8rem var(--display); }
.solved-solver > span, .solved-year > span { display: block; margin-bottom: .15rem; color: var(--coral-dark); font: 700 .55rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.solved-solver a { text-decoration-color: rgba(168,92,76,.55); text-underline-offset: 2px; }
.solver-separator { color: var(--muted); }
.solved-verification { margin: 1rem 0 .75rem; color: var(--muted); font-size: .72rem; line-height: 1.5; }
.solved-source { color: var(--coral-dark); text-decoration: none; font-size: .59rem; letter-spacing: .08em; text-transform: uppercase; }

/* the arena pages; each question carries its submissions and its solution shelf */
.problem-pages { padding-top: 5rem; }
.problem-pages > h2 { max-width: 850px; margin-bottom: 1rem; }
.world-problem-pages { margin-top: 5rem; border-top: 1px solid var(--line); }
.codex-problems { margin-top: 5.5rem; padding: 2.5rem 0 0; border-top: 2px solid var(--coral-dark); }
.problem-page { position: relative; margin: 1.3rem 0 1.6rem; padding: 1.6rem clamp(1rem, 3vw, 2.5rem) 1.45rem; border-top: 1px solid rgba(39,48,58,.25); background: rgba(231,221,205,.23); }
.problem-page:nth-child(odd) { border-radius: 31px 4px 25px 6px; }
.problem-page:nth-child(even) { border-radius: 4px 28px 6px 23px; }
.world-problem:nth-child(3n+2) { background: rgba(223,230,237,.47); }
.house-problem { background: #e3deea; box-shadow: var(--shadow); }
.house-problem:nth-child(odd) { background: #dce8df; }
.house-problem:nth-child(even) { background: #eadfd4; }
.problem-page-top { display: flex; justify-content: space-between; align-items: start; gap: 1.2rem; }
.problem-page-index { color: var(--coral-dark); font: .59rem var(--mono); letter-spacing: .09em; text-transform: uppercase; }
.problem-page h3 { margin: .45rem 0 .5rem; font-size: clamp(1.8rem, 3vw, 2.7rem); }
.problem-page .status { margin-top: .25rem; }
.problem-type { margin: 0 0 .8rem; color: var(--coral-dark); font: .63rem var(--mono); }
.problem-statement { max-width: 880px; margin: .35rem 0 1rem; font: 1.05rem/1.42 var(--display); }
.problem-approach { max-width: 840px; margin: 0 0 1.1rem; color: var(--muted); font-size: .78rem; }
.problem-approach span { display: block; margin-bottom: .2rem; color: var(--coral-dark); font: 700 .55rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.solutions-area { margin-top: 1.15rem; padding: .8rem 0 0 1rem; border-top: 1px solid rgba(39,48,58,.2); border-left: 2px solid var(--coral-dark); }
.solutions-heading { display: flex; justify-content: space-between; flex-wrap: wrap; gap: .3rem 1rem; align-items: baseline; margin-bottom: .65rem; }
.solutions-heading span { color: var(--coral-dark); font: 700 .58rem var(--body); letter-spacing: .12em; text-transform: uppercase; }
.solutions-heading small { color: var(--muted); font: .58rem var(--mono); }
.empty-solutions, .closed-solution-link { margin: .3rem 0 .5rem; color: var(--muted); font-size: .72rem; }
.closed-solution-link a { color: var(--coral-dark); }
.submission-card { position: relative; margin: .75rem 0; padding: 1rem 1.1rem; background: rgba(244,238,226,.55); border-radius: 19px 4px 15px 4px; }
.submission-card.verified { background: rgba(169,212,200,.31); border: 1px solid rgba(66,103,94,.27); }
.submission-card.under-review { background: rgba(221,189,114,.2); }
.submission-heading { display: flex; justify-content: space-between; gap: 1rem; align-items: center; }
.submission-heading h5 { margin: 0; font: 1.15rem var(--display); }
.submission-heading time { display: block; margin-top: .15rem; color: var(--muted); font: .58rem var(--mono); }
.submission-claim { margin: .65rem 0; font: .83rem/1.45 var(--display); }
.submission-review { margin: .45rem 0; color: var(--muted); font-size: .7rem; }
.status-stamp { display: inline-block; padding: .28rem .53rem; border-radius: 99px; font-size: .56rem; letter-spacing: .08em; text-transform: uppercase; white-space: nowrap; }
.status-stamp.attempted { border: 1px dotted var(--line); color: var(--muted); background: transparent; }
.status-stamp.under-review { color: #6d5c27; background: #f1e5bd; border: 1px solid rgba(109,92,39,.25); }
.status-stamp.verified { color: #355c52; background: #d2e7dd; border: 1px solid rgba(66,103,94,.5); box-shadow: 0 0 0 2px rgba(169,212,200,.22); }
.status-stamp.withdrawn { color: var(--muted); background: rgba(39,48,58,.06); text-decoration: line-through; }
.solution-inscription { margin: .7rem 0; padding: .55rem .75rem; border-left: 2px solid #42675e; background: rgba(244,238,226,.43); }
.solution-inscription p { margin: .12rem 0; color: #355c52; font: .72rem/1.4 var(--display); }
.solution-inscription p span { font-variant: small-caps; letter-spacing: .07em; }
.solution-file-heading { display: flex; justify-content: space-between; gap: 1rem; color: var(--muted); font: .56rem var(--mono); text-transform: uppercase; }
.solution-file-content { position: relative; margin-top: .45rem; }
.solution-file-content pre, .witness-output pre { max-height: 420px; overflow: auto; margin: 0; padding: .85rem 1rem; background: var(--night); color: #f4eee2; font: .68rem/1.55 var(--mono); white-space: pre; border-radius: 14px 3px 12px 3px; }
.solution-file-content code, .witness-output code { color: inherit; }
.copy-witness { margin-top: .5rem; border: 0; border-bottom: 1px solid var(--coral-dark); background: transparent; color: var(--coral-dark); padding: .25rem 0; font-size: .6rem; letter-spacing: .08em; text-transform: uppercase; }
.solution-loading { margin: .35rem 0; color: var(--muted); font-size: .7rem; }
.rerun-command { display: grid; gap: .25rem; margin: .65rem 0; }
.rerun-command span, .witness-output > span { color: var(--coral-dark); font: 700 .54rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.rerun-command code { overflow-wrap: anywhere; color: var(--ink); font: .66rem var(--mono); }
.witness-output { margin-top: .65rem; }
.witness-output pre { margin-top: .3rem; max-height: 180px; color: #d8e5dd; }
.proof-markdown { color: var(--ink); font: .83rem/1.58 var(--display); }
.proof-markdown h3, .proof-markdown h4, .proof-markdown h5, .proof-markdown h6 { margin: 1rem 0 .35rem; font-size: 1.1rem; }
.proof-markdown p { margin: .45rem 0; }
.proof-markdown ul { margin: .4rem 0; padding-left: 1.25rem; }
.proof-markdown pre { overflow: auto; padding: .7rem; background: rgba(39,48,58,.08); font: .68rem var(--mono); }
.submission-link { display: inline-block; margin-top: .35rem; color: var(--coral-dark); font-size: .59rem; text-decoration: none; letter-spacing: .08em; text-transform: uppercase; }
.problem-origin { color: var(--coral-dark); font-size: .6rem; letter-spacing: .08em; text-transform: uppercase; }
.problem-title a { text-decoration: none; text-decoration-color: var(--coral-dark); text-underline-offset: 3px; }
.problem-title a:hover { color: var(--coral-dark); }
.problem-title small { text-transform: uppercase; letter-spacing: .08em; }
.status.attempted { color: var(--muted); background: transparent; border: 1px dotted var(--line); }
.status.withdrawn { color: var(--muted); background: rgba(39,48,58,.06); }

/* the duel wall; four margin notes instead of four matching slabs */
.duel-wall { margin: 5rem 0 6rem; padding: 2.2rem 0 0; border-top: 1px solid var(--line); }
.duel-wall > h2 { margin-bottom: .8rem; font-size: clamp(3rem, 5vw, 5rem); }
.duel-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 1.35rem; margin-top: 2.3rem; }
.duel-note { position: relative; padding: .9rem .75rem .85rem; border-top: 2px solid var(--coral-dark); }
.duel-note:nth-child(2) { margin-top: 1.5rem; border-color: #6b7890; }
.duel-note:nth-child(3) { margin-top: .4rem; border-color: #788c7c; }
.duel-note:nth-child(4) { margin-top: 2rem; border-color: #9b8051; }
.duel-index { color: var(--coral-dark); font: .56rem var(--mono); letter-spacing: .08em; text-transform: uppercase; }
.duel-note h3 { margin: 1rem 0 .5rem; font-size: 1.7rem; line-height: .98; }
.duel-formula { min-height: 2.5rem; margin: .75rem 0; color: var(--coral-dark); font: .75rem var(--mono); }
.duel-note > p:last-child { margin: 0; color: var(--muted); font: .78rem/1.48 var(--display); }

@media print {
  @page { size: 5.5in 3.5in; margin: 0; }
  body.printing-bookplate, body.printing-bookplate * { visibility: hidden !important; }
  body.printing-bookplate .bookplate-print-target, body.printing-bookplate .bookplate-print-target * { visibility: visible !important; }
  body.printing-bookplate .bookplate-print-target { position: fixed !important; inset: 0 !important; display: grid !important; width: 100% !important; height: 100% !important; max-width: none !important; margin: 0 !important; padding: .35in .5in !important; border: 1px solid #27303a !important; outline: 1px solid #27303a !important; outline-offset: -9px !important; background: #f4eee2 !important; color: #27303a !important; box-shadow: none !important; break-inside: avoid; }
  body.printing-bookplate .bookplate-print-target button { display: none !important; }
  body.printing-bookplate::before { display: none !important; }
}

@media (max-width: 1060px) {
  .site-nav { gap: .75rem; }
  .site-nav a { font-size: .64rem; }
  .duel-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .duel-note:nth-child(n) { margin-top: 0; }
}
@media (max-width: 800px) {
  .site-nav { justify-content: flex-start; flex-wrap: wrap; gap: .35rem .85rem; overflow: visible; }
  .site-nav a { font-size: .56rem; }
  .toy-shelf-grid { grid-template-columns: 1fr; gap: 2rem; }
  .toy-galton, .toy-hotel { margin-top: 0; }
  .toy-controls { grid-template-columns: auto minmax(70px, 1fr) 3.5rem; }
  .toy-controls .toy-button { grid-column: 1 / -1; justify-self: start; }
  .hotel-room:nth-child(3n) { transform: none; }
  .solved-band { grid-template-columns: 1fr; }
  .solved-band .counter { text-align: left; }
  .solved-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 1rem; }
  .solved-plate:nth-child(3n+2) { transform: none; }
  .problem-page-top { align-items: start; }
  .duel-grid { grid-template-columns: 1fr 1fr; }
  .bookplate-form { grid-template-columns: 1fr; gap: .4rem; }
  .bookplate-form button { justify-self: start; }
}
@media (max-width: 560px) {
  .solved-grid, .duel-grid { grid-template-columns: 1fr; }
  .solved-plate { min-height: 0; }
  .solved-plate:nth-child(n) { transform: none; }
  .toy-colophon { grid-template-columns: 44px 1fr; padding: 1rem .3rem; }
  .toy-colophon-mark { width: 38px; height: 38px; }
  .toy-canvas { height: 250px; }
  .hotel-rooms { grid-template-columns: 1fr; }
  .hotel-caption { flex-direction: column; gap: .3rem; }
  .hotel-caption span:last-child { text-align: left; }
  .submission-heading { align-items: flex-start; flex-direction: column; }
  .solution-file-heading { flex-direction: column; gap: .2rem; }
}
@media (prefers-reduced-motion: reduce) {
  .hotel-room { animation: none; }
  .toy-button, .sound-toggle, .bookplate-form button { transition: none; }
}
.timeline-item a { color: inherit; text-decoration: none; text-decoration-color: var(--coral-dark); text-underline-offset: 2px; }
.timeline-item a:hover { color: var(--coral-dark); text-decoration: underline; }
.human-entry-links { display: flex; flex-wrap: wrap; justify-content: flex-end; gap: .15rem .3rem; max-width: 45%; text-align: right; line-height: 1.2; }
.human-entry-links a { color: inherit; text-decoration: none; }
.human-entry-links a:hover { color: var(--coral-dark); text-decoration: underline; }
.problem-source-line { display: flex; flex-wrap: wrap; gap: .4rem .75rem; align-items: baseline; margin: .25rem 0 .75rem; font-size: .62rem; }
.problem-source-line span { color: var(--coral-dark); font: 700 .54rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.problem-source-line a { color: var(--muted); text-decoration-color: var(--coral-dark); text-underline-offset: 2px; }
.problem-source-line a:hover { color: var(--coral-dark); }
.solution-attachment[data-solution-type="julia"], .solution-attachment[data-solution-type="rust"] { display: grid; grid-template-columns: minmax(0, 1.45fr) minmax(170px, .75fr); gap: .55rem 1rem; }
.solution-attachment[data-solution-type="julia"] .solution-file-heading, .solution-attachment[data-solution-type="rust"] .solution-file-heading { grid-column: 1 / -1; }
.solution-attachment[data-solution-type="julia"] .solution-file-content, .solution-attachment[data-solution-type="rust"] .solution-file-content { grid-column: 1; grid-row: 2; min-width: 0; }
.solution-attachment[data-solution-type="julia"] .rerun-command, .solution-attachment[data-solution-type="rust"] .rerun-command { grid-column: 1; grid-row: 3; margin: 0; }
.solution-attachment[data-solution-type="julia"] .witness-output, .solution-attachment[data-solution-type="rust"] .witness-output { grid-column: 2; grid-row: 2 / span 2; margin: 0; align-self: start; }
@media (max-width: 800px) {
  .solution-attachment[data-solution-type="julia"], .solution-attachment[data-solution-type="rust"] { grid-template-columns: 1fr; }
  .solution-attachment[data-solution-type="julia"] .solution-file-content, .solution-attachment[data-solution-type="rust"] .solution-file-content, .solution-attachment[data-solution-type="julia"] .rerun-command, .solution-attachment[data-solution-type="rust"] .rerun-command, .solution-attachment[data-solution-type="julia"] .witness-output, .solution-attachment[data-solution-type="rust"] .witness-output { grid-column: 1; grid-row: auto; }
}

/* The solving desk; a quiet choosing ritual and five uneven reading surfaces. */
.arena-desk-link { margin-top: 1rem; }
.problem-title .problem-details-link { display: inline-block; margin-top: .3rem; color: var(--coral-dark); font: .55rem var(--body); letter-spacing: .07em; text-transform: uppercase; text-decoration: none; }
.problem-source-links { max-width: 210px; font-size: .65rem; line-height: 1.5; }
.problem-source-links a { color: var(--muted); text-decoration-color: var(--coral-dark); text-underline-offset: 2px; }
.problem-source-links a:hover { color: var(--coral-dark); }
.entry-source a { color: var(--coral-dark); text-decoration-color: rgba(168,92,76,.4); text-underline-offset: 2px; }
.entry-source a:hover { color: var(--ink); }
.entry-machine { display: grid; gap: .25rem; margin: 1rem 0 0; padding-top: .75rem; border-top: 1px solid rgba(39,48,58,.18); color: var(--muted); font-size: .63rem; }
.entry-machine span { color: var(--coral-dark); font-weight: 700; letter-spacing: .08em; text-transform: uppercase; }
.entry-machine a { width: fit-content; color: var(--ink); text-underline-offset: 2px; }
.entry-machine code { overflow-wrap: anywhere; color: var(--coral-dark); font: .61rem var(--mono); }
.entry-control { display: grid; grid-template-columns: auto minmax(80px, 1fr) auto; gap: .55rem; align-items: center; flex: 1 1 280px; min-width: 0; }
.visual-tools.multiple-controls { align-items: start; gap: .7rem 1rem; }
.visual-tools.multiple-controls .entry-control { flex-basis: 44%; }
.entry-control label { min-width: fit-content; }
.entry-control input[type="range"] { width: 100%; min-width: 75px; }
.entry-control .slider-value { min-width: 5.2rem; font-size: .64rem; }
.visual-caption { margin: .6rem .15rem .1rem; color: var(--muted); font: italic .78rem/1.4 var(--display); }

.solve-page { padding-bottom: 4rem; }
.solve-hero { position: relative; padding-bottom: 3.2rem; }
.solve-hero::after { content: ""; position: absolute; z-index: -1; width: 190px; height: 190px; right: -100px; bottom: 8px; border: 1px solid rgba(168,92,76,.35); border-radius: 47% 53% 50% 50%; transform: rotate(31deg); }
.solve-hero h1 { max-width: 880px; }
.desk-selector { position: relative; margin: .8rem 0 3rem; padding: 1.5rem clamp(1rem, 4vw, 3rem) 1.25rem; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); background: rgba(231,221,205,.28); border-radius: 4px 45px 8px 37px; }
.desk-selector::after { content: ""; position: absolute; width: 5.4rem; height: 5.4rem; right: 4%; top: -2.4rem; border: 1px solid rgba(117,101,155,.45); border-radius: 50%; pointer-events: none; }
.desk-selector-heading { display: grid; grid-template-columns: 1fr minmax(250px, .75fr); gap: 2rem; align-items: end; }
.desk-selector-heading h2 { margin: 0; font-size: clamp(2rem, 4vw, 3.6rem); }
.desk-selector-heading .section-kicker { margin-bottom: .65rem; }
.desk-selector-heading > p { max-width: 520px; margin: 0 0 .2rem; color: var(--muted); font: .9rem/1.5 var(--display); }
.desk-roll-stage { display: grid; grid-template-columns: minmax(180px, .62fr) minmax(320px, 1.38fr); gap: 1.5rem; align-items: center; min-height: 250px; margin: 1.25rem 0 .35rem; }
.desk-die-pedestal { display: grid; justify-items: center; gap: .4rem; min-height: 215px; padding: 1rem .8rem; background: rgba(244,238,226,.62); border-radius: 50% 45% 6px 8px / 30% 36% 7px 12px; transform: rotate(-1deg); }
.desk-die-button { display: grid; justify-items: center; gap: .45rem; border: 0; background: transparent; color: var(--ink); font: .63rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.desk-die-button:disabled { opacity: .65; cursor: progress; }
.desk-die { width: 105px; height: 105px; transform-origin: 50% 50%; filter: drop-shadow(0 10px 9px rgba(39,48,58,.15)); }
.desk-die .die-pip { transition: opacity .06s linear; }
.desk-die-pedestal p { max-width: 190px; margin: 0; color: var(--muted); font: italic .8rem var(--display); text-align: center; }
.desk-cube-pedestal { display: grid; place-items: center; min-height: 225px; padding: .4rem 1.2rem; background: rgba(223,230,237,.62); border-radius: 43px 6px 41px 7px; transform: rotate(.45deg); }
.desk-roll-stage.is-rolling .desk-die { animation: desk-die-roll 1.15s cubic-bezier(.2,.8,.25,1); }
.desk-roll-stage.is-rolling .rubik-cube { animation: rubik-roll 1.15s ease-in-out; }
.desk-roll-status { min-height: 1.4rem; margin: .8rem 0 0; color: var(--coral-dark); font: italic .94rem var(--display); text-align: center; }
@keyframes desk-die-roll { 0% { transform: rotate(0) translateY(0) scale(1); } 25% { transform: rotate(160deg) translateY(-22px) scale(1.06); } 52% { transform: rotate(355deg) translateY(5px) scale(.95); } 76% { transform: rotate(540deg) translateY(-12px) scale(1.02); } 100% { transform: rotate(720deg) translateY(0) scale(1); } }
@keyframes rubik-roll { 0% { transform: translateZ(0) rotateX(-25deg) rotateY(-34deg); } 32% { transform: translateZ(12px) rotateX(155deg) rotateY(105deg); } 66% { transform: translateZ(-3px) rotateX(270deg) rotateY(300deg); } 100% { transform: translateZ(0) rotateX(335deg) rotateY(326deg); } }
.desk-result { animation: desk-arrive .45s ease-out both; }
@keyframes desk-arrive { from { opacity: .2; translate: 0 12px; } to { opacity: 1; translate: 0 0; } }
.desk-result-label { display: flex; align-items: center; gap: .8rem; margin: 0 0 1.2rem; color: var(--coral-dark); font: italic 1.15rem var(--display); }
.desk-result-label::before { content: ""; width: 42px; border-top: 1px solid var(--coral-dark); }
.desk-blocks { display: grid; grid-template-columns: minmax(0, 1fr) minmax(0, 1fr); gap: 1.25rem; align-items: start; }
.desk-block { position: relative; overflow: hidden; padding: clamp(1.2rem, 2.6vw, 2rem); box-shadow: var(--shadow); }
.desk-block:nth-child(even) { transform: translateY(.7rem); }
.desk-problem-block { grid-column: 1 / -1; background: var(--paper-deep); border-radius: 5px 44px 6px 33px; }
.desk-problem-block::after { content: "?"; position: absolute; right: 5%; top: -2.3rem; color: rgba(168,92,76,.11); font: 13rem/.9 var(--display); pointer-events: none; }
.desk-definitions-block { background: #dce8df; border-radius: 38px 7px 31px 7px; }
.desk-plates-block { background: #e3deea; border-radius: 7px 39px 8px 36px; }
.desk-machines-block { grid-column: 1 / -1; background: #e5e7ee; border-radius: 7px 36px 7px 39px; }
.desk-attempts-block { grid-column: 1 / -1; background: #eadfd4; border-radius: 36px 7px 41px 6px; }
.desk-block-top { position: relative; z-index: 1; display: flex; justify-content: space-between; align-items: center; gap: .75rem; margin-bottom: .8rem; }
.desk-block-number, .desk-problem-kind { color: var(--coral-dark); font: .57rem var(--mono); letter-spacing: .1em; text-transform: uppercase; }
.desk-problem-kind { padding: .25rem .55rem; border: 1px solid rgba(168,92,76,.45); border-radius: 99px; }
.desk-block h2 { position: relative; z-index: 1; margin: 0 0 1rem; font-size: clamp(1.8rem, 3.2vw, 3rem); }
.desk-problem-meta { position: relative; z-index: 1; display: flex; flex-wrap: wrap; gap: .55rem 1.4rem; margin: -.25rem 0 1.2rem; }
.desk-problem-meta span { display: grid; gap: .15rem; color: var(--ink); font: .72rem var(--mono); }
.desk-problem-meta strong { color: var(--coral-dark); font: 700 .53rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.desk-open-status { width: fit-content; padding: .12rem .42rem; border-radius: 99px; background: #f0d7ce; color: var(--coral-dark); font: 700 .58rem var(--body); letter-spacing: .08em; text-transform: uppercase; }
.desk-problem-statement { position: relative; z-index: 1; max-width: 900px; margin: 0 0 1rem; font: 1.1rem/1.48 var(--display); }
.desk-source-row { position: relative; z-index: 1; display: flex; flex-wrap: wrap; gap: .35rem .8rem; align-items: baseline; color: var(--muted); font-size: .65rem; }
.desk-source-row > span { color: var(--coral-dark); font: 700 .54rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.desk-source-row a { text-underline-offset: 2px; }
.desk-arena-link { position: relative; z-index: 1; display: inline-block; margin-top: .9rem; color: var(--coral-dark); font-size: .63rem; letter-spacing: .07em; text-decoration: none; text-transform: uppercase; }
.desk-definition { padding: .7rem 0; border-top: 1px solid rgba(39,48,58,.18); }
.desk-definition:first-of-type { margin-top: .2rem; }
.desk-definition h3 { margin: 0 0 .35rem; font-size: 1.35rem; }
.desk-definition p { margin: 0 0 .45rem; color: var(--muted); font-size: .75rem; }
.desk-definition a { color: var(--coral-dark); font-size: .63rem; line-height: 1.5; text-decoration-color: rgba(168,92,76,.4); text-underline-offset: 2px; }
.desk-related-plate { display: grid; gap: .45rem; margin-top: .7rem; padding: .95rem 1rem; background: rgba(244,238,226,.57); border-radius: 23px 4px 18px 4px; text-decoration: none; }
.desk-related-plate:nth-of-type(2n) { margin-left: 1.2rem; border-radius: 4px 22px 4px 18px; }
.desk-related-number { color: var(--coral-dark); font: .53rem var(--mono); letter-spacing: .09em; text-transform: uppercase; }
.desk-related-plate strong { font: 1.3rem var(--display); }
.desk-related-plate code { overflow-wrap: anywhere; color: var(--muted); font: .62rem var(--mono); }
.desk-related-plate > span:last-child { color: var(--coral-dark); font: .55rem var(--body); letter-spacing: .08em; text-transform: uppercase; }
.desk-machine { display: grid; grid-template-columns: minmax(0, 1fr) minmax(200px, .8fr); gap: 1rem 2rem; align-items: center; padding: .9rem 0; border-top: 1px solid rgba(39,48,58,.2); }
.desk-machine-title { color: var(--ink); font: 1.2rem var(--display); }
.desk-machine p { margin: .25rem 0; color: var(--muted); font-size: .72rem; }
.desk-machine a { color: var(--coral-dark); font-size: .59rem; text-decoration-color: rgba(168,92,76,.45); text-underline-offset: 2px; }
.desk-command-label { display: block; margin-bottom: .3rem; color: var(--coral-dark); font: 700 .52rem var(--body); letter-spacing: .09em; text-transform: uppercase; }
.desk-command { display: block; padding: .55rem .7rem; background: rgba(21,24,33,.07); border-radius: 12px 3px 11px 3px; color: var(--ink); font: .68rem var(--mono); overflow-wrap: anywhere; }
.desk-empty { margin: .2rem 0 0; color: var(--muted); font: italic .92rem var(--display); }
.desk-attempt-status-line { color: var(--muted); font: .67rem var(--mono); }
.desk-submission { margin: 4.4rem 0 2rem; padding: clamp(1.4rem, 4vw, 3rem); background: #dce8df; border-top: 1px solid rgba(66,103,94,.35); border-radius: 6px 43px 7px 35px; }
.desk-submission-heading { display: flex; justify-content: space-between; align-items: end; gap: 2rem; }
.desk-submission-heading .eyebrow { margin-bottom: .55rem; }
.desk-submission-heading h2 { margin: 0; font-size: clamp(2.2rem, 4vw, 4rem); }
.desk-ledger-mark { color: var(--coral-dark); font: italic 1.4rem var(--display); white-space: nowrap; }
.desk-submission-intro { max-width: 680px; margin: 1rem 0 1.4rem; color: var(--muted); font: .97rem/1.5 var(--display); }
.desk-attempt-form { display: grid; grid-template-columns: 170px minmax(0, 1fr); gap: .45rem 1rem; align-items: center; max-width: 840px; }
.desk-attempt-form label { color: var(--coral-dark); font: 700 .57rem var(--body); letter-spacing: .09em; text-transform: uppercase; }
.desk-attempt-form input { min-width: 0; border: 0; border-bottom: 1px solid rgba(39,48,58,.35); border-radius: 0; padding: .65rem .4rem; background: rgba(244,238,226,.38); color: var(--ink); font: .9rem var(--display); }
.desk-attempt-form input:focus { outline: 2px solid var(--coral); outline-offset: 2px; }
.desk-attempt-form button { grid-column: 2; justify-self: start; margin-top: .6rem; }
.desk-static-note { display: grid; grid-template-columns: 1.1fr .9fr; gap: 1rem 2rem; margin-top: 1.7rem; padding-top: 1rem; border-top: 1px solid rgba(39,48,58,.18); }
.desk-static-note p { margin: 0; color: var(--muted); font-size: .7rem; line-height: 1.55; }
.desk-static-note strong { color: var(--ink); }
.desk-static-note span { color: var(--coral-dark); font: .65rem var(--mono); }

.rubik-toy { display: flex; flex-wrap: wrap; gap: 1.1rem 1.6rem; align-items: center; margin-top: 1.3rem; padding: .85rem 1rem; background: rgba(244,238,226,.44); border: 1px solid rgba(39,48,58,.18); border-radius: 33px 5px 29px 7px; }
.rubik-scene { position: relative; display: grid; place-items: center; width: 142px; height: 142px; perspective: 600px; flex: 0 0 142px; }
.rubik-cube { position: relative; width: 96px; height: 96px; transform-style: preserve-3d; transform: rotateX(-25deg) rotateY(-34deg); transition: transform .25s ease; }
.rubik-face { position: absolute; inset: 0; display: grid; grid-template-columns: repeat(3, 1fr); grid-template-rows: repeat(3, 1fr); gap: 3px; padding: 3px; border: 2px solid #151821; background: #151821; backface-visibility: visible; }
.rubik-face-U { transform: rotateX(90deg) translateZ(48px); }
.rubik-face-D { transform: rotateX(-90deg) translateZ(48px); }
.rubik-face-F { transform: translateZ(48px); }
.rubik-face-B { transform: rotateY(180deg) translateZ(48px); }
.rubik-face-R { transform: rotateY(90deg) translateZ(48px); }
.rubik-face-L { transform: rotateY(-90deg) translateZ(48px); }
.rubik-sticker { display: block; min-width: 0; min-height: 0; border: 1px solid rgba(21,24,33,.52); border-radius: 2px; }
.color-white { background: #f4eee2; }.color-yellow { background: #ddbd72; }.color-green { background: #4f8c70; }.color-blue { background: #6489b4; }.color-red { background: #bd625d; }.color-orange { background: #d89055; }
.rubik-toy-details { display: grid; flex: 1 1 190px; gap: .32rem; min-width: 0; }
.rubik-kicker { color: var(--coral-dark); font: 700 .52rem var(--body); letter-spacing: .1em; text-transform: uppercase; }
.rubik-move-count { color: var(--ink); font: 1rem var(--display); }
.rubik-sequence { max-width: 450px; margin: 0; color: var(--muted); font: .62rem/1.45 var(--mono); overflow-wrap: anywhere; }
.rubik-actions, .rubik-turns { display: flex; flex-wrap: wrap; gap: .35rem .75rem; margin-top: .4rem; }
.rubik-actions button, .rubik-turns button, .rubik-choose { border: 0; border-bottom: 1px solid var(--coral-dark); padding: .32rem .05rem; background: transparent; color: var(--coral-dark); font-size: .55rem; letter-spacing: .07em; text-transform: uppercase; }
.rubik-turns button { min-width: 1.2rem; font: .75rem var(--mono); }
.rubik-actions button:hover, .rubik-turns button:hover, .rubik-choose:hover { color: var(--ink); }
.rubik-toy.is-scrambling .rubik-cube { animation: rubik-roll .55s ease-in-out infinite alternate; }
@media (prefers-reduced-motion: reduce) { .desk-die, .rubik-cube, .desk-result { animation: none !important; transition: none !important; } }

@media (max-width: 800px) {
  .desk-selector-heading { grid-template-columns: 1fr; gap: .7rem; }
  .desk-roll-stage { grid-template-columns: minmax(120px, .65fr) minmax(200px, 1.35fr); gap: .6rem; }
  .desk-die-pedestal { min-height: 190px; padding-inline: .35rem; }
  .desk-die { width: 82px; height: 82px; }
  .desk-cube-pedestal { min-height: 190px; padding: .2rem; }
  .desk-blocks { grid-template-columns: 1fr; }
  .desk-problem-block, .desk-machines-block, .desk-attempts-block { grid-column: 1; }
  .desk-block:nth-child(even) { transform: none; }
  .desk-machine { grid-template-columns: 1fr; gap: .7rem; }
  .desk-static-note { grid-template-columns: 1fr; }
  .desk-attempt-form { grid-template-columns: 1fr; gap: .35rem; }
  .desk-attempt-form label { margin-top: .55rem; }
  .desk-attempt-form button { grid-column: 1; }
  .visual-tools.multiple-controls .entry-control { flex-basis: 100%; }
  .entry-control { grid-template-columns: 1fr minmax(70px, 1fr) auto; }
  .entry-control label { grid-column: 1 / -1; }
}
@media (max-width: 520px) {
  .desk-roll-stage { grid-template-columns: 1fr; }
  .desk-die-pedestal { min-height: 140px; border-radius: 42px 5px 27px 5px; }
  .desk-cube-pedestal { min-height: 185px; }
  .desk-submission-heading { align-items: flex-start; flex-direction: column; gap: .7rem; }
  .desk-problem-meta { display: grid; grid-template-columns: 1fr 1fr; }
  .rubik-toy { justify-content: center; }
  .rubik-toy-details { flex-basis: 100%; }
}
.footer-links a.footer-social-link { display: inline-flex; align-items: center; gap: .45rem; width: fit-content; margin-top: .25rem; color: var(--coral-dark); font-size: .72rem; letter-spacing: .02em; text-transform: none; }
.footer-social-link svg { display: block; width: .85rem; height: .85rem; flex: 0 0 auto; fill: currentColor; }
.footer-links a.footer-social-link:hover { color: var(--ink); }

/* the ask line; every plate can open a question in discussions */
.plate-ask { margin: .9rem 0 0; border-top: 1px solid rgba(39,48,58,.2); padding-top: .7rem; }
.plate-ask a { display: inline-flex; align-items: center; gap: .3rem; border-bottom: 1px solid transparent; color: var(--coral-dark); font-size: .64rem; letter-spacing: .1em; text-transform: uppercase; }
.plate-ask a:hover, .plate-ask a:focus-visible { border-bottom-color: var(--coral-dark); }
.margin-actions { display: flex; flex-wrap: wrap; gap: .7rem; margin-top: .5rem; }
.margin-actions .button { margin-top: 0; }
