#recursion > .section {
  max-width: 1040px;
  padding-block: 28px;
}
#recursion .section-heading {
  gap: 24px;
  margin-bottom: 16px;
}
#recursion .section-heading .eyebrow {
  margin-bottom: 8px;
}
#recursion-title {
  font-size: clamp(27px, 2.7vw, 32px);
  letter-spacing: -1px;
}
#recursion .section-heading > p {
  font-size: 13px;
  line-height: 1.7;
}
.recursion-lab {
  border: 1px solid #dcd9e6;
  border-radius: 13px;
  background: #fff;
  overflow: hidden;
  box-shadow: 0 8px 30px #3d2b6208;
}
.recursion-toolbar {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  justify-content: space-between;
  gap: 10px 18px;
  padding: 8px 14px;
  border-bottom: 1px solid var(--line);
}
.segmented-control {
  display: flex;
  gap: 4px;
  border: 1px solid #dfd9e9;
  border-radius: 8px;
  padding: 3px;
}
.segmented-control button {
  display: flex;
  align-items: center;
  gap: 10px;
  border: 1px solid transparent;
  border-radius: 5px;
  padding: 5px 10px;
  background: #fff;
  font-size: 14px;
  line-height: 1.4;
  font-weight: 650;
  color: #8d8499;
}
.segmented-control button[aria-pressed="true"] {
  color: #76549e;
  border-color: #b9a2d1;
  box-shadow: 0 1px 4px #74538e10;
}
.segmented-control button span {
  font-size: 18px;
}
.budget-control {
  width: 180px;
}
.budget-control label {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 8px;
  font-size: 10px;
  line-height: 1.5;
}
.budget-control output {
  font: 650 14px var(--mono);
  color: #76549e;
  white-space: nowrap;
}
.budget-control input {
  display: block;
  width: 100%;
  height: 14px;
  margin: 4px 0 0;
  accent-color: #8963b0;
}
.range-labels {
  display: none;
}
.recursion-controls {
  display: flex;
  gap: 6px;
}
.recursion-controls button {
  padding: 6px 8px;
  border: 1px solid #dfd8e9;
  border-radius: 5px;
  background: #fff;
  font-size: 11px;
  line-height: 1.4;
  color: #6e5689;
  white-space: nowrap;
}
.recursion-controls button:hover {
  border-color: #a68abf;
}
.recursion-canvas {
  padding: 12px 14px 10px;
}
.diagram-heading {
  display: flex;
  flex-wrap: wrap;
  justify-content: space-between;
  align-items: center;
  gap: 12px;
}
#diagram-label {
  font-size: 16px;
  line-height: 1.4;
  font-weight: 650;
  letter-spacing: -0.5px;
}
.recursion-stage {
  font: 600 10px/1.5 var(--mono);
  color: #8764a5;
}
.recursion-diagram {
  position: relative;
  isolation: isolate;
  margin: 14px 0 10px;
}
.r-layout {
  display: grid;
  grid-template-columns: 1fr 1.9fr 1.15fr 1.1fr;
  gap: 28px;
  align-items: center;
}
.r-wires {
  position: absolute;
  inset: 0;
  width: 100%;
  height: 100%;
  overflow: visible;
  pointer-events: none;
  z-index: 1;
}
.r-wire,
.r-signal {
  fill: none;
  stroke: #baa5d0;
  stroke-width: 1.5;
  stroke-linecap: round;
  stroke-linejoin: round;
  opacity: 0;
}
.r-wire {
  marker-end: url(#recursion-arrow);
}
.r-wire-invariant {
  stroke: #75a7cb;
}
.r-wire-domain {
  stroke: #79b4a2;
}
.r-wire.is-visible {
  opacity: 0.35;
}
.r-wire[data-kind="compose"].is-visible {
  opacity: 0.08;
}
.r-wire.is-visible.is-highlighted {
  opacity: 1;
  stroke-width: 2;
}
.r-signal {
  stroke-width: 2.3;
  stroke-dasharray: 4 17;
}
.r-signal.is-active {
  opacity: 1;
}
.is-recursion-playing .r-signal.is-active {
  animation: recursion-flow 1.2s linear infinite;
}
@keyframes recursion-flow {
  to {
    stroke-dashoffset: -42;
  }
}
.r-node {
  --r-accent: #a78aba;
  position: relative;
  z-index: 2;
  min-width: 0;
  border: 1px solid #ded8e7;
  border-radius: 8px;
  background: #fff;
  padding: 7px 6px;
  text-align: center;
  transition:
    border-color 0.25s,
    box-shadow 0.25s;
}
.r-node strong {
  display: block;
  font-size: 16px;
  line-height: 1.2;
  font-weight: 650;
}
.r-detail {
  display: block;
  margin-top: 5px;
  font-size: 11px;
  line-height: 1.5;
  color: #8c8298;
}
.r-reference-count {
  display: block;
  margin-top: 4px;
  font-size: 10px;
  line-height: 1.5;
  color: #95889f;
}
.r-start .r-detail {
  font: italic 21px/1.2 var(--serif);
}
.r-group {
  min-width: 0;
}
.r-group-heading {
  position: relative;
  z-index: 2;
  margin-bottom: 8px;
  background: #fff;
}
.r-group-heading strong {
  display: block;
  font-size: 16px;
  line-height: 1.25;
  font-weight: 650;
}
.r-group-heading > span {
  display: block;
  font-size: 10px;
  line-height: 1.5;
  color: #8c8298;
  margin-top: 3px;
}
.r-proposals {
  display: grid;
  gap: 14px;
}
.r-bank {
  border: 1px solid #e0e9f0;
  border-radius: 7px;
  padding: 7px;
}
.r-bank .r-group-heading {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  justify-content: space-between;
  gap: 3px 8px;
  margin-bottom: 14px;
  background: transparent;
}
.r-bank .r-group-heading > span {
  margin-top: 0;
}
.r-bank.r-domain {
  border-color: #dceae4;
}
.r-bank.r-invariant .r-group-heading strong {
  color: #4a85b1;
}
.r-bank.r-domain .r-group-heading strong {
  color: #488d79;
}
.r-candidates {
  display: grid;
  grid-template-columns: repeat(var(--candidate-count, 1), minmax(0, 1fr));
  gap: 6px;
}
.r-node.r-invariant {
  --r-accent: #619ac1;
  border-color: #c3d9e8;
}
.r-node.r-domain {
  --r-accent: #64a58d;
  border-color: #c2ddd0;
}
.r-candidate {
  padding: 5px 3px;
}
.r-candidate strong {
  font: 600 18px/1.2 var(--serif);
}
.r-probe-state {
  position: absolute;
  right: 3px;
  top: -7px;
  color: var(--r-accent);
  background: #fff;
  border: 1px solid currentColor;
  border-radius: 50%;
  width: 14px;
  height: 14px;
  font: 10px/12px var(--mono);
  visibility: hidden;
}
.r-candidate.is-probed .r-probe-state {
  visibility: visible;
}
.r-node.is-active,
.r-candidate.is-retained {
  border-color: var(--r-accent);
  box-shadow:
    inset 0 0 0 1px var(--r-accent),
    0 0 0 3px color-mix(in srgb, var(--r-accent) 10%, transparent);
}
.r-node.is-pending {
  border-color: #e4e6ec;
  box-shadow: none;
  transition: none;
}
.r-node.is-pending strong {
  color: #a6a8b5;
}
.r-node.is-pending .r-detail,
.r-node.is-pending .r-reference-count,
.r-node.is-pending .r-retained {
  visibility: hidden;
}
.r-candidate.is-retained::after {
  content: "";
  width: 5px;
  height: 5px;
  border-radius: 50%;
  background: var(--r-accent);
  position: absolute;
  bottom: 3px;
  left: calc(50% - 2.5px);
}
.r-successors {
  display: grid;
  grid-column: 3 / -1;
  grid-template-columns: 1.15fr 1.1fr;
  gap: 8px 28px;
}
.r-composers,
.r-finals {
  display: contents;
}
.r-composers > * {
  grid-column: 1;
}
.r-finals > * {
  grid-column: 2;
}
.r-composers > .r-group-heading,
.r-finals > .r-group-heading {
  grid-row: 1;
  min-height: 36px;
  margin-bottom: 0;
}
.r-composer,
.r-final {
  min-height: 42px;
  display: flex;
  flex-direction: row;
  align-items: center;
  justify-content: center;
  gap: 7px;
  padding: 6px 5px;
}
.r-composer {
  display: grid;
  grid-template-columns: minmax(0, 1fr) max-content;
  padding-inline: 10px;
}
.r-composer strong {
  justify-self: start;
  font-size: 14px;
  white-space: nowrap;
}
.r-composer.is-focus {
  --r-accent: #9c70bb;
  box-shadow:
    inset 0 0 0 1px #9c70bb,
    0 0 0 4px #a984c323;
}
.r-composer.is-focus::before {
  content: "FOCUS";
  position: absolute;
  right: 6px;
  top: -10px;
  padding: 2px 5px;
  border: 1px solid #a181b8;
  background: #fff;
  border-radius: 4px;
  color: #87619f;
  font: 600 8px/1.3 var(--mono);
}
.r-retained {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 4px;
  margin-top: 0;
}
.r-retained-label {
  display: none;
}
.r-edit {
  padding: 1px 3px;
  border: 1px solid #c9dfef;
  border-radius: 3px;
  font: 13px/1.2 var(--serif);
  color: #5c94be;
}
.r-edit.r-domain {
  color: #589c87;
  border-color: #c7e2d7;
}
.r-final strong {
  font: italic 650 21px/1.1 var(--serif);
  color: #8b68a8;
}
.r-final .r-detail {
  font-size: 10px;
  margin-top: 0;
}
.r-selection {
  display: grid;
  grid-template-columns: 1fr 220px;
  gap: 28px;
  align-items: center;
  margin-top: 12px;
  padding-top: 10px;
  border-top: 1px dashed #e4dce9;
}
.r-output-pool {
  position: relative;
  z-index: 2;
  background: #fff;
  display: flex;
  flex-wrap: wrap;
  gap: 6px 12px;
  align-items: center;
  justify-self: end;
}
.r-output-pool > strong {
  font-size: 12px;
  font-weight: 550;
}
.r-output-list {
  display: flex;
  flex-wrap: wrap;
  gap: 7px;
}
.r-output {
  border: 1px solid #e1dce7;
  border-radius: 5px;
  padding: 3px 6px;
  color: #b2a9bb;
  font: italic 17px/1.2 var(--serif);
}
.r-output.is-executed {
  color: #9571ae;
  border-color: #c8b6d9;
}
.r-adopted {
  --r-accent: #799e8b;
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 8px;
  padding: 6px;
}
.r-adopted strong {
  font-size: 12px;
}
.r-adopted .r-detail {
  font: italic 20px/1.2 var(--serif);
  color: #638a76;
  margin-top: 0;
}
.r-output.is-adopted,
.r-node.is-adopted,
.r-checkpoint.is-adopted {
  border-color: #7fac99;
  box-shadow: inset 0 0 0 1px #7fac99;
}
.r-checkpoints {
  display: flex;
  align-items: center;
  gap: 12px;
  padding: 0 0 8px;
  margin-bottom: 12px;
  border-bottom: 1px dashed #e1dbe8;
}
.r-chain-base {
  font: italic 22px var(--serif);
  color: #a69ab2;
  margin-right: 6px;
}
.r-checkpoint {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 6px;
  min-width: 0;
  flex: 1;
  border: 1px solid #e2d9ea;
  border-radius: 7px;
  background: #fff;
  padding: 4px 6px;
}
.r-checkpoint small {
  display: block;
  font: 9px var(--mono);
  color: #a38db3;
}
.r-checkpoint strong {
  display: block;
  font: italic 21px var(--serif);
  color: #a296af;
}
.r-checkpoint[aria-pressed="true"] {
  border-color: #ad8fc6;
  box-shadow: 0 0 0 3px #c1a5d21a;
}
.r-checkpoint.is-executed strong {
  color: #8b67a8;
}
.r-chain-arrow {
  color: #c7bad3;
  font-size: 21px;
}
.r-chain-arrow.is-active {
  color: #9062b0;
}
.is-recursion-playing .r-chain-arrow.is-active {
  animation: recursion-carry 1.3s ease-in-out infinite;
}
@keyframes recursion-carry {
  50% {
    transform: translateX(4px);
  }
}
.recursion-timeline {
  display: grid;
  grid-template-columns: repeat(6, 1fr);
  gap: 6px;
}
.recursion-timeline button {
  border: 0;
  border-top: 2px solid #e6e0ec;
  background: #fff;
  padding: 5px 3px;
  font-size: 11px;
  color: #9c8aaa;
  line-height: 1.5;
}
.recursion-timeline button[aria-pressed="true"] {
  border-color: #9872b5;
  color: #775294;
  font-weight: 650;
}
.recursion-timeline button.is-past {
  border-color: #c7b5d6;
}
.diagram-explanation {
  font-size: 12px;
  line-height: 1.6;
  min-height: 38px;
  margin-top: 6px;
  max-width: 850px;
}
#recursion .library-flow {
  padding: 8px 14px;
  gap: 10px;
  font-size: 11px;
  line-height: 1.5;
  background: #f7f4fa;
}
#recursion .library-flow strong {
  font-size: 11px;
  font-weight: 500;
}
@media (min-width: 581px) and (max-width: 1050px) {
  .r-composer,
  .r-final {
    flex-wrap: wrap;
    gap: 3px 6px;
  }
}
@media (max-width: 1050px) {
  .r-composer {
    grid-template-columns: 1fr;
    justify-items: center;
    gap: 4px;
  }
  .r-composer strong {
    justify-self: center;
  }
}
@media (max-width: 1050px) and (min-width: 851px) {
  .r-layout {
    gap: 24px;
  }
  .r-successors {
    column-gap: 24px;
  }
  .r-bank {
    padding-inline: 7px;
  }
  .r-candidates {
    gap: 5px;
  }
}
@media (max-width: 850px) {
  #recursion > .section {
    padding-block: 28px;
  }
  #recursion .section-heading {
    gap: 14px;
  }
  .recursion-toolbar {
    padding: 8px 10px;
    gap: 10px;
  }
  .budget-control {
    width: 180px;
  }
  .recursion-canvas {
    padding: 10px 12px;
  }
  .r-layout {
    grid-template-columns: 1fr 1fr;
    gap: 20px 25px;
    margin-inline: 12px;
  }
  .r-start {
    grid-column: 1 / -1;
    justify-self: center;
    padding: 6px 12px;
    max-width: 280px;
  }
  .r-start .r-detail,
  .r-start .r-reference-count {
    display: inline-block;
  }
  .r-start .r-detail {
    margin: 4px 8px 0 0;
  }
  .r-proposals {
    grid-column: 1 / -1;
    grid-template-columns: 1fr 1fr;
    gap: 18px;
  }
  .r-bank .r-group-heading {
    min-height: 39px;
  }
  .r-successors {
    grid-column: 1 / -1;
    grid-template-columns: 1fr 1fr;
    column-gap: 25px;
  }
  .r-selection {
    grid-template-columns: minmax(0, 1fr) minmax(0, 1fr);
    gap: 25px;
  }
  .r-output-pool {
    justify-self: stretch;
  }
  .r-checkpoints {
    gap: 5px;
  }
  .r-chain-base {
    font-size: 20px;
    margin-right: 0;
  }
  .r-chain-arrow {
    font-size: 17px;
  }
  .r-checkpoint {
    padding: 5px 2px;
  }
  .r-checkpoint small {
    font-size: 8px;
  }
  .r-checkpoint strong {
    font-size: 20px;
  }
}
@media (max-width: 580px) {
  .segmented-control {
    width: 100%;
  }
  .segmented-control button {
    flex: 1;
    justify-content: center;
  }
  .budget-control {
    width: 100%;
  }
  .recursion-controls {
    width: 100%;
  }
  .recursion-controls button {
    flex: 1;
  }
  .diagram-heading {
    gap: 6px;
  }
  .recursion-stage {
    width: 100%;
  }
  .r-proposals {
    grid-template-columns: 1fr;
  }
  .r-bank .r-group-heading {
    min-height: 0;
  }
  .r-composers > .r-group-heading,
  .r-finals > .r-group-heading {
    min-height: 46px;
  }
  .r-composer,
  .r-final {
    min-height: 54px;
    flex-direction: column;
    gap: 4px;
  }
  .r-candidates {
    gap: 5px;
  }
  .r-output-pool > strong {
    font-size: 11px;
  }
  .r-output-list {
    gap: 4px;
  }
  .r-output {
    padding: 3px 5px;
    font-size: 16px;
  }
  .r-adopted {
    padding-inline: 5px;
    flex-direction: column;
    gap: 4px;
  }
  .r-adopted .r-detail {
    font-size: 18px;
  }
  .r-chain-arrow {
    font-size: 13px;
  }
  .r-checkpoints {
    gap: 3px;
  }
  .r-checkpoint {
    flex-direction: column;
    gap: 0;
  }
  .recursion-timeline {
    grid-template-columns: repeat(3, 1fr);
    gap: 4px;
    margin-top: 16px;
  }
  .recursion-timeline button {
    font-size: 11px;
  }
  .diagram-explanation {
    min-height: 58px;
  }
  #recursion .library-flow {
    padding: 8px 12px;
    flex-wrap: wrap;
  }
}
@media (prefers-reduced-motion: reduce) {
  .r-signal,
  .r-chain-arrow {
    animation: none !important;
  }
  .recursion-lab * {
    transition: none !important;
  }
}
@media print {
  .recursion-controls,
  .recursion-timeline {
    display: none;
  }
  .r-signal {
    display: none;
  }
}