:root {
  color-scheme: light;
  --ink: #171714;
  --paper: #f5f1e8;
  --card: #fffdf7;
  --line: #1e1e1a;
  --muted: #69665e;
  --acid: #dfff00;
  --blue: #99b6ff;
  --coral: #ff755f;
  --gold: #ffc928;
  --mint: #71efba;
  --terminal: #101713;
  --right: #147a52;
  --wrong: #d34d38;
  --violet: #5538ee;
  --shadow: 5px 6px 0 var(--line);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-synthesis: none;
}

* {
  box-sizing: border-box;
}

[hidden] {
  display: none !important;
}

html {
  min-height: 100%;
  background: var(--paper);
}

body {
  min-height: 100%;
  margin: 0;
  color: var(--ink);
  background:
    radial-gradient(circle at 90% 6%, rgb(153 182 255 / 38%) 0 8rem, transparent 8.1rem),
    linear-gradient(var(--paper), var(--paper));
  -webkit-tap-highlight-color: transparent;
}

[data-oracle-mode="program"] body {
  background:
    radial-gradient(circle at 90% 6%, rgb(113 239 186 / 35%) 0 9rem, transparent 9.1rem),
    linear-gradient(var(--paper), var(--paper));
}

button,
summary,
a {
  touch-action: manipulation;
}

button {
  color: inherit;
  font: inherit;
}

.game-shell {
  width: min(100%, 44rem);
  min-height: 100svh;
  margin-inline: auto;
  padding: max(1rem, env(safe-area-inset-top)) 1rem max(2.5rem, env(safe-area-inset-bottom));
}

.intro {
  position: relative;
  padding-top: .25rem;
}

.site-link {
  display: inline-flex;
  min-height: 2.75rem;
  align-items: center;
  color: inherit;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.25rem;
  font-style: italic;
  text-underline-offset: .2em;
}

.eyebrow {
  position: absolute;
  top: .6rem;
  right: 0;
  width: fit-content;
  margin: 0;
  padding: .35rem .65rem .3rem;
  border: 1.5px solid var(--line);
  border-radius: 99px;
  background: var(--acid);
  font-size: .72rem;
  font-weight: 800;
  letter-spacing: .1em;
  text-transform: uppercase;
  transform: rotate(-1.5deg);
}

h1,
h2,
p {
  margin-top: 0;
}

h1 {
  max-width: 100%;
  margin: .8rem 0 .85rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(3rem, 12.6vw, 5.2rem);
  font-weight: 400;
  letter-spacing: -.065em;
  line-height: .86;
}

.lede {
  max-width: 36rem;
  margin-bottom: 1.2rem;
  font-size: clamp(1rem, 4.2vw, 1.15rem);
  line-height: 1.5;
}

.mode-picker {
  margin-bottom: 1.2rem;
}

.mode-picker__buttons {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: .65rem;
}

.mode-button {
  display: flex;
  min-height: 3.55rem;
  flex-direction: column;
  align-items: flex-start;
  justify-content: center;
  padding: .55rem .8rem;
  border: 1.5px solid var(--line);
  border-radius: .8rem;
  background: var(--card);
  box-shadow: 2px 3px 0 var(--line);
  cursor: pointer;
  text-align: left;
  transition: transform 70ms ease, box-shadow 70ms ease, background 120ms ease;
}

.mode-button[aria-pressed="true"] {
  background: var(--acid);
  box-shadow: 0 0 0 var(--line);
  transform: translate(2px, 3px);
}

.mode-button--rebellion[aria-pressed="true"] {
  background: var(--violet);
  color: white;
}

.mode-button--rebellion[aria-pressed="true"] small {
  color: rgb(255 255 255 / 72%);
}

.mode-button--money[aria-pressed="true"] {
  background: var(--gold);
}

.mode-button--program[aria-pressed="true"] {
  background: var(--terminal);
  color: var(--mint);
}

.mode-button--program[aria-pressed="true"] small {
  color: rgb(113 239 186 / 72%);
}

.mode-button span {
  font-size: .9rem;
  font-weight: 850;
  letter-spacing: .025em;
  text-transform: uppercase;
}

.mode-button small {
  margin-top: .1rem;
  color: var(--muted);
  font-size: .68rem;
}

.mode-picker p {
  margin: .65rem .2rem 0;
  color: var(--muted);
  font-size: .74rem;
  line-height: 1.35;
  text-align: center;
}

.oracle-card,
.history,
.explanation {
  border: 1.5px solid var(--line);
  border-radius: 1.15rem;
  background: var(--card);
  box-shadow: var(--shadow);
}

.oracle-card {
  padding: 1rem;
}

.oracle-card__topline,
.history__heading-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.oracle-card h2,
.history h2 {
  margin: 0;
  font-size: .76rem;
  font-weight: 850;
  letter-spacing: .09em;
  text-transform: uppercase;
}

.reset-button {
  min-width: 3rem;
  min-height: 2.75rem;
  padding: 0 .35rem;
  border: 0;
  background: transparent;
  color: var(--muted);
  font-size: .82rem;
  font-weight: 700;
  text-decoration: underline;
  text-underline-offset: .22em;
  cursor: pointer;
}

.score-wrap {
  display: flex;
  min-height: 6.1rem;
  align-items: baseline;
  gap: .75rem;
  padding-top: .65rem;
}

.score {
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(4.6rem, 23vw, 7.5rem);
  font-weight: 400;
  letter-spacing: -.07em;
  line-height: 1;
}

.score-label {
  max-width: 9rem;
  color: var(--muted);
  font-size: .82rem;
  font-weight: 650;
  line-height: 1.25;
}

.progress {
  position: relative;
  height: .6rem;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 99px;
  background: #dedbd2;
}

.progress__fill {
  display: block;
  width: 0;
  height: 100%;
  border-radius: inherit;
  background: var(--acid);
  transition: width 180ms ease;
}

.progress__threshold {
  position: absolute;
  z-index: 2;
  top: -2px;
  bottom: -2px;
  left: calc(66.6667% - 1px);
  display: none;
  width: 2px;
  background: var(--line);
}

[data-oracle-mode="hard"] .progress__fill {
  background: linear-gradient(90deg, var(--violet), var(--blue));
}

[data-oracle-mode="rebellion"] .progress__fill {
  background: linear-gradient(90deg, var(--coral), var(--violet));
}

[data-oracle-mode="money"] .progress__fill {
  background: linear-gradient(90deg, var(--right), var(--gold), var(--wrong));
}

[data-oracle-mode="money"] .progress__threshold {
  display: block;
}

.progress-note {
  margin: .45rem 0 0;
  color: var(--muted);
  font-size: .64rem;
  font-weight: 700;
  text-align: center;
}

.progress-note[hidden] {
  display: none;
}

.stats {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  margin: 1rem 0 0;
  border-top: 1px solid #d6d2c8;
}

.stats div {
  min-width: 0;
  padding: .85rem .5rem 0;
  text-align: center;
}

.stats div + div {
  border-left: 1px solid #d6d2c8;
}

.stats dt {
  color: var(--muted);
  font-size: .68rem;
  font-weight: 700;
  letter-spacing: .04em;
  text-transform: uppercase;
  white-space: nowrap;
}

.stats dd {
  margin: .2rem 0 0;
  font-size: 1.12rem;
  font-weight: 850;
}

.prophecy,
.batch-reveal {
  border: 1.5px solid var(--line);
  border-radius: 1.15rem;
}

.prophecy[hidden],
.batch-reveal[hidden] {
  display: none !important;
}

.prophecy {
  position: relative;
  margin-top: 1.35rem;
  padding: 1rem;
  overflow: hidden;
  background:
    radial-gradient(circle at 95% 5%, rgb(153 182 255 / 25%) 0 6rem, transparent 6.1rem),
    var(--ink);
  box-shadow: 4px 5px 0 var(--violet);
  color: var(--card);
}

.prophecy__topline {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .75rem;
}

.prophecy__eyebrow,
.prophecy__confidence,
.prophecy__challenge,
.batch-reveal__eyebrow,
.batch-reveal p {
  margin: 0;
}

.prophecy__eyebrow,
.batch-reveal__eyebrow {
  font-size: .68rem;
  font-weight: 850;
  letter-spacing: .09em;
  text-transform: uppercase;
}

.prophecy__eyebrow {
  color: var(--acid);
}

.prophecy__confidence {
  color: rgb(255 253 247 / 62%);
  font-size: .65rem;
}

.prophecy h2 {
  margin: 1.1rem 0 .7rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(2rem, 9vw, 3.25rem);
  font-weight: 400;
  letter-spacing: -.045em;
  line-height: .95;
}

.prophecy h2 strong {
  display: inline-grid;
  min-width: 1.12em;
  min-height: 1.12em;
  place-items: center;
  border: 1.5px solid white;
  border-radius: .2em;
  color: var(--ink);
  line-height: 1;
  transform: rotate(2deg);
}

.prophecy h2 strong[data-choice="f"] {
  background: var(--blue);
}

.prophecy h2 strong[data-choice="d"] {
  background: var(--coral);
}

.prophecy__challenge {
  max-width: 34rem;
  color: rgb(255 253 247 / 78%);
  font-family: Georgia, "Times New Roman", serif;
  font-size: .96rem;
  line-height: 1.45;
}

.commitment {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .75rem;
  margin-top: 1rem;
  padding-top: .75rem;
  border-top: 1px solid rgb(255 255 255 / 22%);
  color: rgb(255 253 247 / 62%);
  font-size: .65rem;
  font-weight: 700;
  letter-spacing: .035em;
  text-transform: uppercase;
}

.commitment code {
  max-width: 62%;
  overflow: hidden;
  color: var(--acid);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: .64rem;
  letter-spacing: 0;
  text-overflow: ellipsis;
  text-transform: none;
  white-space: nowrap;
}

.batch-reveal {
  display: grid;
  grid-template-columns: minmax(0, 1.25fr) minmax(0, 1fr);
  gap: .8rem 1rem;
  margin-top: 1rem;
  padding: .9rem 1rem;
  background: var(--acid);
  box-shadow: 3px 4px 0 var(--line);
}

.batch-reveal > div {
  display: grid;
  grid-template-columns: auto 1fr;
  align-items: baseline;
  gap: .15rem .55rem;
}

.batch-reveal__eyebrow {
  grid-column: 1 / -1;
}

.batch-reveal strong {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 2.25rem;
  font-weight: 400;
  letter-spacing: -.05em;
}

.batch-reveal strong + span,
.batch-reveal > p {
  font-size: .7rem;
  font-weight: 700;
  line-height: 1.3;
}

.batch-reveal > p {
  align-self: end;
}

.batch-reveal .batch-reveal__verification {
  grid-column: 1 / -1;
  color: var(--right);
  font-size: .65rem;
  letter-spacing: .025em;
}

.batch-reveal .batch-reveal__verification.is-invalid {
  color: var(--wrong);
}

.batch-proof {
  grid-column: 1 / -1;
  border-top: 1px solid rgb(23 23 20 / 22%);
}

.batch-proof summary {
  width: fit-content;
  padding-top: .65rem;
  font-size: .65rem;
  font-weight: 800;
  cursor: pointer;
  text-decoration: underline;
  text-underline-offset: .18em;
}

.batch-proof ol {
  display: grid;
  margin: .75rem 0 .25rem;
  padding: 0;
  gap: .65rem;
  list-style: none;
}

.batch-proof li {
  display: grid;
  min-width: 0;
  gap: .2rem;
  padding: .55rem;
  border: 1px solid rgb(23 23 20 / 40%);
  border-radius: .55rem;
  background: rgb(255 255 255 / 45%);
}

.batch-proof li strong {
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: .62rem;
  font-weight: 850;
  letter-spacing: .04em;
  text-transform: uppercase;
}

.batch-proof code {
  overflow-wrap: anywhere;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: .58rem;
  line-height: 1.35;
}

.market,
.market-reveal {
  border: 1.5px solid var(--line);
  border-radius: 1.15rem;
}

.market[hidden],
.market-reveal[hidden] {
  display: none !important;
}

.market {
  margin-top: 1.35rem;
  padding: 1rem;
  background:
    radial-gradient(circle at 93% 0, rgb(255 201 40 / 22%) 0 7rem, transparent 7.1rem),
    var(--ink);
  box-shadow: 4px 5px 0 var(--gold);
  color: var(--card);
}

.market__topline {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .75rem;
  color: var(--gold);
  font-size: .68rem;
  font-weight: 850;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.market__topline p {
  margin: 0;
}

.market__topline > span {
  color: rgb(255 253 247 / 62%);
  font-size: .63rem;
}

.market h2 {
  margin: .95rem 0 .85rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(1.85rem, 8vw, 2.8rem);
  font-weight: 400;
  letter-spacing: -.04em;
  line-height: 1;
}

.market__boxes {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: .75rem;
}

.market-box {
  position: relative;
  display: grid;
  min-height: 7rem;
  grid-template-columns: auto 1fr;
  grid-template-rows: 1fr auto;
  align-items: center;
  padding: .8rem;
  border: 1.5px solid white;
  border-radius: .85rem;
  box-shadow: 2px 3px 0 white;
  color: var(--ink);
}

.market-box--f {
  background: var(--blue);
  transform: rotate(-.6deg);
}

.market-box--d {
  background: var(--coral);
  transform: rotate(.6deg);
}

.market-box > span {
  align-self: start;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 2rem;
  line-height: 1;
}

.market-box > strong {
  justify-self: end;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 4.1rem;
  font-weight: 400;
  line-height: .8;
}

.market-box > small {
  grid-column: 1 / -1;
  font-size: .62rem;
  font-weight: 850;
  letter-spacing: .07em;
  text-transform: uppercase;
}

.market__rule {
  max-width: 35rem;
  margin: 1rem 0 0;
  color: rgb(255 253 247 / 76%);
  font-family: Georgia, "Times New Roman", serif;
  font-size: .93rem;
  line-height: 1.45;
}

.market__rule strong {
  color: white;
}

.market__commitment {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .75rem;
  margin-top: .9rem;
  padding-top: .75rem;
  border-top: 1px solid rgb(255 255 255 / 22%);
  color: rgb(255 253 247 / 60%);
  font-size: .63rem;
  font-weight: 750;
  letter-spacing: .04em;
  text-transform: uppercase;
}

.market__commitment code {
  max-width: 62%;
  overflow: hidden;
  color: var(--gold);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: .64rem;
  letter-spacing: 0;
  text-overflow: ellipsis;
  text-transform: none;
  white-space: nowrap;
}

.market-reveal {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  gap: .85rem 1rem;
  margin-top: 1rem;
  padding: .9rem 1rem;
  background: var(--card);
  box-shadow: 3px 4px 0 var(--gold);
}

.market-reveal__score {
  display: grid;
  min-width: 5.3rem;
  align-content: center;
  padding-right: 1rem;
  border-right: 1px solid #d6d2c8;
}

.market-reveal__score p,
.market-reveal__copy p {
  margin: 0;
}

.market-reveal__score p {
  font-size: .62rem;
  font-weight: 850;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.market-reveal__score strong {
  color: var(--right);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 3.2rem;
  font-weight: 400;
  letter-spacing: -.06em;
  line-height: 1;
}

.market-reveal__score strong.is-loss {
  color: var(--wrong);
}

.market-reveal__score strong.is-neutral {
  color: var(--muted);
}

.market-reveal__score span {
  color: var(--muted);
  font-size: .6rem;
  font-weight: 750;
  text-transform: uppercase;
}

.market-reveal__copy {
  align-self: center;
}

.market-reveal__copy h2 {
  margin: 0 0 .25rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.1rem;
  line-height: 1.15;
}

.market-reveal__copy p {
  color: var(--muted);
  font-size: .7rem;
  font-weight: 700;
  line-height: 1.35;
}

.market-reveal__copy .market-reveal__verification {
  margin-top: .35rem;
  color: var(--right);
  font-size: .63rem;
}

.market-reveal__copy .market-reveal__verification.is-invalid {
  color: var(--wrong);
}

.market-proof {
  grid-column: 1 / -1;
  border-top: 1px solid #d6d2c8;
}

.market-proof summary {
  width: fit-content;
  padding-top: .65rem;
  font-size: .65rem;
  font-weight: 800;
  cursor: pointer;
  text-decoration: underline;
  text-underline-offset: .18em;
}

.market-proof code {
  display: block;
  margin-top: .45rem;
  padding: .5rem;
  border: 1px solid #d6d2c8;
  border-radius: .5rem;
  background: #f2efe6;
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: .58rem;
  line-height: 1.35;
  overflow-wrap: anywhere;
}

.program-lab[hidden],
.program-results[hidden],
.program-simulator-controls[hidden],
#program-constant-controls[hidden] {
  display: none !important;
}

.program-lab {
  margin-bottom: 1.3rem;
}

.program-lab__intro {
  padding: 1.05rem 1.1rem 1.15rem;
  border: 1.5px solid var(--line);
  border-radius: 1.15rem;
  background:
    radial-gradient(circle at 92% 8%, rgb(113 239 186 / 22%) 0 6rem, transparent 6.1rem),
    var(--terminal);
  box-shadow: 4px 5px 0 var(--mint);
  color: var(--card);
}

.program-lab__intro > p {
  margin: 0 0 .7rem;
  color: var(--mint);
  font-size: .65rem;
  font-weight: 850;
  letter-spacing: .1em;
  text-transform: uppercase;
}

.program-lab__intro h2 {
  max-width: 32rem;
  margin: 0 0 .55rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: clamp(2.25rem, 9vw, 3.75rem);
  font-weight: 400;
  letter-spacing: -.055em;
  line-height: .92;
}

.program-lab__intro > span {
  display: block;
  max-width: 38rem;
  color: rgb(255 253 247 / 72%);
  font-size: .82rem;
  line-height: 1.5;
}

.program-lab__intro > span strong {
  color: white;
}

.program-builder {
  display: grid;
  gap: .85rem;
  margin-top: 1rem;
}

.program-builder__controls,
.program-code-card,
.program-results {
  border: 1.5px solid var(--line);
  border-radius: 1rem;
  background: var(--card);
  box-shadow: 3px 4px 0 var(--line);
}

.program-builder__controls {
  padding: .9rem;
}

.program-control + .program-control,
.program-control + .program-simulator-controls,
.program-simulator-controls + .program-control {
  margin-top: .9rem;
  padding-top: .85rem;
  border-top: 1px solid #d6d2c8;
}

.program-simulator-controls > .program-control:first-child {
  margin: 0;
  padding: 0;
  border: 0;
}

.program-control > p,
.program-control--split p {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .5rem;
  margin: 0 0 .55rem;
  font-size: .64rem;
  font-weight: 850;
  letter-spacing: .07em;
  text-transform: uppercase;
}

.program-control p > span {
  margin-right: auto;
  color: var(--muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  font-size: .58rem;
}

.program-control output {
  min-width: 3rem;
  padding: .2rem .4rem;
  border: 1px solid var(--line);
  border-radius: 99px;
  background: var(--mint);
  font-size: .65rem;
  text-align: center;
}

.program-options {
  display: grid;
  gap: .45rem;
}

.program-options--architecture {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.program-options--compact {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.program-options button {
  min-width: 0;
  min-height: 2.65rem;
  padding: .5rem;
  border: 1.25px solid var(--line);
  border-radius: .65rem;
  background: #f2efe6;
  cursor: pointer;
  font-size: .66rem;
  font-weight: 800;
  line-height: 1.1;
}

.program-options--architecture button {
  display: flex;
  min-height: 3.55rem;
  flex-direction: column;
  align-items: flex-start;
  justify-content: center;
  text-align: left;
}

.program-options button[aria-pressed="true"] {
  background: var(--terminal);
  box-shadow: inset 0 0 0 1px var(--mint);
  color: var(--mint);
}

.program-options button strong {
  font-size: .7rem;
}

.program-options button small {
  margin-top: .15rem;
  color: var(--muted);
  font-size: .56rem;
  font-weight: 650;
}

.program-options button[aria-pressed="true"] small {
  color: rgb(113 239 186 / 68%);
}

.program-control--range input {
  width: 100%;
  height: 1.35rem;
  margin: 0;
  accent-color: var(--terminal);
  cursor: ew-resize;
}

.program-control--range > small {
  display: block;
  margin-top: .3rem;
  color: var(--muted);
  font-size: .61rem;
  line-height: 1.35;
}

.program-control--split {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: .75rem;
}

.program-code-card {
  display: flex;
  min-width: 0;
  flex-direction: column;
  overflow: hidden;
  background: var(--terminal);
  color: var(--mint);
}

.program-code-card > div {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: .75rem;
  padding: .7rem .8rem;
  border-bottom: 1px solid rgb(113 239 186 / 23%);
  font-size: .6rem;
  font-weight: 850;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.program-code-card > div span {
  color: white;
}

.program-code-card pre {
  min-height: 13rem;
  flex: 1;
  margin: 0;
  padding: 1rem;
  overflow: auto;
  background:
    linear-gradient(90deg, rgb(113 239 186 / 4%) 1px, transparent 1px) 0 0 / 1.5rem 100%,
    var(--terminal);
  color: var(--mint);
  font: 700 .76rem/1.65 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  tab-size: 2;
}

.program-code-card code {
  white-space: pre;
}

.program-payoffs {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 1px;
  margin-top: 1rem;
  overflow: hidden;
  border: 1.5px solid var(--line);
  border-radius: .75rem;
  background: var(--line);
}

.program-payoffs span {
  display: flex;
  min-height: 3rem;
  flex-direction: column;
  justify-content: center;
  padding: .55rem .65rem;
  background: var(--card);
  color: var(--muted);
  font-size: .58rem;
  line-height: 1.25;
}

.program-payoffs b {
  color: var(--ink);
  font-size: .66rem;
  letter-spacing: .05em;
}

.program-runbar {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  margin-top: .8rem;
}

.program-runbar p {
  max-width: 22rem;
  margin: 0;
  color: var(--muted);
  font-size: .62rem;
  line-height: 1.35;
}

.program-runbar button {
  display: inline-flex;
  min-height: 3.35rem;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: .75rem 1rem;
  border: 1.5px solid var(--line);
  border-radius: .8rem;
  background: var(--mint);
  box-shadow: 3px 4px 0 var(--line);
  cursor: pointer;
  font-size: .74rem;
  font-weight: 900;
  letter-spacing: .02em;
  white-space: nowrap;
}

.program-runbar button:active {
  box-shadow: none;
  transform: translate(3px, 4px);
}

.program-runbar button span {
  font-size: 1.2rem;
  line-height: 0;
}

.program-results {
  margin-top: 1rem;
  padding: .9rem;
}

.program-results__heading {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: .75rem;
}

.program-results__heading p,
.program-trace__heading p {
  margin: 0 0 .15rem;
  color: var(--muted);
  font-size: .59rem;
  font-weight: 850;
  letter-spacing: .08em;
  text-transform: uppercase;
}

.program-results__heading h3 {
  margin: 0;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.35rem;
  font-weight: 400;
  letter-spacing: -.025em;
}

.program-results__heading button {
  padding: .4rem .55rem;
  border: 0;
  background: transparent;
  color: var(--muted);
  cursor: pointer;
  font-size: .62rem;
  font-weight: 750;
  text-decoration: underline;
  text-underline-offset: .18em;
}

.program-scoreboard {
  display: grid;
  grid-template-columns: 1.5fr repeat(3, 1fr);
  gap: 1px;
  margin-top: .85rem;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: .75rem;
  background: var(--line);
}

.program-scoreboard > div {
  display: flex;
  min-width: 0;
  min-height: 5.1rem;
  flex-direction: column;
  justify-content: center;
  padding: .65rem;
  background: #f2efe6;
}

.program-scoreboard__primary {
  background: var(--terminal) !important;
  color: var(--mint);
}

.program-scoreboard span {
  color: var(--muted);
  font-size: .55rem;
  font-weight: 800;
  letter-spacing: .06em;
  text-transform: uppercase;
}

.program-scoreboard__primary span {
  color: rgb(113 239 186 / 67%);
}

.program-scoreboard strong {
  margin-top: .15rem;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.65rem;
  font-weight: 400;
  letter-spacing: -.04em;
  line-height: 1;
}

.program-scoreboard__primary strong {
  font-size: 2.25rem;
}

.program-scoreboard small {
  margin-top: .22rem;
  color: rgb(113 239 186 / 62%);
  font-size: .52rem;
}

.program-trace {
  margin-top: .8rem;
  padding: .75rem;
  overflow: hidden;
  border-radius: .75rem;
  background: var(--terminal);
  color: var(--card);
}

.program-trace__heading {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: .75rem;
}

.program-trace__heading p {
  color: var(--mint);
}

.program-trace__heading span {
  color: rgb(255 253 247 / 58%);
  font-size: .59rem;
}

.program-trace ol {
  display: flex;
  margin: .65rem 0 0;
  padding: 0 0 .25rem;
  gap: .45rem;
  overflow-x: auto;
  list-style: none;
  scrollbar-color: var(--mint) transparent;
}

.program-trace li {
  position: relative;
  min-width: 8.5rem;
  padding: .55rem;
  border: 1px solid rgb(113 239 186 / 38%);
  border-radius: .55rem;
  background: rgb(113 239 186 / 6%);
}

.program-trace li strong,
.program-trace li span,
.program-trace li small {
  display: block;
}

.program-trace li strong {
  overflow: hidden;
  color: var(--mint);
  font-size: .64rem;
  text-overflow: ellipsis;
  white-space: nowrap;
}

.program-trace li span {
  margin-top: .28rem;
  color: white;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1rem;
}

.program-trace li small {
  margin-top: .18rem;
  color: rgb(255 253 247 / 55%);
  font-size: .52rem;
  line-height: 1.25;
}

.program-opponents {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: .6rem;
  margin-top: .8rem;
}

.program-opponent {
  min-width: 0;
  padding: .7rem;
  border: 1px solid #c9c5bb;
  border-radius: .7rem;
  background: #f7f4ec;
}

.program-opponent__top {
  display: flex;
  align-items: flex-start;
  justify-content: space-between;
  gap: .55rem;
}

.program-opponent__top strong,
.program-opponent__top span,
.program-opponent > small {
  display: block;
}

.program-opponent__top strong {
  font-size: .7rem;
  line-height: 1.15;
}

.program-opponent__top span {
  color: var(--right);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.05rem;
  line-height: 1;
  white-space: nowrap;
}

.program-opponent > small {
  min-height: 2.4em;
  margin-top: .2rem;
  color: var(--muted);
  font-size: .55rem;
  line-height: 1.25;
}

.program-outcome-bar {
  display: flex;
  height: .45rem;
  margin-top: .55rem;
  overflow: hidden;
  border: 1px solid var(--line);
  border-radius: 99px;
  background: white;
}

.program-outcome-bar span {
  min-width: 0;
}

.program-outcome-bar .is-cc {
  background: var(--mint);
}

.program-outcome-bar .is-dc {
  background: var(--blue);
}

.program-outcome-bar .is-cd {
  background: var(--coral);
}

.program-outcome-bar .is-dd {
  background: #aaa69c;
}

.program-opponent__stats {
  display: flex;
  justify-content: space-between;
  gap: .5rem;
  margin-top: .4rem;
  color: var(--muted);
  font-size: .51rem;
  font-weight: 750;
}

.program-opponent__source {
  margin-top: .5rem;
  border-top: 1px solid #d6d2c8;
}

.program-opponent__source summary {
  width: fit-content;
  padding-top: .4rem;
  color: var(--muted);
  cursor: pointer;
  font-size: .53rem;
  font-weight: 750;
  text-decoration: underline;
  text-underline-offset: .14em;
}

.program-opponent__source code {
  display: block;
  max-height: 9rem;
  margin-top: .4rem;
  padding: .5rem;
  overflow: auto;
  border-radius: .4rem;
  background: var(--terminal);
  color: var(--mint);
  font: 600 .52rem/1.45 ui-monospace, SFMono-Regular, Menlo, Consolas, monospace;
  white-space: pre;
}

.controls {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: .8rem;
  margin-top: 1.45rem;
}

.choice {
  position: relative;
  display: flex;
  min-height: 7.75rem;
  flex-direction: column;
  align-items: center;
  justify-content: center;
  overflow: hidden;
  border: 1.5px solid var(--line);
  border-radius: 1.2rem;
  box-shadow: 3px 4px 0 var(--line);
  cursor: pointer;
  user-select: none;
  transition: transform 70ms ease, box-shadow 70ms ease, filter 120ms ease;
}

.choice--f {
  background: var(--blue);
}

.choice--d {
  background: var(--coral);
}

.choice--walk {
  min-height: 5rem;
  background: var(--gold);
}

.choice--walk[hidden] {
  display: none;
}

.choice--walk .choice__key {
  font-size: 3rem;
}

[data-oracle-mode="money"] .choice--walk {
  grid-column: 1 / -1;
}

.choice:active,
.choice.is-pressed {
  box-shadow: 0 0 0 var(--line);
  transform: translate(3px, 4px);
  filter: saturate(1.08);
}

.choice:focus-visible,
.mode-button:focus-visible,
.reset-button:focus-visible,
.program-options button:focus-visible,
.program-runbar button:focus-visible,
.program-results__heading button:focus-visible,
.program-control input:focus-visible,
summary:focus-visible,
a:focus-visible {
  outline: 3px solid var(--violet);
  outline-offset: 3px;
}

.choice__key {
  font-family: Georgia, "Times New Roman", serif;
  font-size: 4.8rem;
  line-height: .85;
}

.choice__hint {
  margin-top: .7rem;
  font-size: .7rem;
  font-weight: 800;
  letter-spacing: .09em;
  text-transform: uppercase;
}

.keyboard-hint {
  margin: 1rem 0 1.75rem;
  color: var(--muted);
  font-size: .78rem;
  text-align: center;
}

kbd {
  padding: .08em .35em;
  border: 1px solid #aaa69c;
  border-bottom-width: 2px;
  border-radius: .25rem;
  background: var(--card);
  color: var(--ink);
  font: inherit;
  font-weight: 750;
}

.history {
  margin-bottom: 1.2rem;
  padding: 1rem;
  box-shadow: 3px 4px 0 var(--line);
}

.history__legend {
  display: flex;
  align-items: center;
  gap: .32rem;
  color: var(--muted);
  font-size: .68rem;
}

.history__legend i {
  width: .55rem;
  height: .55rem;
  border-radius: 50%;
  background: var(--right);
}

.history__legend i:nth-child(2) {
  margin-left: .25rem;
  background: var(--wrong);
}

.prediction-list {
  display: flex;
  min-height: 3.2rem;
  margin: 1rem 0 0;
  padding: 0;
  gap: .45rem;
  overflow-x: auto;
  list-style: none;
  scrollbar-width: thin;
}

.prediction-list__item {
  display: grid;
  width: 3.2rem;
  min-width: 3.2rem;
  height: 3.2rem;
  place-items: center;
  border: 1px solid currentColor;
  border-radius: .65rem;
  background: rgb(20 122 82 / 8%);
  color: var(--right);
  font-size: 1.2rem;
  font-weight: 850;
  text-transform: uppercase;
}

.prediction-list__item.is-wrong {
  background: rgb(211 77 56 / 8%);
  color: var(--wrong);
}

.prediction-list__item.is-sealed {
  border-style: dashed;
  background: rgb(85 56 238 / 7%);
  color: var(--violet);
}

.prediction-list__item.is-neutral {
  border-color: var(--muted);
  background: rgb(105 102 94 / 7%);
  color: var(--muted);
}

.prediction-list__item.is-market {
  font-size: .92rem;
}

.prediction-list__item span {
  position: absolute;
  width: 1px;
  height: 1px;
  overflow: hidden;
  clip: rect(0 0 0 0);
  white-space: nowrap;
}

.prediction-list__empty {
  align-self: center;
  color: var(--muted);
  font-size: .82rem;
}

.explanation {
  overflow: hidden;
  box-shadow: 3px 4px 0 var(--line);
}

.explanation summary {
  position: relative;
  min-height: 3.75rem;
  padding: 1.1rem 3rem 1rem 1rem;
  font-size: .9rem;
  font-weight: 800;
  cursor: pointer;
  list-style: none;
}

.explanation summary::-webkit-details-marker {
  display: none;
}

.explanation summary::after {
  position: absolute;
  top: 50%;
  right: 1rem;
  content: "+";
  font-size: 1.5rem;
  font-weight: 400;
  transform: translateY(-50%);
}

.explanation[open] summary::after {
  content: "−";
}

.explanation__body {
  padding: 0 1rem .25rem;
  color: #34332e;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1rem;
  line-height: 1.55;
}

.explanation__body a {
  color: inherit;
  text-decoration-thickness: 1px;
  text-underline-offset: .16em;
}

.explanation__sources {
  color: var(--muted);
  font-family: Inter, ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: .76rem;
  line-height: 1.55;
}

@media (min-width: 42rem) {
  body {
    background:
      radial-gradient(circle at calc(50% + 20rem) 6%, rgb(153 182 255 / 38%) 0 13rem, transparent 13.1rem),
      linear-gradient(var(--paper), var(--paper));
  }

  .game-shell {
    padding-top: 2rem;
  }

  .intro {
    padding-top: .5rem;
  }

  .oracle-card {
    padding: 1.3rem;
  }

  .program-builder {
    grid-template-columns: 1.05fr .95fr;
  }

  .choice {
    min-height: 9rem;
  }

  [data-oracle-mode="money"] .controls {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }

  [data-oracle-mode="money"] .choice--walk {
    min-height: 9rem;
    grid-column: auto;
  }

  [data-oracle-mode="money"] .choice--walk .choice__key {
    font-size: 4.8rem;
  }
}

@media (max-width: 38rem) {
  .mode-picker__buttons {
    grid-template-columns: repeat(3, minmax(0, 1fr));
  }
}

@media (max-width: 30rem) {
  .mode-picker__buttons {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .program-control--split,
  .program-opponents {
    grid-template-columns: 1fr;
  }

  .program-runbar {
    align-items: stretch;
    flex-direction: column;
  }

  .program-runbar button {
    width: 100%;
  }

  .program-scoreboard {
    grid-template-columns: 1fr 1fr;
  }

  .program-payoffs {
    grid-template-columns: 1fr 1fr;
  }

  .batch-reveal {
    grid-template-columns: 1fr;
  }

  .batch-reveal .batch-reveal__verification,
  .batch-proof {
    grid-column: 1;
  }

  .market__topline,
  .market__commitment {
    align-items: flex-start;
    flex-direction: column;
    gap: .35rem;
  }

  .market__commitment code {
    max-width: 100%;
  }
}

@media (max-width: 23rem) {
  .game-shell {
    padding-inline: .75rem;
  }

  h1 {
    font-size: 2.65rem;
  }

  .mode-picker__buttons {
    gap: .4rem;
  }

  .mode-button {
    min-height: 3.35rem;
    padding-inline: .55rem;
  }

  .mode-button span {
    font-size: .76rem;
  }

  .mode-button small {
    font-size: .6rem;
  }

  .choice {
    min-height: 7.25rem;
  }

  .choice__key {
    font-size: 4rem;
  }

  .history__legend {
    display: none;
  }

  .prophecy__topline,
  .commitment {
    align-items: flex-start;
    flex-direction: column;
    gap: .35rem;
  }

  .commitment code {
    max-width: 100%;
  }

}

@media (hover: hover) {
  .choice:hover {
    filter: brightness(1.035) saturate(1.05);
  }
}

@media (prefers-reduced-motion: reduce) {
  *,
  *::before,
  *::after {
    scroll-behavior: auto !important;
    transition-duration: .01ms !important;
  }
}