.defbox {
  background: #fcfaf3;
  border-left: 0;
  border-radius: 4px;
  padding: 12px 24px 12px 26px;
  font-size: 26px;
}
.defbox .dfname {
  display: block;
  color: var(--ink);
  font-family: inherit;
  font-size: 22px;
  font-weight: 700;
  letter-spacing: 0;
  text-transform: none;
  margin-bottom: 4px;
}
.defbox .eq,
.defbox p {
  margin: 0;
  font-size: 26px;
}
.legendrow {
  margin-top: auto;
  padding-top: 11px;
  border-top: 1px solid var(--line);
  display: flex;
  flex-wrap: wrap;
  gap: 6px 42px;
  font-size: 20px;
  color: var(--ink-2);
}
.legendrow .katex {
  font-size: 20px;
}
.defbox .katex {
  font-size: 26px;
}
.slide .katex {
  font-size: 26px;
}
.slide .figcap .katex,
.slide .ledger .katex,
.slide .legendrow .katex,
.slide .fineprint .katex,
.slide .mo.sm .katex,
.slide .srclbl .katex {
  font-size: 20px;
}
.mstage {
  position: relative;
  width: 100%;
}
.mstage > svg {
  display: block;
  width: 100%;
  height: auto;
}
.mo {
  position: absolute;
  transform: translate(-50%, -50%);
  pointer-events: none;
  white-space: nowrap;
  line-height: 1;
  color: var(--ink);
}
.mo .katex {
  font-size: 26px;
}
.mo.sm .katex {
  font-size: 20px;
}
@media print {
  .mstage .mo[data-reveal-step] {
    transform: translate(-50%, -50%) !important;
  }
}
.slide .ledger:not(.sched) {
  border-top: 2.2px solid var(--ink);
  border-bottom: 2.2px solid var(--ink);
  table-layout: auto;
}
.slide .ledger:not(.sched) th {
  background: transparent;
  color: var(--ink);
  font-size: 19px;
  font-weight: 700;
  letter-spacing: .01em;
  text-transform: none;
  padding: 7px 12px;
  border-bottom: 1.2px solid var(--ink);
  text-align: left;
}
.slide .ledger:not(.sched) td {
  padding: 6px 12px;
  border-bottom: 0;
  font-size: var(--fs-sub);
  line-height: 1.22;
  color: var(--ink-2);
}
.slide .ledger:not(.sched) tbody tr:nth-child(even) td {
  background: transparent;
}
.slide .ledger:not(.sched) td:first-child {
  color: var(--ink);
  font-weight: 600;
}
.slide .ledger:not(.sched) td.n,
.slide .ledger:not(.sched) th.n {
  font-family: var(--mono);
  text-align: right;
  font-variant-numeric: tabular-nums;
}
.slide .ledger:not(.sched) tr.hi td {
  background: rgba(176, 50, 42, .07);
}
.slide .ledger:not(.sched) tr.mid td {
  border-top: 1.2px solid var(--ink);
}
.slide .ledger:not(.sched) .katex {
  font-size: 20px;
}
.algo {
  border-top: 1.4px solid var(--ink);
  border-bottom: 1.4px solid var(--ink);
  font-size: 20px;
  line-height: 1.35;
  color: var(--ink-2);
  padding: 0 0 6px;
}
.algo .algo-title {
  display: block;
  font-weight: 400;
  color: var(--ink);
  padding: 6px 10px;
  border-bottom: .8px solid var(--ink);
}
.algo .algo-title b {
  font-family: inherit;
  font-size: 20px;
  letter-spacing: 0;
  margin-right: 10px;
  color: var(--ink);
  font-weight: 700;
  text-transform: none;
}
.algo .io {
  display: block;
  padding: 5px 10px 0;
  color: var(--ink);
}
.algo .io b {
  font-weight: 700;
  margin-right: 6px;
}
.algo ol {
  list-style: none;
  margin: 4px 0 0;
  padding: 0;
  counter-reset: algo;
}
.algo ol li {
  counter-increment: algo;
  position: relative;
  padding: 2px 10px 2px 46px;
}
.algo ol li::before {
  content: counter(algo);
  position: absolute;
  left: 10px;
  width: 26px;
  text-align: right;
  font-family: var(--mono);
  font-size: 18px;
  color: var(--ink-3);
  top: 4px;
}
.algo ol li.in1 {
  padding-left: 70px;
}
.algo ol li.in2 {
  padding-left: 94px;
}
.algo .kw {
  font-weight: 700;
  color: var(--ink);
}
.algo .cm {
  color: var(--ink-3);
  font-style: normal;
  margin-left: 10px;
}
.algo .cm::before {
  content: "// ";
}
.algo .katex {
  font-size: 20px;
}
.algo ol li {
  font-size: 20px;
}
.algo .algo-title b {
  font-size: 20px;
}
.defbox {
  border: 1px solid #e6dcc2;
  box-shadow: none;
}
.defbox .dfname {
  color: var(--ink);
}
.defbox .plain {
  display: block;
  margin-top: 6px;
  font-size: 21px;
  color: var(--ink-2);
  line-height: 1.3;
}
.defbox .plain b.inwords {
  display: none;
}
.katex [data-explain] {
  border-bottom: 0;
  cursor: help;
}
.slide [data-explain] {
  border-bottom: 1px dotted rgba(35, 60, 87, .35);
}
.legendrow [data-explain] {
  border-bottom: 1px dotted rgba(35, 60, 87, .35);
}
.slide .katex [data-explain] {
  border-bottom: 0;
}
.katex [data-explain]::after {
  font-family:
    AktivGrotesk,
    system-ui,
    sans-serif;
  font-size: 18px;
  font-weight: 400;
  line-height: 1.3;
  white-space: normal;
  width: max-content;
  max-width: 26em;
}
.tipL[data-explain]::after,
.tipL [data-explain]::after {
  left: 0;
  transform: translateX(0) translateY(5px);
}
.tipL[data-explain]:hover::after,
.tipL [data-explain]:hover::after,
.tipL[data-explain]:focus-visible::after,
.tipL [data-explain]:focus-visible::after {
  transform: translateX(0) translateY(0);
}
.tipR[data-explain]::after,
.tipR [data-explain]::after {
  left: auto;
  right: 0;
  transform: translateX(0) translateY(5px);
}
.tipR[data-explain]:hover::after,
.tipR [data-explain]:hover::after,
.tipR[data-explain]:focus-visible::after,
.tipR [data-explain]:focus-visible::after {
  transform: translateX(0) translateY(0);
}
.legendrow > span[data-explain]:nth-child(-n+2)::after {
  left: 0;
  transform: translateX(0) translateY(5px);
}
.legendrow > span[data-explain]:nth-child(-n+2):hover::after,
.legendrow > span[data-explain]:nth-child(-n+2):focus-visible::after {
  transform: translateX(0) translateY(0);
}
.legendrow > span[data-explain]:nth-last-child(-n+2)::after {
  left: auto;
  right: 0;
  transform: translateX(0) translateY(5px);
}
.legendrow > span[data-explain]:nth-last-child(-n+2):hover::after,
.legendrow > span[data-explain]:nth-last-child(-n+2):focus-visible::after {
  transform: translateX(0) translateY(0);
}
.mo.at {
  color: #b0322a;
}
.mo.on {
  color: #fff;
}
.mo.halo {
  text-shadow:
    0 0 7px var(--paper),
    0 0 5px var(--paper),
    0 0 3px var(--paper),
    0 0 2px var(--paper);
}
.mstage .mo[data-reveal-step]:not(.arrow):not(.ring):not(.hl):not(.spot) {
  transform: translate(-50%, -50%);
}
.mstage .mo[data-reveal-step]:not(.arrow):not(.ring):not(.hl):not(.spot).is-revealed {
  transform: translate(-50%, -50%);
}
.defbox .dfname {
  font-size: 22px;
}
@font-face {
  font-family: Caveat;
  src: url(Caveat.woff2) format("woff2");
  font-weight: 400 700;
  font-display: swap;
}
.scribs {
  position: absolute;
  inset: 0;
  pointer-events: none;
  z-index: 3;
}
.scrib {
  position: absolute;
  font-family:
    Caveat,
    "Bradley Hand",
    "Segoe Print",
    cursive;
  font-weight: 500;
  font-size: 28px;
  line-height: 1.02;
  color: #210eca;
  max-width: 300px;
  transform: rotate(-1.5deg);
  white-space: normal;
  text-align: left;
}
.scrib.r {
  text-align: right;
}
.scrib.c {
  text-align: center;
}
.scrib.attack {
  color: var(--red);
}
.scrib.defense {
  color: var(--green);
}
.scrib .katex {
  font-size: 20px;
}
.scrib-svg {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  color: #210eca;
  overflow: visible;
}
.scrib-svg .attack {
  color: var(--red);
}
.scrib-svg .defense {
  color: var(--green);
}
.scrib[data-reveal-step],
.scrib-svg [data-reveal-step] {
  opacity: 0;
  transition: opacity .24s ease;
}
.scrib[data-reveal-step].is-revealed,
.scrib-svg [data-reveal-step].is-revealed {
  opacity: 1;
}
.scrib[data-reveal-step] {
  transform: rotate(-1.5deg) !important;
}
.scrib.once[data-reveal-step].is-revealed:not(.is-now) {
  opacity: 0;
}
.scrib-svg .once[data-reveal-step].is-revealed:not(.is-now) {
  opacity: 0;
}
@media print {
  .scrib.once[data-reveal-step],
  .scrib-svg .once[data-reveal-step] {
    opacity: 0 !important;
  }
}
.algo-wrap {
  position: relative;
}
.algo ol li {
  transition: background .2s ease;
}
.algo ol li > .mark {
  position: absolute;
  left: 0;
  top: 0;
  width: 0;
  height: 0;
  overflow: hidden;
  opacity: 0 !important;
  pointer-events: none;
}
.algo ol li:has(> .mark.is-revealed) {
  box-shadow: inset 3px 0 0 #f0c74a;
}
.algo ol li:has(> .mark.is-now) {
  background: #fff1b8;
  box-shadow: inset 3px 0 0 #e0a800;
}
@media print {
  .algo ol li {
    background: transparent !important;
    box-shadow: none !important;
  }
}
figure.fig > .figcap[data-label]::before,
figure.fig > figcaption[data-label]::before {
  content: attr(data-label) " ";
  font-weight: 700;
  font-style: normal;
  color: var(--ink);
}
figure.fig > .figcap[data-label],
figure.fig > figcaption[data-label] {
  display: block;
}
.defbox[data-env] .dfname::before {
  content: attr(data-label) " ";
}
.algo[data-env] .algo-title b::before {
  content: attr(data-label);
}
figure.fig[data-tip],
.dfname[data-tip],
.algo[data-tip] {
  cursor: help;
}
.algo.tight {
  width: max-content;
  max-width: 100%;
}
.slide .ledger.tight {
  width: auto;
  table-layout: auto;
}
.algo ol li {
  padding: 2px 10px 2px 40px;
}
.algo ol li::before {
  left: 8px;
  width: 22px;
}
.algo ol li.in1 {
  padding-left: 62px;
}
.algo ol li.in2 {
  padding-left: 84px;
}
.slide .ledger:not(.sched) th {
  padding: 6px 10px;
}
.slide .ledger:not(.sched) td {
  padding: 5px 10px;
}
.slide .access {
  position: absolute;
  right: 84px;
  top: 116px;
  z-index: 4;
  font-family: var(--mono);
  font-size: 18px;
  font-weight: 700;
  letter-spacing: .08em;
  text-transform: uppercase;
  line-height: 1;
  padding: 6px 11px;
  border-radius: 999px;
  border: 1.5px solid var(--ink-3);
  color: var(--ink-2);
  background: transparent;
  white-space: nowrap;
}
.slide .access.white {
  border-color: #210eca;
  color: #210eca;
}
.slide .access.black {
  border-color: var(--ink);
  background: var(--ink);
  color: #fff;
}
.slide .access.poison {
  border-color: var(--red);
  color: var(--red);
}
@media print {
  .slide .access {
    position: absolute;
  }
}
.pstory {
  display: grid;
  grid-template-columns: minmax(0, 1fr) minmax(0, 1.18fr);
  gap: 12px 34px;
  align-items: start;
  flex: 1 1 auto;
  min-height: 0;
}
.pstory.wide-fig {
  grid-template-columns: minmax(0, 1.5fr) minmax(0, 1fr);
}
.pstory > * {
  min-width: 0;
}
.pstory .fig {
  margin: 0;
}
.pstory .ledger {
  margin: 0;
  width: 100%;
}
.pstory .ledger td:first-child {
  white-space: nowrap;
}
.qs {
  margin: 0;
  padding: 0;
  list-style: none;
  display: grid;
  gap: 9px;
  align-content: start;
}
.qs > li {
  display: grid;
  grid-template-columns: 44px minmax(0, 1fr);
  gap: 0 12px;
  align-items: baseline;
  font-size: 22px;
  line-height: 1.3;
  color: var(--ink-2);
}
.qs > li > b {
  font-family: var(--mono);
  font-size: 19px;
  font-weight: 700;
  letter-spacing: .06em;
  color: var(--green);
}
.qs > li > b.a {
  color: var(--ink);
}
.qs > li > span > b {
  color: var(--ink);
  font-weight: 650;
}
.qs.hd {
  padding-top: 10px;
  border-top: 1px solid var(--line);
}
.qs.hd::before {
  content: attr(data-head);
  display: block;
  grid-column: 1/-1;
  margin-bottom: 2px;
  color: var(--green);
  font-size: 18px;
  font-weight: 700;
  letter-spacing: .16em;
  text-transform: uppercase;
}