.exhibit-live {
  background: var(--color-exhibit-soft);
}

.exhibit-shell {
  display: grid;
  gap: 0.85rem;
}

.exhibit-intro,
.exhibit-summary,
.exhibit-footnote {
  margin: 0;
}

.exhibit-summary {
  color: var(--color-ink);
  font-weight: 650;
}

.exhibit-footnote {
  color: var(--color-muted);
  font-size: 0.95rem;
}

.exhibit-toolbar {
  align-items: end;
  display: flex;
  flex-wrap: wrap;
  gap: 0.75rem;
  justify-content: space-between;
}

.exhibit-choice {
  border: 0;
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
  margin: 0;
  min-width: min(100%, 22rem);
  padding: 0;
}

.exhibit-choice legend {
  color: var(--color-muted);
  flex-basis: 100%;
  font-size: 0.82rem;
  font-weight: 700;
  letter-spacing: 0;
  margin-bottom: 0.1rem;
  text-transform: uppercase;
}

.exhibit-choice button,
.exhibit-reset {
  background: var(--color-page);
  border: 1px solid transparent;
  border-radius: 8px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-weight: 700;
  min-height: 2.75rem;
  padding: 0.55rem 0.8rem;
}

.exhibit-choice button[aria-pressed="true"] {
  background: var(--color-exhibit);
  color: var(--color-page);
}

.exhibit-choice button:focus-visible,
.exhibit-reset:focus-visible {
  outline: 3px solid var(--color-focus);
  outline-offset: 2px;
}

.exhibit-stage {
  align-items: center;
  display: grid;
  min-height: 20rem;
}

.exhibit-task-list {
  counter-reset: task;
  display: grid;
  gap: 0.5rem;
  list-style: none;
  margin: 0;
  padding: 0;
}

.exhibit-task-list li {
  align-items: baseline;
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 82%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  gap: 0.35rem 1rem;
  grid-template-columns: minmax(9rem, 1fr) minmax(10rem, 1.4fr);
  min-height: 3rem;
  padding: 0.65rem 0.75rem;
}

.exhibit-task-list li::before {
  color: var(--color-exhibit);
  content: counter(task, decimal-leading-zero);
  counter-increment: task;
  font-family: var(--book-font-mono);
  font-size: 0.82rem;
  font-weight: 700;
  grid-column: 1 / -1;
}

.exhibit-task-list span {
  color: var(--color-muted);
}

.exhibit-table-wrap {
  overflow-x: auto;
}

.exhibit-table {
  min-width: 34rem;
  width: 100%;
}

.exhibit-table th,
.exhibit-table td {
  vertical-align: top;
}

.dependency-graph {
  align-items: center;
  display: grid;
  min-height: 18rem;
}

.dependency-graph svg {
  display: block;
  height: auto;
  width: 100%;
}

.dependency-edge {
  fill: none;
  stroke: var(--color-muted);
  stroke: color-mix(in srgb, var(--color-ink) 45%, transparent);
  stroke-linecap: round;
  stroke-width: 3;
}

.dependency-node circle {
  stroke: var(--color-muted);
  stroke: color-mix(in srgb, var(--color-ink) 35%, transparent);
  stroke-width: 2;
}

.dependency-label rect {
  fill: var(--color-page);
  stroke: var(--color-muted);
  stroke: color-mix(in srgb, var(--color-ink) 24%, transparent);
  stroke-width: 1.5;
}

.dependency-label text {
  fill: var(--color-ink);
  font-family: var(--book-font-body);
  font-size: 0.82rem;
  font-weight: 800;
  letter-spacing: 0;
}

.dependency-node-0 circle {
  fill: #ffd36a;
}

.dependency-node-1 circle {
  fill: #90d7c6;
}

.dependency-node-2 circle {
  fill: #f4a6b8;
}

html[data-theme="contrast"] .dependency-edge {
  stroke: currentColor;
}

html[data-theme="contrast"] .dependency-node circle {
  fill: var(--color-page);
  stroke: currentColor;
  stroke-width: 3;
}

html[data-theme="contrast"] .dependency-label rect {
  fill: var(--color-page);
  stroke: currentColor;
  stroke-width: 2;
}

html[data-theme="contrast"] .dependency-label text {
  fill: var(--color-ink);
}

.number-toolbar {
  align-items: end;
}

.number-input-label {
  color: var(--color-muted);
  display: grid;
  font-size: 0.82rem;
  font-weight: 700;
  gap: 0.1rem;
  min-width: 7.5rem;
  text-transform: uppercase;
}

.number-input-label input {
  background: var(--color-page);
  border: 1px solid transparent;
  border-radius: 8px;
  color: var(--color-ink);
  font: inherit;
  font-size: 1rem;
  font-weight: 800;
  min-height: 2.75rem;
  padding: 0.45rem 0.65rem;
}

.number-input-label input:focus-visible {
  outline: 3px solid var(--color-focus);
  outline-offset: 2px;
}

.number-actions {
  display: flex;
  gap: 0.4rem;
}

.number-machine-stage {
  align-items: stretch;
  min-height: 26rem;
}

.number-machine-view {
  display: grid;
  gap: 0.85rem;
  grid-template-columns: minmax(0, 0.85fr) minmax(0, 1.35fr);
}

.number-output-panel,
.number-work-panel {
  align-content: start;
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 82%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  gap: 0.7rem;
  min-width: 0;
  padding: 0.8rem;
}

.number-output-panel h3,
.number-work-panel h3 {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 0.82rem;
  letter-spacing: 0;
  margin: 0;
  text-transform: uppercase;
}

.number-output {
  align-items: center;
  color: var(--color-ink);
  display: grid;
  font-family: var(--book-font-mono);
  font-size: 2rem;
  font-weight: 800;
  line-height: 1.2;
  min-block-size: 10rem;
  min-width: 0;
  overflow-wrap: anywhere;
}

.number-output-tally {
  align-items: start;
  font-size: 1rem;
  overflow: auto;
}

.empty-number {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 1rem;
  font-weight: 700;
}

.tally-board {
  align-content: start;
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem;
  max-block-size: 15rem;
  overflow: auto;
}

.tally-group {
  background: #ffd36a;
  border-radius: 8px;
  color: #1f1b10;
  display: inline-block;
  font-family: var(--book-font-mono);
  font-weight: 900;
  min-inline-size: 3.25rem;
  padding: 0.25rem 0.4rem;
  text-align: center;
}

.tally-group-partial {
  background: #f4a6b8;
}

.number-output-roman {
  color: var(--color-exhibit);
  font-family: var(--book-font-body);
  font-size: 2.2rem;
}

.roman-parts {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.roman-part {
  background: var(--color-panel);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  display: grid;
  gap: 0.15rem;
  min-inline-size: 5.5rem;
  padding: 0.45rem 0.55rem;
}

.roman-part strong {
  color: var(--color-ink);
  font-family: var(--book-font-mono);
  font-size: 1.1rem;
}

.roman-part span {
  color: var(--color-muted);
  font-size: 0.82rem;
  font-weight: 700;
}

.roman-part.is-subtractive {
  background: color-mix(in srgb, var(--color-panel) 72%, #90d7c6);
}

.number-output-abacus {
  align-items: stretch;
  font-size: 1rem;
  overflow-x: auto;
}

.abacus-columns {
  align-items: end;
  display: flex;
  gap: 0.55rem;
  min-inline-size: max-content;
  padding: 0.15rem;
}

.abacus-column {
  align-items: center;
  display: grid;
  gap: 0.35rem;
  justify-items: center;
  min-inline-size: 3.75rem;
}

.abacus-place,
.abacus-digit {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 0.78rem;
  font-weight: 800;
}

.abacus-digit {
  color: var(--color-ink);
  font-family: var(--book-font-mono);
  font-size: 1rem;
}

.abacus-rod {
  align-items: center;
  background: color-mix(in srgb, var(--color-panel) 78%, #90d7c6);
  border: 1px solid color-mix(in srgb, var(--color-ink) 22%, transparent);
  border-radius: 8px;
  display: grid;
  gap: 0.24rem;
  justify-items: center;
  min-block-size: 11rem;
  padding: 0.45rem 0.35rem;
  position: relative;
}

.abacus-bead {
  background: var(--color-page);
  border: 2px solid color-mix(in srgb, var(--color-ink) 28%, transparent);
  border-radius: 999px;
  display: block;
  inline-size: 1.45rem;
  block-size: 1.45rem;
}

.abacus-bead.is-active {
  background: #f4a6b8;
  border-color: color-mix(in srgb, #f4a6b8 65%, var(--color-ink));
}

.abacus-bead-five.is-active {
  background: #ffd36a;
  border-color: color-mix(in srgb, #ffd36a 62%, var(--color-ink));
}

.abacus-divider {
  background: var(--color-ink);
  block-size: 2px;
  border-radius: 999px;
  inline-size: 2.4rem;
  opacity: 0.5;
}

.place-columns {
  display: grid;
  gap: 0.45rem;
  grid-template-columns: repeat(auto-fit, minmax(5.6rem, 1fr));
}

.place-column {
  background: var(--color-panel);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  display: grid;
  gap: 0.25rem;
  min-block-size: 7.2rem;
  min-width: 0;
  padding: 0.55rem;
  position: relative;
}

.place-column.is-carry-touched {
  border-color: color-mix(in srgb, #f4a6b8 72%, var(--color-ink));
  box-shadow: inset 0 0 0 2px color-mix(in srgb, #f4a6b8 42%, transparent);
}

.place-column.is-carry-wrapped {
  background: color-mix(in srgb, var(--color-panel) 68%, #ffd36a);
}

.carry-badge {
  background: var(--color-exhibit);
  border-radius: 999px;
  color: var(--color-page);
  font-size: 0.72rem;
  font-weight: 850;
  inset-block-start: 0.4rem;
  inset-inline-end: 0.4rem;
  line-height: 1;
  padding: 0.25rem 0.4rem;
  position: absolute;
}

.place-digit {
  color: var(--color-ink);
  font-family: var(--book-font-mono);
  font-size: 2rem;
  font-weight: 900;
  line-height: 1;
}

.place-weight,
.place-contribution {
  color: var(--color-muted);
  font-size: 0.82rem;
  font-weight: 750;
}

.place-contribution {
  overflow-wrap: anywhere;
}

.number-facts {
  display: grid;
  gap: 0.35rem 0.75rem;
  grid-template-columns: max-content minmax(0, 1fr);
  margin: 0;
}

.number-facts dt {
  color: var(--color-muted);
  font-size: 0.82rem;
  font-weight: 800;
  text-transform: uppercase;
}

.number-facts dd {
  margin: 0;
  min-width: 0;
  overflow-wrap: anywhere;
}

.number-note {
  color: var(--color-muted);
  margin: 0;
}

html[data-theme="dark"] .tally-group,
html[data-theme="dark"] .carry-badge {
  color: #121816;
}

html[data-theme="contrast"] .number-output-panel,
html[data-theme="contrast"] .number-work-panel,
html[data-theme="contrast"] .roman-part,
html[data-theme="contrast"] .place-column,
html[data-theme="contrast"] .abacus-rod {
  background: var(--color-page);
  border-color: currentColor;
}

html[data-theme="contrast"] .tally-group,
html[data-theme="contrast"] .tally-group-partial,
html[data-theme="contrast"] .abacus-bead.is-active,
html[data-theme="contrast"] .abacus-bead-five.is-active,
html[data-theme="contrast"] .carry-badge {
  background: var(--color-page);
  color: var(--color-ink);
  outline: 2px solid currentColor;
}

html[data-theme="contrast"] .place-column.is-carry-touched,
html[data-theme="contrast"] .place-column.is-carry-wrapped {
  box-shadow: inset 0 0 0 2px currentColor;
}

.jaqt-stage {
  align-items: stretch;
  min-height: 36rem;
}

.jaqt-lab {
  display: grid;
  gap: 0.85rem;
}

.jaqt-main {
  display: grid;
  gap: 0.85rem;
  grid-template-columns: 1fr;
}

.jaqt-code-panel,
.jaqt-function-lab,
.jaqt-pipeline section {
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 82%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  gap: 0.65rem;
  min-width: 0;
  padding: 0.8rem;
}

.jaqt-code-panel h3,
.jaqt-function-lab h3,
.jaqt-pipeline h3 {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 0.82rem;
  letter-spacing: 0;
  margin: 0;
  text-transform: uppercase;
}

.jaqt-code {
  background: var(--color-code);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  color: var(--color-ink);
  margin: 0;
  max-block-size: 22rem;
  min-width: 0;
  overflow: auto;
  padding: 0.75rem;
}

.jaqt-code code {
  font-size: 0.82rem;
  line-height: 1.55;
}

.jaqt-code-line {
  display: block;
  min-block-size: 1.35em;
  white-space: pre;
}

.jaqt-code-token {
  background: color-mix(in srgb, var(--color-panel) 72%, #ffd36a);
  border: 1px solid color-mix(in srgb, var(--color-ink) 24%, transparent);
  border-radius: 6px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-weight: 800;
  max-inline-size: 100%;
  overflow-wrap: anywhere;
  padding: 0.05rem 0.25rem;
}

.jaqt-edit-wrap {
  display: inline-block;
  position: relative;
  white-space: normal;
  z-index: 1;
}

.jaqt-edit-token {
  background: color-mix(in srgb, var(--color-panel) 55%, #90d7c6);
  border: 1px solid color-mix(in srgb, var(--color-ink) 26%, transparent);
  border-radius: 6px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-weight: 900;
  line-height: 1.2;
  max-inline-size: 9rem;
  overflow-wrap: anywhere;
  padding: 0.05rem 0.35rem;
}

.jaqt-edit-token[aria-expanded="true"] {
  background: var(--color-exhibit);
  color: var(--color-page);
}

.jaqt-edit-menu {
  background: var(--color-page);
  border: 1px solid color-mix(in srgb, var(--color-ink) 28%, transparent);
  border-radius: 8px;
  box-shadow: 0 0.75rem 1.4rem color-mix(in srgb, var(--color-ink) 18%, transparent);
  display: grid;
  gap: 0.25rem;
  inset-block-start: calc(100% + 0.2rem);
  inset-inline-start: 0;
  min-inline-size: max(7rem, 100%);
  padding: 0.3rem;
  position: absolute;
  white-space: normal;
  z-index: 5;
}

.jaqt-edit-option {
  background: transparent;
  border: 0;
  border-radius: 6px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-weight: 800;
  padding: 0.35rem 0.45rem;
  text-align: left;
}

.jaqt-edit-option.is-selected {
  background: var(--color-exhibit-soft);
}

.jaqt-code-token.is-selected,
.jaqt-function-tab.is-selected {
  background: var(--color-exhibit);
  color: var(--color-page);
}

.jaqt-code-token:focus-visible,
.jaqt-edit-token:focus-visible,
.jaqt-edit-option:focus-visible,
.jaqt-function-tab:focus-visible {
  outline: 3px solid var(--color-focus);
  outline-offset: 2px;
}

.jaqt-stage-note,
.jaqt-empty-result,
.jaqt-function-summary,
.jaqt-function-result {
  color: var(--color-muted);
  margin: 0;
}

.jaqt-pipeline {
  display: grid;
  gap: 0.65rem;
  grid-template-columns: repeat(auto-fit, minmax(12rem, 1fr));
}

.jaqt-records {
  display: grid;
  gap: 0.45rem;
  min-width: 0;
}

.jaqt-record {
  background: var(--color-panel);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  display: grid;
  gap: 0.35rem;
  min-width: 0;
  padding: 0.55rem;
}

.jaqt-record.is-rejected {
  opacity: 0.48;
}

.jaqt-record.is-result {
  background: color-mix(in srgb, var(--color-panel) 72%, #90d7c6);
}

.jaqt-record h4 {
  color: var(--color-ink);
  font-size: 0.96rem;
  line-height: 1.2;
  margin: 0;
  overflow-wrap: anywhere;
}

.jaqt-record dl {
  display: grid;
  gap: 0.12rem 0.45rem;
  grid-template-columns: max-content minmax(0, 1fr);
  margin: 0;
}

.jaqt-record dt {
  color: var(--color-muted);
  font-size: 0.76rem;
  font-weight: 800;
  text-transform: uppercase;
}

.jaqt-record dd {
  font-size: 0.86rem;
  margin: 0;
  min-width: 0;
  overflow-wrap: anywhere;
}

.jaqt-function-lab {
  grid-template-columns: minmax(12rem, 0.6fr) minmax(0, 1fr);
}

.jaqt-function-lab h3 {
  grid-column: 1 / -1;
}

.jaqt-function-tabs {
  display: flex;
  flex-wrap: wrap;
  gap: 0.4rem;
}

.jaqt-function-tab {
  background: var(--color-page);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-size: 0.9rem;
  font-weight: 800;
  min-height: 2.3rem;
  padding: 0.35rem 0.55rem;
}

.jaqt-function-summary {
  align-self: center;
  font-weight: 650;
}

.jaqt-function-steps {
  counter-reset: function-step;
  display: grid;
  gap: 0.35rem;
  grid-column: 1 / -1;
  list-style: none;
  margin: 0;
  padding: 0;
}

.jaqt-function-steps li {
  align-items: baseline;
  background: var(--color-panel);
  border-radius: 8px;
  display: grid;
  gap: 0.45rem;
  grid-template-columns: 2rem minmax(0, 1fr);
  min-width: 0;
  padding: 0.45rem 0.55rem;
}

.jaqt-function-steps li::before {
  color: var(--color-exhibit);
  content: counter(function-step, decimal-leading-zero);
  counter-increment: function-step;
  font-family: var(--book-font-mono);
  font-size: 0.78rem;
  font-weight: 900;
}

.jaqt-function-result {
  background: color-mix(in srgb, var(--color-panel) 72%, #f4a6b8);
  border-radius: 8px;
  color: var(--color-ink);
  font-weight: 800;
  grid-column: 1 / -1;
  padding: 0.55rem;
}

html[data-theme="contrast"] .jaqt-code-panel,
html[data-theme="contrast"] .jaqt-function-lab,
html[data-theme="contrast"] .jaqt-pipeline section,
html[data-theme="contrast"] .jaqt-record,
html[data-theme="contrast"] .jaqt-record.is-result,
html[data-theme="contrast"] .jaqt-function-steps li,
html[data-theme="contrast"] .jaqt-function-result {
  background: var(--color-page);
  border-color: currentColor;
}

html[data-theme="contrast"] .jaqt-code-token,
html[data-theme="contrast"] .jaqt-edit-token,
html[data-theme="contrast"] .jaqt-edit-option.is-selected,
html[data-theme="contrast"] .jaqt-function-tab,
html[data-theme="contrast"] .jaqt-code-token.is-selected,
html[data-theme="contrast"] .jaqt-edit-token[aria-expanded="true"],
html[data-theme="contrast"] .jaqt-function-tab.is-selected {
  background: var(--color-page);
  color: var(--color-ink);
  outline: 2px solid currentColor;
}

html[data-theme="contrast"] .jaqt-edit-menu {
  background: var(--color-page);
  border-color: currentColor;
  box-shadow: none;
}

.knit-stage {
  align-items: stretch;
  min-height: 34rem;
}

.knit-lab {
  display: grid;
  gap: 0.85rem;
}

.knit-worlds {
  display: grid;
  gap: 0.85rem;
  grid-template-columns: 1fr;
}

.knit-world,
.knit-workbench section {
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 82%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  gap: 0.65rem;
  min-width: 0;
  padding: 0.8rem;
}

.knit-world h3,
.knit-workbench h3 {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 0.82rem;
  letter-spacing: 0;
  margin: 0;
  text-transform: uppercase;
}

.knit-diagram {
  min-width: 0;
  overflow-x: auto;
}

.knit-diagram svg {
  display: block;
  height: auto;
  width: 100%;
}

.knit-thread {
  fill: none;
  stroke: color-mix(in srgb, var(--color-muted) 58%, transparent);
  stroke-linecap: round;
  stroke-width: 2.5;
}

.knit-thread.is-hidden {
  stroke-dasharray: 5 6;
}

.knit-thread.is-active.is-hidden {
  stroke: #f4a6b8;
  stroke-width: 4;
}

.knit-thread.is-explicit {
  stroke: #1f6f62;
  stroke-width: 3.5;
}

.knit-thread.is-active.is-explicit {
  stroke: #90d7c6;
  stroke-width: 5;
}

.knit-node rect {
  fill: var(--color-panel);
  stroke: color-mix(in srgb, var(--color-ink) 24%, transparent);
  stroke-width: 1.5;
}

.knit-node.is-hidden rect {
  fill: color-mix(in srgb, var(--color-panel) 76%, #f4a6b8);
}

.knit-node.is-explicit rect,
.knit-node-component.is-lego rect {
  fill: color-mix(in srgb, var(--color-panel) 74%, #90d7c6);
}

.knit-node.is-active rect {
  stroke: var(--color-exhibit);
  stroke-width: 3;
}

.knit-node-component.is-knitted rect {
  fill: color-mix(in srgb, var(--color-panel) 70%, #ffd36a);
}

.knit-node text {
  fill: var(--color-ink);
  font-family: var(--book-font-body);
  font-size: 0.72rem;
  font-weight: 850;
  letter-spacing: 0;
}

.knit-workbench {
  display: grid;
  gap: 0.85rem;
  grid-template-columns: 1fr;
}

.knit-meter {
  display: grid;
  gap: 0.65rem;
}

.knit-meter-bar {
  background: color-mix(in srgb, var(--color-panel) 70%, #90d7c6);
  border-radius: 999px;
  block-size: 0.85rem;
  overflow: hidden;
}

.knit-meter-bar span {
  background: #f4a6b8;
  block-size: 100%;
  display: block;
}

.knit-boundary-controls {
  display: grid;
  gap: 0.4rem;
  grid-template-columns: repeat(auto-fit, minmax(9rem, 1fr));
}

.knit-boundary-button {
  background: var(--color-page);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  color: var(--color-ink);
  cursor: pointer;
  font: inherit;
  font-size: 0.88rem;
  font-weight: 800;
  min-height: 2.6rem;
  padding: 0.45rem 0.55rem;
  text-align: left;
}

.knit-boundary-button.is-active {
  border-color: color-mix(in srgb, #f4a6b8 70%, var(--color-ink));
  box-shadow: inset 0 0 0 2px color-mix(in srgb, #f4a6b8 35%, transparent);
}

.knit-boundary-button.is-explicit {
  background: color-mix(in srgb, var(--color-panel) 70%, #90d7c6);
}

.knit-boundary-button:focus-visible {
  outline: 3px solid var(--color-focus);
  outline-offset: 2px;
}

.knit-thread-notes {
  display: grid;
  gap: 0.45rem;
  list-style: none;
  margin: 0;
  padding: 0;
}

.knit-thread-notes li {
  background: var(--color-panel);
  border-left: 4px solid #f4a6b8;
  border-radius: 8px;
  display: grid;
  gap: 0.15rem;
  padding: 0.5rem 0.6rem;
}

.knit-thread-notes li.is-explicit {
  border-left-color: #1f6f62;
}

.knit-thread-notes strong {
  color: var(--color-ink);
}

.knit-thread-notes span,
.knit-note {
  color: var(--color-muted);
}

.knit-note {
  margin: 0;
}

html[data-theme="dark"] .knit-thread.is-explicit {
  stroke: #8fd6c6;
}

html[data-theme="contrast"] .knit-world,
html[data-theme="contrast"] .knit-workbench section,
html[data-theme="contrast"] .knit-node rect,
html[data-theme="contrast"] .knit-boundary-button,
html[data-theme="contrast"] .knit-thread-notes li {
  background: var(--color-page);
  fill: var(--color-page);
  stroke: currentColor;
  border-color: currentColor;
}

html[data-theme="contrast"] .knit-thread,
html[data-theme="contrast"] .knit-thread.is-hidden,
html[data-theme="contrast"] .knit-thread.is-explicit {
  stroke: currentColor;
}

html[data-theme="contrast"] .knit-boundary-button.is-active,
html[data-theme="contrast"] .knit-boundary-button.is-explicit {
  box-shadow: inset 0 0 0 2px currentColor;
}

.html-tree-stage {
  align-items: stretch;
  min-height: 24rem;
}

.html-choice-view {
  display: grid;
  gap: 0.85rem;
}

.annotation-lanes {
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 82%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  gap: 0.35rem;
  padding: 0.8rem;
}

.annotation-row,
.annotation-segments {
  display: grid;
  gap: 0.35rem;
  grid-template-columns: 1.05fr 1.75fr 0.55fr;
}

.annotation-row {
  min-block-size: 1.85rem;
}

.annotation-range {
  border-radius: 999px;
  color: #13201d;
  font-size: 0.82rem;
  font-weight: 800;
  min-inline-size: 0;
  padding: 0.3rem 0.65rem;
  text-align: center;
}

.annotation-range-strong {
  background: #ffd36a;
}

.annotation-range-em {
  background: #90d7c6;
}

.annotation-segments {
  margin: 0.2rem 0 0;
}

.annotation-segment {
  background: var(--color-panel);
  border-radius: 8px;
  color: var(--color-ink);
  font-weight: 700;
  min-block-size: 3rem;
  min-inline-size: 0;
  padding: 0.75rem;
}

.annotation-segment.is-strong {
  box-shadow: inset 0 0 0 2px #ffd36a;
}

.annotation-segment.is-em {
  background: color-mix(in srgb, var(--color-panel) 72%, #90d7c6);
}

.annotation-segment.is-strong.is-em {
  background: color-mix(in srgb, #ffd36a 42%, #90d7c6);
}

.html-parse-view {
  grid-template-columns: minmax(0, 0.95fr) minmax(0, 1.35fr);
}

.html-parse-view .html-tree-note {
  grid-column: 1 / -1;
}

.html-source-panel {
  display: grid;
  gap: 0.45rem;
  min-width: 0;
}

.html-source-panel h3 {
  color: var(--color-muted);
  font-family: var(--book-font-body);
  font-size: 0.82rem;
  letter-spacing: 0.08em;
  margin: 0;
  text-transform: uppercase;
}

.html-source-code {
  background: var(--color-code);
  border: 1px solid var(--color-line);
  border-radius: 8px;
  color: var(--color-ink);
  margin: 0;
  min-block-size: 100%;
  overflow: auto;
  padding: 0.75rem;
  white-space: pre-wrap;
}

.html-source-code code {
  font-size: 0.82rem;
  line-height: 1.5;
}

.html-tree-figure {
  background: var(--color-page);
  background: color-mix(in srgb, var(--color-page) 78%, var(--color-exhibit-soft));
  border-radius: 8px;
  display: grid;
  min-width: 0;
  overflow-x: auto;
  padding: 0.35rem;
}

.html-tree-figure svg {
  display: block;
  height: auto;
  min-width: 34rem;
  width: 100%;
}

.html-tree-link {
  fill: none;
  stroke: var(--color-muted);
  stroke: color-mix(in srgb, var(--color-ink) 38%, transparent);
  stroke-linecap: round;
  stroke-width: 2.5;
}

.html-tree-node rect {
  fill: var(--color-panel);
  stroke: var(--color-muted);
  stroke: color-mix(in srgb, var(--color-ink) 24%, transparent);
  stroke-width: 1.5;
}

.html-tree-node-root rect {
  fill: color-mix(in srgb, var(--color-exhibit-soft) 58%, var(--color-panel));
}

.html-tree-node-element rect {
  fill: color-mix(in srgb, var(--color-panel) 75%, #90d7c6);
}

.html-tree-node-text rect {
  fill: color-mix(in srgb, var(--color-panel) 78%, #ffd36a);
}

.html-tree-node text {
  fill: var(--color-ink);
  font-family: var(--book-font-body);
  font-size: 0.78rem;
  font-weight: 800;
  letter-spacing: 0;
}

.html-tree-note {
  color: var(--color-muted);
  margin: 0;
}

.html-range-model {
  grid-template-columns: minmax(0, 1fr) minmax(14rem, 0.82fr);
}

html[data-theme="dark"] .annotation-range {
  color: #111816;
}

html[data-theme="contrast"] .annotation-lanes,
html[data-theme="contrast"] .html-tree-figure {
  background: var(--color-page);
}

html[data-theme="contrast"] .annotation-range {
  background: var(--color-page);
  color: var(--color-ink);
  outline: 2px solid currentColor;
}

html[data-theme="contrast"] .annotation-segment,
html[data-theme="contrast"] .annotation-segment.is-em,
html[data-theme="contrast"] .annotation-segment.is-strong.is-em,
html[data-theme="contrast"] .html-tree-node-root rect,
html[data-theme="contrast"] .html-tree-node-element rect,
html[data-theme="contrast"] .html-tree-node-text rect {
  background: var(--color-page);
  fill: var(--color-page);
}

html[data-theme="contrast"] .annotation-segment.is-strong,
html[data-theme="contrast"] .annotation-segment.is-em {
  box-shadow: inset 0 0 0 2px currentColor;
}

html[data-theme="contrast"] .html-tree-link,
html[data-theme="contrast"] .html-tree-node rect {
  stroke: currentColor;
}

@media (max-width: 720px) {
  .exhibit-stage {
    min-height: 24rem;
  }

  .number-input-label,
  .number-input-label input,
  .number-actions {
    width: 100%;
  }

  .number-actions {
    display: grid;
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .number-machine-view {
    grid-template-columns: 1fr;
  }

  .jaqt-main,
  .jaqt-pipeline,
  .jaqt-function-lab,
  .knit-worlds,
  .knit-workbench {
    grid-template-columns: 1fr;
  }

  .jaqt-code {
    max-block-size: 20rem;
  }

  .jaqt-function-lab h3,
  .jaqt-function-steps,
  .jaqt-function-result {
    grid-column: auto;
  }

  .number-facts {
    grid-template-columns: 1fr;
  }

  .annotation-row,
  .annotation-segments {
    grid-template-columns: 1fr;
  }

  .annotation-range {
    grid-column: 1 / 2 !important;
  }

  .html-parse-view,
  .html-range-model {
    grid-template-columns: 1fr;
  }

  .html-parse-view .html-tree-note {
    grid-column: auto;
  }

  .exhibit-task-list li {
    grid-template-columns: 1fr;
  }

  .exhibit-choice,
  .exhibit-choice button,
  .exhibit-reset {
    width: 100%;
  }
}

@media (max-width: 440px) {
  .number-actions {
    grid-template-columns: 1fr;
  }
}