/* _site */
:root {
  --red: #e0483e;
  --blue: #4a90d9;
  --purple: color-mix(in srgb, var(--red) 45%, var(--blue));
  --hair: color-mix(in srgb, var(--fg) 30%, transparent);
}

/* posts/posterior-visualizer */
.heads[data-mk-posts-posterior-visualizer], .like[data-mk-posts-posterior-visualizer] { color: var(--red); }
.tails[data-mk-posts-posterior-visualizer], .prior[data-mk-posts-posterior-visualizer] { color: var(--blue); }
.post[data-mk-posts-posterior-visualizer] { color: var(--purple); }
.hidden[data-mk-posts-posterior-visualizer] { display: none; }
sup[data-mk-posts-posterior-visualizer] { font-size: 1.2rem; }
.legend[data-mk-posts-posterior-visualizer] { display: flex; flex-wrap: wrap; justify-content: center; gap: 1.6rem; list-style: none; margin: 0.4rem 0 0; padding: 0; font-size: 1.4rem; }
.legend li[data-mk-posts-posterior-visualizer]::before { content: ""; display: inline-block; width: 1.6rem; height: 0.3rem; margin-right: 0.6rem; vertical-align: 0.35rem; background: currentColor; }
.payoff[data-mk-posts-posterior-visualizer] { font-size: 2rem; }
.frac[data-mk-posts-posterior-visualizer] { display: inline-flex; flex-direction: column; align-items: center; vertical-align: middle; margin: 0 0.4rem; }
.frac .num[data-mk-posts-posterior-visualizer] { padding: 0 0.8rem 0.2rem; border-bottom: 1px solid var(--fg); }
.frac .den[data-mk-posts-posterior-visualizer] { padding: 0.2rem 0.8rem 0; }
.frac .op[data-mk-posts-posterior-visualizer] { padding: 0 0.4rem; opacity: 0.6; }
.reset[data-mk-posts-posterior-visualizer] { display: block; margin: 3.2rem auto 0; font-family: inherit; font-size: 1.6rem; }
@media (max-width: 600px) { .payoff[data-mk-posts-posterior-visualizer] { font-size: 1.7rem; } }

/* components/CoinLikelihood */
.scroll[data-mk-CoinLikelihood] { overflow-x: auto; padding: 0.4rem 0; }
.row[data-mk-CoinLikelihood] { display: flex; align-items: center; justify-content: safe center; gap: 0.5rem; min-width: min-content; }
.col[data-mk-CoinLikelihood] { display: flex; flex-direction: column; gap: 0.5rem; }
.none[data-mk-CoinLikelihood] { display: inline-flex; align-items: center; min-height: 4.8rem; padding: 0 1.6rem; border: 1px dashed var(--hair); font-style: italic; font-size: 1.4rem; opacity: 0.6; }
.coin[data-mk-CoinLikelihood] { flex: none; display: flex; align-items: center; justify-content: center; width: 4.8rem; height: 4.8rem; margin: 0; padding: 0; border: 1px solid var(--fg); background: transparent; font-family: "Averia Libre", cursive; font-size: 2.2rem; line-height: 1; color: var(--blue); }
.coin.heads[data-mk-CoinLikelihood] { color: var(--red); }
.times[data-mk-CoinLikelihood] { flex: none; font-size: 1.4rem; opacity: 0.45; }
@media (max-width: 600px) { .term[data-mk-CoinLikelihood] { width: 4.8rem; } .symbol[data-mk-CoinLikelihood] { font-size: 1.2rem; } }

/* components/Coins */
.scroll[data-mk-Coins] { overflow-x: auto; padding: 0.4rem 0; }
.row[data-mk-Coins] { display: flex; align-items: center; justify-content: safe center; gap: 0.5rem; min-width: min-content; }
.none[data-mk-Coins] { display: inline-flex; align-items: center; min-height: 4.8rem; padding: 0 1.6rem; border: 1px dashed var(--hair); font-style: italic; font-size: 1.4rem; opacity: 0.6; }
.coin[data-mk-Coins] { flex: none; width: 4.8rem; height: 4.8rem; margin: 0; padding: 0; border: 1px solid var(--fg); background: transparent; font-family: "Averia Libre", cursive; font-size: 2.2rem; line-height: 1; color: var(--blue); cursor: pointer; }
.coin.heads[data-mk-Coins] { color: var(--red); }
.coin[data-mk-Coins]:hover, .coin[data-mk-Coins]:focus-visible { outline: none; box-shadow: inset 0 0 0 1px var(--fg); }
.stepper[data-mk-Coins] { display: flex; align-items: center; justify-content: center; gap: 1.4rem; margin: 1.4rem 0 0.6rem; }
.stepper button[data-mk-Coins] { width: 3.2rem; height: 3.2rem; margin: 0; padding: 0; line-height: 1; font-size: 2rem; font-family: inherit; }
.count[data-mk-Coins] { font-family: Caveat, cursive; font-size: 2.6rem; color: var(--form-fg); min-width: 2.4rem; text-align: center; }
@media (max-width: 600px) { .row[data-mk-Coins] { gap: 0.35rem; } .coin[data-mk-Coins] { width: 3.6rem; height: 3.6rem; font-size: 1.8rem; } }

/* components/MatMul */
.matmul[data-mk-MatMul] {
  /* Row of A is red, column of B is blue; where they meet mixes to purple. */
  --red: #e0483e;
  --blue: #4a90d9;
  --purple: color-mix(in srgb, var(--red) 50%, var(--blue));
  position: relative;
  display: flex;
  align-items: center;
  gap: 1.2rem;
  row-gap: 2rem;
  flex-wrap: wrap;
  margin: 2rem 0;
}
.matmul td[data-mk-MatMul] { padding: 0.4rem 0.6rem; text-align: center; white-space: nowrap; }
.m-a td[data-mk-MatMul] { min-width: 6.2rem; }
.m-a td.trace[data-mk-MatMul] { background-color: color-mix(in srgb, var(--red) 30%, transparent); }
.m-b td.trace[data-mk-MatMul] { background-color: color-mix(in srgb, var(--blue) 30%, transparent); }
.m-ab td.trace[data-mk-MatMul] { background-color: color-mix(in srgb, var(--purple) 40%, transparent); }
.matmul td input[data-mk-MatMul] {
  width: 5rem;
  text-align: center;
  font: inherit;
  color: inherit;
  background: transparent;
  border: none;
  border-bottom: 1px solid transparent;
  padding: 0.1rem 0;
}
.matmul td input[data-mk-MatMul]:focus { outline: none; border-bottom: 1px solid var(--fg, currentColor); }
.matmul td input[readonly][data-mk-MatMul] { border-bottom-color: transparent; }
.matmul td.result[data-mk-MatMul] { min-width: 5rem; cursor: default; }
.pending[data-mk-MatMul] { visibility: hidden; }
/* The column of B in flight: one rigid vector, brackets and all. The box
   rotates about its center; each value counter-rotates to stay upright. */
.chip[data-mk-MatMul] {
  position: absolute;
  top: 0;
  left: 0;
  display: flex;
  flex-direction: column;
  background-color: var(--bg, #fefefe);
  animation-name: strip-fly;
  animation-timing-function: ease-in-out;
  animation-fill-mode: both;
  pointer-events: none;
}
.chip[data-mk-MatMul]::before, .chip[data-mk-MatMul]::after {
  content: "";
  position: absolute;
  top: 0;
  bottom: 0;
  width: 0.5rem;
  border-top: 2px solid var(--fg, currentColor);
  border-bottom: 2px solid var(--fg, currentColor);
}
.chip[data-mk-MatMul]::before { left: 0; border-left: 2px solid var(--fg, currentColor); }
.chip[data-mk-MatMul]::after { right: 0; border-right: 2px solid var(--fg, currentColor); }
.chip-cell[data-mk-MatMul] {
  flex: 1 1 0;
  display: flex;
  align-items: center;
  justify-content: center;
  animation-name: strip-spin;
  animation-timing-function: ease-in-out;
  animation-fill-mode: both;
}
@keyframes strip-fly {
  from { width: var(--w0); height: var(--h0); transform: translate(var(--x0), var(--y0)) rotate(var(--r0)); }
  to { width: var(--w1); height: var(--h1); transform: translate(var(--x1), var(--y1)) rotate(var(--r1)); }
}
@keyframes strip-spin {
  from { transform: rotate(var(--s0)); }
  to { transform: rotate(var(--s1)); }
}
.operator[data-mk-MatMul] { font-size: 2.4rem; }
.mismatch[data-mk-MatMul] { font-style: italic; font-size: 1.6rem; }
.controls[data-mk-MatMul] { display: flex; flex-direction: column; gap: 0.4rem; margin: 1.6rem 0; max-width: 44rem; }
.controls label[data-mk-MatMul] { display: flex; align-items: baseline; gap: 0.8rem; }
.controls label input[data-mk-MatMul] { flex: 1; margin-bottom: 0; }
.controls label input[data-mk-MatMul]:focus { margin-bottom: -1px; }
.controls button[data-mk-MatMul] { margin-top: 0.8rem; align-self: flex-start; min-width: 12rem; font-family: inherit; font-size: 1.6rem; }
.parse-error[data-mk-MatMul] { font-style: italic; font-size: 1.4rem; margin: 0; }
.hint[data-mk-MatMul] { font-size: 1.4rem; }

/* components/Matrix */
.matrix[data-mk-Matrix] { position: relative; padding: 0.3rem 1rem; display: inline-block; }
.matrix[data-mk-Matrix]::before, .matrix[data-mk-Matrix]::after {
  content: "";
  position: absolute;
  top: 0;
  bottom: 0;
  width: 0.7rem;
  border-top: 2px solid var(--fg, currentColor);
  border-bottom: 2px solid var(--fg, currentColor);
}
.matrix[data-mk-Matrix]::before { left: 0; border-left: 2px solid var(--fg, currentColor); }
.matrix[data-mk-Matrix]::after { right: 0; border-right: 2px solid var(--fg, currentColor); }

/* components/Plot */
.plot[data-mk-Plot] { position: relative; width: 100%; height: 20rem; margin: 1.2rem 0 0.4rem; }
.canvas[data-mk-Plot] { display: block; position: absolute; inset: 0; width: 100%; height: 100%; }
.hidden[data-mk-Plot] { display: none; }
.tick[data-mk-Plot] { position: absolute; top: 84.2%; transform: translate(-50%, 0.5rem); font-size: 1.3rem; opacity: 0.65; }
.dot[data-mk-Plot] { position: absolute; width: 1rem; height: 1rem; border-radius: 50%; border: 2px solid var(--bg); transform: translate(-50%, -50%); }
path.line[data-mk-Plot] { fill: none; vector-effect: non-scaling-stroke; }
path.area[data-mk-Plot] { stroke: none; opacity: 0.18; }
.axis[data-mk-Plot] { stroke: var(--fg); stroke-width: 1; vector-effect: non-scaling-stroke; }
.marker[data-mk-Plot] { stroke: var(--fg); stroke-width: 1; stroke-dasharray: 3 4; vector-effect: non-scaling-stroke; }
@media (max-width: 600px) { .plot[data-mk-Plot] { height: 17rem; } }

/* components/Slider */
.slider[data-mk-Slider] { display: flex; align-items: center; gap: 1.2rem; max-width: 42rem; margin: 0.6rem auto; }
.param[data-mk-Slider] { font-size: 2rem; }
.param[data-mk-Slider]:empty { display: none; }
.readout[data-mk-Slider] { font-family: Caveat, cursive; font-size: 2.6rem; color: var(--form-fg); min-width: 5rem; }
input[type="range"][data-mk-Slider] { -webkit-appearance: none; appearance: none; flex: 1; background: transparent; margin: 0; padding: 0; cursor: pointer; }
input[type="range"][data-mk-Slider]::-webkit-slider-runnable-track { height: 1px; background: var(--fg); }
input[type="range"][data-mk-Slider]::-moz-range-track { height: 1px; background: var(--fg); }
input[type="range"][data-mk-Slider]::-webkit-slider-thumb { -webkit-appearance: none; width: 1.6rem; height: 1.6rem; margin-top: -0.8rem; border-radius: 50%; border: 2px solid var(--fg); background: var(--bg); }
input[type="range"][data-mk-Slider]::-moz-range-thumb { width: 1.6rem; height: 1.6rem; border-radius: 50%; border: 2px solid var(--fg); background: var(--bg); }
input[type="range"][data-mk-Slider]:focus-visible::-webkit-slider-thumb { border-color: var(--purple); }
input[type="range"][data-mk-Slider]:focus-visible::-moz-range-thumb { border-color: var(--purple); }