/* Imported ArcTN technical diagram styles, scoped to documentation figures. */
.arctn-figure {
.docs-technical-diagram {
  width: 100%;
  margin: 1.15rem 0 1.3rem;
  padding: 0.8rem 0;
  overflow-x: auto;
  overflow-y: hidden;
  border-block: 1px solid var(--docs-line);
  background: var(--docs-paper);
  container: diagram / inline-size;
}

.docs-technical-diagram-tensor-network,
.docs-technical-diagram-planner-objective,
.docs-technical-diagram-parallel-tempering {
  max-width: 48rem;
}

.docs-technical-diagram-annealing-trajectory,
.docs-technical-diagram-execution-step {
  max-width: 52rem;
}

.docs-technical-diagram figcaption {
  margin-top: 0.65rem;
  padding-top: 0.65rem;
  border-top: 1px solid var(--docs-line);
  color: var(--docs-ink-faint);
  font-size: 0.875rem;
  line-height: 1.55;
}

.docs-technical-diagram-ecosystem {
  max-width: 58rem;
}

.docs-ecosystem {
  --ecosystem-label-width: 7rem;
  font-size: 0.875rem;
  line-height: 1.55;
}

.docs-ecosystem-row {
  display: grid;
  grid-template-columns: var(--ecosystem-label-width) minmax(0, 1fr);
  gap: 1rem;
  padding-block: 0.7rem;
}

.docs-ecosystem-row > div {
  min-width: 0;
}

.docs-ecosystem-label {
  color: var(--docs-ink-faint);
}

.docs-ecosystem p {
  margin: 0.25rem 0 0;
  font-size: inherit;
  line-height: inherit;
}

.docs-prose .docs-ecosystem code {
  padding: 0;
  border: 0;
  background: none;
  font-size: 0.875rem;
  overflow-wrap: anywhere;
}

.docs-ecosystem-detail {
  display: block;
}

.docs-ecosystem-context {
  color: var(--docs-ink-soft);
}

.docs-ecosystem-row + .docs-ecosystem-row {
  border-top: 1px solid var(--docs-line);
}

.docs-ecosystem-planning-row {
  padding-top: 1.8rem;
}

.docs-ecosystem-planner {
  position: relative;
  padding: 0.7rem 1rem;
  border: 1px solid var(--docs-accent);
}

.docs-ecosystem-planner::before {
  content: "";
  position: absolute;
  bottom: 100%;
  left: 50%;
  height: 1.8rem;
  border-left: 1px solid var(--docs-figure-line);
}

.docs-ecosystem-planner::after {
  content: "";
  position: absolute;
  top: -5px;
  left: calc(50% - 3px);
  border-inline: 3px solid transparent;
  border-top: 5px solid var(--docs-figure-line);
}

.docs-ecosystem-arctn {
  color: var(--docs-accent);
  font-size: 1rem;
}

.docs-ecosystem-planner-methods {
  display: flex;
  flex-wrap: wrap;
  gap: 0.2rem 1.5rem;
  margin-top: 0.2rem;
}

.docs-ecosystem-row.docs-ecosystem-execution-row {
  padding-top: 0;
  border-top: 0;
}

.docs-ecosystem-execution-row > .docs-ecosystem-label {
  padding-top: 2.7rem;
}

.docs-ecosystem-execution {
  position: relative;
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  column-gap: 2rem;
  padding-top: 1.25rem;
}

.docs-ecosystem-execution::before {
  content: "";
  position: absolute;
  top: -0.7rem;
  left: 50%;
  height: 1.95rem;
  border-left: 1px solid var(--docs-figure-line);
}

.docs-ecosystem-execution::after {
  content: "";
  position: absolute;
  top: 1.25rem;
  left: calc(25% - 0.5rem);
  right: calc(25% - 0.5rem);
  border-top: 1px solid var(--docs-figure-line);
}

.docs-ecosystem-route {
  position: relative;
  min-width: 0;
  padding-top: 1.5rem;
}

.docs-ecosystem-route::before {
  content: "";
  position: absolute;
  top: 0;
  left: 50%;
  height: 1rem;
  border-left: 1px solid var(--docs-figure-line);
}

.docs-ecosystem-route::after {
  content: "";
  position: absolute;
  top: 1rem;
  left: calc(50% - 3px);
  border-inline: 3px solid transparent;
  border-top: 5px solid var(--docs-figure-line);
}

.docs-ecosystem-route-native > strong {
  color: var(--docs-accent);
}

.docs-ecosystem .docs-ecosystem-runtime {
  margin-top: 0.75rem;
}

.docs-ecosystem .docs-ecosystem-result {
  grid-column: 1 / -1;
  margin-top: 1rem;
  padding-top: 0.5rem;
  border-top: 1px solid var(--docs-line);
}

.docs-ecosystem .docs-ecosystem-scope {
  margin-top: 0.5rem;
  padding-top: 0.6rem;
  border-top: 1px solid var(--docs-line);
  color: var(--docs-ink-soft);
}

@container diagram (max-width: 38rem) {
  .docs-ecosystem-row {
    grid-template-columns: minmax(0, 1fr);
    gap: 0.3rem;
  }

  .docs-ecosystem-label {
    font-weight: 600;
  }

  .docs-ecosystem-planning-row {
    padding-top: 0.7rem;
  }

  .docs-ecosystem-planner::before,
  .docs-ecosystem-planner::after,
  .docs-ecosystem-execution::before,
  .docs-ecosystem-execution::after {
    display: none;
  }

  .docs-ecosystem-execution-row > .docs-ecosystem-label {
    padding-top: 0.5rem;
  }

  .docs-ecosystem-execution {
    grid-template-columns: minmax(0, 1fr);
    padding-top: 0;
  }

  .docs-ecosystem-route {
    margin-top: 0.6rem;
    padding: 0 0 0 1rem;
    border-left: 1px solid var(--docs-line-strong);
  }

  .docs-ecosystem-route-native {
    border-left-color: var(--docs-accent);
  }

  .docs-ecosystem-route::before,
  .docs-ecosystem-route::after {
    display: none;
  }
}

.docs-parallel-diagram > div {
  display: flex;
  min-width: 0;
  flex-direction: column;
  justify-content: center;
  padding: 0.9rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-parallel-diagram b {
  color: var(--docs-ink);
  font-size: 0.9rem;
}

.docs-parallel-diagram span {
  margin-top: 0.2rem;
  color: var(--docs-ink-faint);
  font-size: 0.76rem;
  line-height: 1.45;
}

.docs-diagram-stage,
.docs-objective-terms > span,
.docs-objective-score,
.docs-objective-ranking > span,
.docs-slicing-mode-branches > div,
.docs-execution-step-diagram > div {
  min-width: 0;
  padding: 0.85rem 0.95rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-diagram-stage,
.docs-objective-terms > span,
.docs-objective-score,
.docs-slicing-mode-branches > div,
.docs-execution-step-diagram > div {
  display: flex;
  flex-direction: column;
}

.docs-diagram-stage b,
.docs-objective-diagram b,
.docs-slicing-modes-diagram b,
.docs-execution-step-diagram b {
  color: var(--docs-ink);
  font-size: 0.86rem;
}

.docs-diagram-stage span,
.docs-objective-diagram span,
.docs-slicing-modes-diagram span,
.docs-execution-step-diagram span {
  margin-top: 0.22rem;
  color: var(--docs-ink-faint);
  font-size: 0.73rem;
  line-height: 1.45;
}

.docs-diagram-stage-accent {
  border-color: #91b7d3;
  background: var(--docs-accent-soft);
}

.docs-tensor-network-diagram {
  text-align: center;
}

.docs-tensor-network-svg.is-mobile {
  display: none;
}

.docs-concept-svg {
  display: block;
  width: 100%;
  height: auto;
}

.docs-concept-edge {
  fill: none;
  stroke: var(--docs-line-strong);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.docs-tensor-edges line {
  stroke-linecap: round;
  shape-rendering: geometricPrecision;
}

.docs-concept-edge-open {
  stroke: var(--docs-accent);
}

.docs-tensor-glyph,
.docs-ssa-glyph,
.docs-ssa-leaf {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.docs-tensor-ports circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.docs-ssa-root {
  fill: var(--docs-accent-soft);
  stroke: var(--docs-accent-bright);
}

.docs-node-id,
.docs-node-signature,
.docs-leg-label,
.docs-edge-kind,
.docs-ssa-leaf-id,
.docs-ssa-leaf-name {
  font-family: ui-monospace, "SFMono-Regular", Consolas, "Liberation Mono", monospace;
}

.docs-node-id {
  fill: var(--docs-accent-bright);
  font-size: 22px;
  font-weight: 700;
}

.docs-node-id-small {
  font-size: 18px;
}

.docs-node-signature,
.docs-edge-kind,
.docs-ssa-leaf-name {
  fill: var(--docs-ink-faint);
  font-size: 13px;
}

.docs-leg-label,
.docs-ssa-leaf-id {
  fill: var(--docs-ink-soft);
  font-size: 15px;
  font-weight: 650;
}

.docs-ssa-leaf-name {
  font-size: 14px;
}

.docs-tensor-network-legend {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 1.5rem;
  padding-top: 0.65rem;
  border-top: 1px solid var(--docs-line);
  color: var(--docs-ink-faint);
  font-size: 0.76rem;
}

.docs-tensor-network-legend code {
  color: var(--docs-code-ink);
  font-size: 0.76rem;
}

.docs-tensor-network-legend span {
  display: inline-flex;
  align-items: center;
  gap: 0.4rem;
}

.docs-legend-line {
  width: 1.2rem;
  border-top: 2px solid var(--docs-line-strong);
}

.docs-legend-line-open {
  border-color: var(--docs-accent);
}







.docs-reconfiguration-diagram {
  display: grid;
  grid-template-columns: 1fr auto 1.25fr auto 1fr;
  align-items: center;
  gap: 1rem;
  text-align: center;
}

.docs-reconfiguration-diagram > div {
  padding: 1rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-reconfiguration-diagram span {
  display: block;
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 1rem;
}

.docs-objective-diagram,
.docs-slicing-modes-diagram {
  display: grid;
  justify-items: stretch;
  gap: 0.65rem;
}

.docs-objective-diagram > i,
.docs-slicing-modes-diagram > i {
  justify-self: center;
  color: var(--docs-accent);
  font-style: normal;
  font-weight: 750;
}

.docs-objective-terms {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.65rem;
}

.docs-objective-terms > i,
.docs-objective-ranking > i {
  color: var(--docs-accent);
  font-style: normal;
  font-weight: 750;
}

.docs-objective-score {
  justify-self: center;
  min-width: 13rem;
  text-align: center;
}

.docs-objective-ranking {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr;
  align-items: center;
  gap: 0.55rem;
}

.docs-objective-ranking > span {
  margin-top: 0;
  color: var(--docs-ink-soft);
  text-align: center;
}

.docs-slicing-mode-branches {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.65rem;
}

.docs-slicing-mode-branches > div:last-child {
  border-color: #91b7d3;
  background: #f5f9fc;
}

.docs-execution-step-diagram {
  display: grid;
  grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr auto 1fr;
  align-items: stretch;
  gap: 0.4rem;
}

.docs-execution-step-diagram > i {
  align-self: center;
  color: var(--docs-accent);
  font-style: normal;
  font-weight: 750;
}

.docs-reconfiguration-diagram small {
  display: block;
  margin-top: 0.4rem;
  color: var(--docs-ink-faint);
}

.docs-reconfiguration-diagram i {
  color: var(--docs-accent);
  font-size: 1.45rem;
  font-style: normal;
}

.docs-tempering-diagram {
  display: grid;
  gap: 0.55rem;
}

.docs-tempering-lane {
  display: grid;
  grid-template-columns: 5.5rem 1fr auto 1fr auto 1.25fr auto 1fr;
  align-items: center;
  gap: 0.38rem;
  color: var(--docs-ink-faint);
  font-size: 0.72rem;
}

.docs-tempering-lane b {
  color: var(--docs-ink-soft);
  font-weight: 650;
}

.docs-tempering-lane span {
  padding: 0.35rem 0.45rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface);
  text-align: center;
}

.docs-tempering-lane .exchange-up,
.docs-tempering-lane .exchange-down {
  border-color: #91b7d3;
  background: var(--docs-accent-soft);
  color: var(--docs-accent-bright);
}

.docs-slicing-diagram {
  text-align: center;
}

.docs-slicing-equation {
  margin-bottom: 1rem;
  color: var(--docs-ink);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 1.5rem;
}

.docs-slice-cards {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 0.6rem;
}

.docs-slice-cards span {
  padding: 0.75rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
}

.docs-slicing-diagram p {
  margin: 0.85rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.78rem;
}

.docs-parallel-diagram {
  display: grid;
  grid-template-columns: repeat(4, 1fr);
  gap: 0.65rem;
}

.docs-greedy-mechanics {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: stretch;
  gap: 0.9rem;
}

.docs-algorithm-state {
  min-width: 0;
  padding: 0.9rem;
  overflow-x: auto;
  background: var(--docs-surface);
}

.docs-algorithm-state header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.75rem;
  margin-bottom: 0.4rem;
  padding-bottom: 0.55rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-algorithm-state header > span {
  color: var(--docs-ink);
  font-size: 0.9375rem;
  font-weight: 720;
}

.docs-algorithm-state header code {
  color: var(--docs-ink-faint);
  font-size: 0.8125rem;
}

.docs-greedy-network {
  display: flex;
  min-height: 5.1rem;
  align-items: center;
  justify-content: center;
}

.docs-algorithm-tensor {
  display: grid;
  min-width: 3.8rem;
  min-height: 3.65rem;
  align-content: center;
  justify-items: center;
  padding: 0.45rem;
  border: 1.5px solid var(--docs-line-strong);
  border-radius: 0.22rem;
  background: #fff;
  box-shadow: 0 0.18rem 0.45rem rgb(30 45 58 / 7%);
}

.docs-algorithm-tensor b {
  color: var(--docs-ink);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.78rem;
}

.docs-algorithm-tensor small {
  margin-top: 0.18rem;
  color: var(--docs-ink-faint);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.62rem;
}

.docs-algorithm-tensor.is-selected {
  border-color: #b4532a;
  box-shadow: 0 0 0 0.18rem #f8e9e1;
}

.docs-algorithm-tensor.is-result {
  border-color: var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-greedy-network > i {
  display: grid;
  width: clamp(1.1rem, 2vw, 2rem);
  height: 1px;
  place-items: center;
  border-top: 1.5px solid var(--docs-line-strong);
  color: var(--docs-ink-faint);
  font-size: 0.62rem;
  font-style: normal;
}

.docs-greedy-network > i b {
  padding: 0 0.18rem;
  background: var(--docs-surface);
  font-weight: 600;
  transform: translateY(-0.08rem);
}

.docs-candidate-set {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.35rem;
  margin-top: 0.9rem;
}

.docs-candidate-set .docs-candidate-label {
  margin-right: 0.12rem;
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
}

.docs-candidate-set code {
  padding: 0.28rem 0.42rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
  color: var(--docs-code-ink);
  font-size: 0.64rem;
}

.docs-candidate-set code.is-chosen {
  border-color: var(--docs-accent);
  background: var(--docs-accent-soft);
  color: var(--docs-accent);
}

.docs-candidate-set code.is-new {
  border-color: #73a5c8;
  background: var(--docs-accent-soft);
  color: var(--docs-accent-bright);
}

.docs-candidate-set code.is-stale {
  color: var(--docs-ink-faint);
  text-decoration: line-through;
  opacity: 0.65;
}

.docs-algorithm-state > p {
  margin: 0.65rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.875rem;
  line-height: 1.5;
}

.docs-state-transition {
  display: grid;
  align-content: center;
  justify-items: center;
  gap: 0.25rem;
  color: var(--docs-ink-faint);
  font-size: 0.64rem;
}

.docs-state-transition b {
  color: var(--docs-accent);
  font-size: 1.4rem;
}

.docs-state-transition code {
  color: var(--docs-accent-bright);
  font-size: 0.62rem;
}

.docs-algorithm-legend {
  display: flex;
  grid-column: 1 / -1;
  flex-wrap: wrap;
  gap: 1rem;
  padding-top: 0.15rem;
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
}

.docs-algorithm-legend span {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
}

.docs-algorithm-legend i {
  width: 0.85rem;
  height: 0.5rem;
  border: 2px solid var(--docs-line-strong);
  border-radius: 0.08rem;
}

.docs-algorithm-legend .legend-selected {
  border-color: #b4532a;
}

.docs-algorithm-legend .legend-result,
.docs-algorithm-legend .legend-new {
  border-color: var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-tree-glyph {
  display: grid;
  min-width: 0;
  justify-items: center;
  color: var(--docs-accent-bright);
}

.docs-tree-glyph svg {
  width: min(100%, 7rem);
  height: auto;
  overflow: visible;
}

.docs-tree-glyph line {
  stroke: currentcolor;
  stroke-width: 1.5;
}

.docs-tree-glyph circle {
  fill: var(--docs-surface);
  stroke: currentcolor;
  stroke-width: 1.5;
}

.docs-tree-glyph b {
  margin-top: 0.18rem;
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.67rem;
}

.docs-tree-glyph-1 {
  color: #a84b25;
}

.docs-tree-glyph-2 {
  color: #50765b;
}

.docs-auto-candidate-selection {
  display: grid;
  gap: 0.85rem;
}

.docs-auto-candidate-selection > header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  padding-bottom: 0.65rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-auto-candidate-selection > header b {
  color: var(--docs-ink);
  font-size: 0.86rem;
}

.docs-auto-candidate-selection > header span {
  color: var(--docs-ink-faint);
  font-size: 0.7rem;
}

.docs-auto-candidate-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 0.55rem;
}

.docs-auto-candidate-grid > section {
  position: relative;
  display: grid;
  min-width: 0;
  justify-items: center;
  gap: 0.2rem;
  padding: 0.7rem 0.45rem 0.62rem;
  border-bottom: 2px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-auto-candidate-grid > section.is-best {
  border-color: var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-auto-candidate-grid svg {
  display: block;
  width: min(100%, 6rem);
  height: auto;
}

.docs-candidate-tree .candidate-tree-edges line {
  stroke: var(--docs-accent);
  stroke-width: 1.7;
}

.docs-candidate-tree .candidate-tree-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 1.6;
}

.docs-candidate-tree .candidate-tree-nodes text {
  fill: var(--docs-ink-soft);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 7px;
  text-anchor: middle;
}

.docs-auto-candidate-grid > section.is-best .candidate-tree-edges line,
.docs-auto-candidate-grid > section.is-best .candidate-tree-nodes circle {
  stroke: var(--docs-accent-bright);
}

.docs-auto-candidate-grid > section > b {
  color: var(--docs-ink);
  font-size: 0.74rem;
}

.docs-auto-candidate-grid > section > code {
  color: var(--docs-code-ink);
  font-size: 0.65rem;
}

.docs-auto-candidate-grid > section > small {
  min-height: 2.2em;
  color: var(--docs-accent-bright);
  font-size: 0.58rem;
  font-weight: 700;
  line-height: 1.25;
  text-align: center;
}

.docs-auto-candidate-formula {
  display: grid;
  grid-template-columns: auto minmax(0, 1fr);
  align-items: center;
  gap: 0.8rem;
  padding: 0.7rem 0;
}

.docs-auto-candidate-formula code {
  color: var(--docs-code-ink);
  font-size: 0.74rem;
}

.docs-auto-candidate-formula span {
  color: var(--docs-ink-faint);
  font-size: 0.66rem;
  line-height: 1.45;
}

.docs-tree-rotation-mechanics {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto minmax(0, 1fr);
  align-items: stretch;
  gap: 0.85rem;
}

.docs-tree-rotation-mechanics > section {
  display: grid;
  justify-items: center;
  padding: 0.8rem;
  background: var(--docs-surface);
}

.docs-tree-rotation-mechanics section > header {
  justify-self: stretch;
  padding-bottom: 0.45rem;
  border-bottom: 1px solid var(--docs-line);
  color: var(--docs-ink-soft);
  font-size: 0.72rem;
  font-weight: 700;
}

svg.docs-rotation-tree {
  display: block;
  width: min(100%, 14rem);
  height: auto;
  max-height: 9.25rem;
  margin: 0.55rem 0;
}

.docs-rotation-tree .rotation-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 2;
}

.docs-rotation-tree .rotation-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 2;
}

.docs-rotation-tree .rotation-nodes .is-internal circle {
  fill: #fcf1ec;
  stroke: #b4532a;
}

.docs-rotation-tree .rotation-nodes .is-root circle {
  fill: var(--docs-accent-soft);
}

.docs-rotation-tree .rotation-nodes text {
  fill: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 13px;
  font-weight: 720;
  text-anchor: middle;
}

.docs-rotation-tree .rotation-nodes .is-internal text {
  fill: #7b3518;
}

.docs-tree-rotation-mechanics section > code {
  color: var(--docs-code-ink);
  font-size: 0.7rem;
}

.docs-rotation-decision {
  display: grid;
  align-content: center;
  justify-items: center;
  gap: 0.25rem;
  max-width: 7rem;
  color: var(--docs-ink-faint);
  text-align: center;
}

.docs-rotation-decision span,
.docs-rotation-decision small {
  font-size: 0.64rem;
}

.docs-rotation-decision b {
  color: var(--docs-accent);
  font-size: 1.35rem;
}

.docs-rotation-acceptance {
  display: flex;
  grid-column: 1 / -1;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.4rem 0.65rem;
  padding: 0.7rem 0;
}

.docs-rotation-acceptance code {
  padding: 0;
  color: var(--docs-code-ink);
  font-size: 0.66rem;
}

.docs-rotation-acceptance span {
  flex: 1 1 16rem;
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
}

.docs-subtree-mechanics {
  display: grid;
  grid-template-columns: 1.08fr 0.92fr 1fr;
  align-items: stretch;
  gap: 0.7rem;
}

.docs-subtree-panel {
  min-width: 0;
  padding: 0.75rem;
  border-left: 1px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-subtree-panel > header {
  display: flex;
  align-items: center;
  gap: 0.45rem;
  padding-bottom: 0.5rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-subtree-panel > header span {
  display: grid;
  width: 1.3rem;
  height: 1.3rem;
  place-items: center;
  border-radius: 50%;
  background: var(--docs-accent);
  color: #fff;
  font-size: 0.62rem;
}

.docs-subtree-panel > header b {
  color: var(--docs-ink);
  font-size: 0.72rem;
}

.docs-subtree-panel > p {
  margin: 0.45rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.66rem;
  line-height: 1.45;
}

.docs-subtree-source {
  width: 100%;
  height: 8.6rem;
  margin-top: 0.35rem;
}

.docs-subtree-source .tree-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 1.5;
}

.docs-subtree-source .tree-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-ink-faint);
  stroke-width: 1.5;
}

.docs-subtree-source .tree-nodes .is-root {
  fill: var(--docs-accent-soft);
  stroke: var(--docs-accent);
}

.docs-subtree-source .frontier-nodes circle {
  fill: #fcf1ec;
  stroke: #b4532a;
  stroke-width: 1.5;
}

.docs-subtree-source .subtree-window {
  fill: rgb(234 242 248 / 35%);
  stroke: var(--docs-accent);
  stroke-dasharray: 5 4;
}

.docs-subtree-source .tree-labels text {
  fill: var(--docs-code-ink);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 9px;
  text-anchor: middle;
}

.docs-frontier-network {
  display: grid;
  align-content: center;
  min-height: 5.6rem;
  padding: 0.6rem;
  background: var(--docs-surface);
}

.docs-frontier-network-svg {
  display: block;
  width: 100%;
  min-height: 7rem;
}

.docs-frontier-network-svg :is(line, rect) {
  vector-effect: non-scaling-stroke;
}

.docs-frontier-network-svg :is(.frontier-shared-edges, .frontier-open-edges) line {
  fill: none;
  stroke-linecap: round;
}

.docs-frontier-network-svg .frontier-shared-edges line {
  stroke: var(--docs-accent);
  stroke-width: 2;
}

.docs-frontier-network-svg .frontier-open-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 1.6;
}

.docs-frontier-network-svg .frontier-nodes rect {
  fill: var(--docs-surface);
  stroke: #b4532a;
  stroke-width: 1.8;
}

.docs-frontier-network-svg :is(.frontier-node-labels, .frontier-leg-labels) {
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  text-anchor: middle;
}

.docs-frontier-network-svg .frontier-node-labels {
  fill: #733417;
  font-size: 12px;
  font-weight: 700;
}

.docs-frontier-network-svg .frontier-leg-labels {
  fill: var(--docs-code-ink);
  font-size: 9px;
}

.docs-subtree-panel dl {
  display: grid;
  gap: 0.32rem;
  margin: 0;
}

.docs-subtree-panel dl div {
  display: grid;
  grid-template-columns: 3.3rem 1fr;
  gap: 0.35rem;
  padding: 0.35rem 0.45rem;
  background: var(--docs-surface-muted);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.62rem;
}

.docs-subtree-panel dt { color: var(--docs-accent-bright); }
.docs-subtree-panel dd { margin: 0; color: var(--docs-code-ink); }

.docs-subtree-candidates {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.3rem;
  min-height: 8.5rem;
}

.docs-subtree-candidates > div {
  display: grid;
  min-width: 0;
  justify-items: center;
  gap: 0.35rem;
}

.docs-subtree-candidates > b {
  color: var(--docs-accent);
  font-size: 1.3rem;
}

.docs-subtree-candidates code {
  color: var(--docs-ink-faint);
  font-size: 0.58rem;
}

.docs-subtree-candidates .is-candidate {
  padding: 0.45rem 0.2rem;
  border-bottom: 2px solid var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-tempering-mechanics {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.35rem;
}

.docs-tempering-column-labels,
.docs-tempering-slot {
  display: grid;
  grid-template-columns: 5.4rem minmax(5rem, 1fr) minmax(4.4rem, 0.65fr) minmax(5rem, 1fr);
  align-items: center;
  gap: 0.55rem;
}

.docs-tempering-column-labels {
  padding: 0 0.55rem 0.35rem;
  border-bottom: 1px solid var(--docs-line);
  color: var(--docs-ink-faint);
  font-size: 0.63rem;
  text-align: center;
}

.docs-tempering-slot {
  min-height: 4.5rem;
  padding: 0.42rem 0.55rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-tempering-slot > b {
  color: var(--docs-ink-soft);
  font-size: 0.72rem;
}

.docs-exchange-mark {
  display: grid;
  min-height: 3rem;
  align-content: center;
  justify-items: center;
  color: var(--docs-ink-faint);
}

.docs-exchange-mark span {
  font-size: 1.15rem;
  line-height: 1;
}

.docs-exchange-mark small {
  font-size: 0.58rem;
}

.docs-exchange-mark.is-accepted {
  color: #2f7358;
}

.docs-exchange-mark.is-rejected {
  color: #a23b3b;
}

.docs-tempering-equation {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.55rem 0.85rem;
  margin-top: 0.25rem;
  padding: 0.65rem 0.75rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-surface-muted);
}

.docs-tempering-equation code {
  color: var(--docs-code-ink);
  font-size: 0.7rem;
}

.docs-tempering-equation span {
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
}

.docs-simplification-mechanics {
  display: grid;
  gap: 0.7rem;
}

.docs-simplification-rules {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.55rem;
}

.docs-simplification-rules section {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.35rem;
  padding: 0.7rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-simplification-rules b,
.docs-simplification-rules small {
  grid-column: 1 / -1;
}

.docs-simplification-rules b {
  color: var(--docs-accent-bright);
  font-size: 0.72rem;
}

.docs-simplification-rules code {
  min-width: 0;
  padding: 0.35rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
  color: var(--docs-code-ink);
  font-size: 0.6rem;
  text-align: center;
  white-space: normal;
}

.docs-simplification-rules code.is-result {
  border-color: #73a5c8;
  background: var(--docs-accent-soft);
  color: var(--docs-accent-bright);
}

.docs-simplification-rules section > span {
  color: var(--docs-accent);
  font-size: 1rem;
}

.docs-simplification-rules small {
  color: var(--docs-ink-faint);
  font-size: 0.63rem;
  line-height: 1.4;
}

.docs-fixed-point-loop {
  display: flex;
  align-items: center;
  justify-content: center;
  gap: 0.55rem;
  padding: 0.6rem 0.7rem;
  border: 1px dashed var(--docs-accent);
  background: var(--docs-accent-soft);
  color: var(--docs-ink-soft);
  font-size: 0.68rem;
}

.docs-fixed-point-loop b {
  color: var(--docs-accent);
  font-size: 1rem;
}

.docs-simplified-output {
  display: grid;
  grid-template-columns: auto 1fr auto 1fr auto 1fr;
  gap: 0.4rem 0.55rem;
  align-items: center;
}

.docs-simplified-output code {
  padding: 0.34rem 0.45rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
  color: var(--docs-accent-bright);
  font-size: 0.66rem;
}

.docs-simplified-output span {
  color: var(--docs-ink-faint);
  font-size: 0.64rem;
}

.docs-tensor-partition-routes {
  display: grid;
  gap: 0.8rem;
  color: var(--docs-ink-soft);
  font-size: 0.82rem;
  line-height: 1.48;
}

.docs-partition-source b {
  color: var(--docs-ink);
  font-size: 0.92rem;
}

.docs-partition-source small {
  color: var(--docs-ink-faint);
  font-size: 0.74rem;
}

.docs-partition-route-panels section > i {
  justify-self: center;
  color: var(--docs-accent);
  font-style: normal;
  font-weight: 750;
}

.docs-structured-map-families {
  display: grid;
  gap: 0.75rem;
}


.docs-structured-map-families > section,
.docs-partition-route-panels > section {
  min-width: 0;
  padding: 0.9rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-structured-map-families header,
.docs-partition-route-panels header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 1rem;
  margin-bottom: 0.65rem;
}

.docs-structured-map-families header b,
.docs-partition-route-panels header code {
  color: var(--docs-accent-bright);
  font-size: 0.86rem;
  font-weight: 720;
}

.docs-structured-map-families header span,
.docs-partition-route-panels header span {
  color: var(--docs-ink-faint);
  font-size: 0.72rem;
}

.docs-structured-route {
  display: grid;
  grid-template-columns: minmax(8.5rem, 0.85fr) auto minmax(8rem, 1.2fr) auto minmax(8rem, 1.15fr) auto 5.4rem;
  align-items: stretch;
  gap: 0.38rem;
}

.docs-structured-route + .docs-structured-route {
  margin-top: 0.55rem;
  padding-top: 0.55rem;
  border-top: 1px dashed var(--docs-line);
}

.docs-structured-route > code,
.docs-structured-route > span,
.docs-structured-path-result {
  display: grid;
  min-width: 0;
  min-height: 2.65rem;
  place-items: center;
  padding: 0.48rem 0.55rem;
  border: 1px solid var(--docs-line);
  background: #fbfcfd;
  text-align: center;
}

.docs-structured-route > code {
  color: var(--docs-accent-bright);
  font-weight: 680;
}

.docs-structured-route > i {
  align-self: center;
  color: var(--docs-accent);
  font-style: normal;
  font-weight: 750;
}

.docs-structured-path-result {
  border-color: #91b7d3;
  background: var(--docs-accent-soft);
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-weight: 680;
}

.docs-structured-map-families section > p {
  margin: 0.62rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.72rem;
}










.docs-partition-route-panels {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.75rem;
}

.docs-partition-route-panels > section {
  display: grid;
  align-content: start;
  gap: 0.55rem;
}






.docs-tensor-partition-routes > p {
  margin: 0.15rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.72rem;
}






.docs-partition-source {
  display: grid;
  justify-items: center;
  gap: 0.55rem;
  padding: 0.8rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
  text-align: center;
}

.docs-partition-source > svg {
  display: block;
  width: min(100%, 42rem);
  height: auto;
  max-height: 12rem;
}

.docs-partition-source > svg.partition-network-mobile {
  display: none;
}

.docs-partition-source .partition-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 2;
}

.docs-partition-source .partition-edges .is-cut {
  stroke: #b4532a;
  stroke-width: 3;
}

.docs-partition-source .partition-hyperedge line {
  stroke: var(--docs-accent);
  stroke-width: 2;
}

.docs-partition-source .partition-hyperedge circle {
  fill: var(--docs-accent);
}

.docs-partition-source .partition-hyperedge.is-cut line {
  stroke: #b4532a;
  stroke-dasharray: 4 3;
}

.docs-partition-source .partition-hyperedge.is-cut circle {
  fill: #b4532a;
}

.docs-partition-source .partition-cut {
  stroke: #b4532a;
  stroke-dasharray: 7 5;
  stroke-width: 2;
}

.docs-partition-source .partition-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 2;
}

.docs-partition-source .partition-nodes text {
  fill: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 13px;
  font-weight: 720;
  text-anchor: middle;
}

.docs-partition-source .partition-side-label,
.docs-partition-source .partition-edge-label {
  fill: var(--docs-ink-faint);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 10px;
}

.docs-partition-source .partition-edge-label {
  fill: #87401f;
}

.docs-partition-tree {
  display: grid;
  justify-items: center;
  gap: 0.5rem;
}

.docs-partition-tree > span,
.docs-partition-tree > div > span {
  position: relative;
  padding: 0.42rem 0.6rem;
  border: 1px solid var(--docs-line-strong);
  background: #fbfcfd;
  color: var(--docs-code-ink);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.72rem;
}

.docs-partition-tree > div {
  position: relative;
  display: flex;
  gap: 1.25rem;
}

.docs-partition-tree > span::after {
  position: absolute;
  top: 100%;
  left: 50%;
  height: 0.55rem;
  border-left: 1.5px solid var(--docs-line-strong);
  content: "";
}

.docs-partition-tree > div:not(:last-child) {
  padding-top: 0.55rem;
}

.docs-partition-tree > div:not(:last-child)::before {
  position: absolute;
  top: 0;
  right: 24%;
  left: 24%;
  border-top: 1.5px solid var(--docs-line-strong);
  content: "";
}

.docs-partition-tree > div:not(:last-child) > span::before {
  position: absolute;
  bottom: 100%;
  left: 50%;
  height: 0.55rem;
  border-left: 1.5px solid var(--docs-line-strong);
  content: "";
}

.docs-partition-tree > div:last-child {
  justify-content: center;
  padding-top: 0.35rem;
  border-top: 1px solid var(--docs-line);
  color: var(--docs-ink-faint);
}

.docs-partition-result {
  display: grid;
  grid-template-columns: 1fr auto;
  align-items: stretch;
  gap: 0.45rem;
}

.docs-partition-result > b {
  display: grid;
  place-items: center;
  padding: 0.52rem;
  border: 1px solid var(--docs-line);
  background: #fbfcfd;
  color: var(--docs-ink-soft);
  font-size: 0.74rem;
  font-weight: 620;
  text-align: center;
}

.docs-link-list {
  margin: 1rem 0 1.4rem;
  padding: 0;
  border-top: 1px solid var(--docs-line);
  list-style: none;
}

.docs-link-list li {
  padding: 0.7rem 0;
  border-bottom: 1px solid var(--docs-line);
}

.docs-link-list a,
.docs-link-list > li > span {
  font-weight: 680;
}

.docs-link-list p {
  margin: 0.15rem 0 0;
  color: var(--docs-ink-soft);
  font-size: 0.88rem;
}

.docs-pager {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.5rem;
  margin-top: 3.25rem;
  padding-top: 1rem;
  border-top: 1px solid var(--docs-line);
}

.docs-pager-link {
  display: flex;
  min-width: 0;
  flex-direction: column;
  color: var(--docs-ink);
  text-decoration: none;
}

.docs-pager-link:hover {
  color: var(--docs-accent-bright);
}

.docs-pager-link span {
  color: var(--docs-ink-faint);
  font-size: 0.74rem;
}

.docs-pager-link strong {
  margin-top: 0.1rem;
  font-size: 0.92rem;
  overflow-wrap: anywhere;
}

.docs-pager-next {
  align-items: flex-end;
  grid-column: 2;
  text-align: right;
}

.docs-not-found {
  margin-top: 2rem;
}

.docs-not-found .docs-eyebrow {
  margin: 0 0 0.35rem;
  color: var(--docs-accent);
  font-size: 0.76rem;
  font-weight: 700;
}

.docs-not-found > p:first-child:not(.docs-eyebrow) {
  margin: 0 0 0.35rem;
  color: var(--docs-accent);
  font-size: 0.76rem;
  font-weight: 700;
}

.docs-not-found > p,
.docs-not-found div > p {
  color: var(--docs-ink-soft);
}

.docs-not-found > a,
.docs-not-found div > a {
  display: inline-block;
  margin-top: 0.4rem;
  font-weight: 680;
}

.docs-not-found-page {
  display: grid;
  width: 100%;
  min-height: 100vh;
  place-items: center;
  margin: 0;
  padding: 1rem;
  background: var(--docs-paper);
}

.docs-not-found-page > div {
  width: min(100%, 36rem);
}

/* Exact slicing of a small tensor network. */

.docs-slicing-principle {
  display: grid;
  grid-template-columns: minmax(14rem, 0.82fr) minmax(18rem, 1.18fr);
  gap: 0.8rem;
}

.docs-slicing-principle > section {
  min-width: 0;
  padding: 0.85rem;
  overflow-x: auto;
  background: var(--docs-surface);
}

.docs-slicing-principle header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.7rem;
  padding-bottom: 0.52rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-slicing-principle header b {
  color: var(--docs-ink);
  font-size: 0.8rem;
}

.docs-slicing-principle header span,
.docs-slicing-principle p,
.docs-slicing-principle footer span {
  color: var(--docs-ink-faint);
  font-size: 0.75rem;
  line-height: 1.45;
}

.docs-slicing-chain {
  display: flex;
  min-width: 16rem;
  min-height: 7rem;
  align-items: center;
  justify-content: center;
  padding: 0.5rem 0;
}

.docs-slicing-chain > span {
  display: grid;
  min-width: 4.2rem;
  min-height: 3.7rem;
  place-items: center;
  border: 1.5px solid var(--docs-accent);
  border-radius: 0.25rem;
  background: #fff;
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.82rem;
  font-weight: 720;
}

.docs-slicing-chain small {
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
  font-weight: 500;
}

.docs-slicing-chain > i {
  position: relative;
  display: grid;
  width: 2.2rem;
  height: 1px;
  place-items: center;
  border-top: 1.5px solid var(--docs-line-strong);
  color: var(--docs-ink-faint);
  font-size: 0.72rem;
  font-style: normal;
}

.docs-slicing-chain > i.is-sliced {
  color: #8a3d20;
}

.docs-slicing-chain > i.is-sliced em {
  position: absolute;
  width: 1.8rem;
  border-top: 2px solid #b4532a;
  transform: rotate(-64deg);
}

.docs-slicing-network-sample > p {
  margin: 0;
}

.docs-slicing-assignment-grid {
  display: grid;
  grid-template-columns: repeat(5, minmax(0, 1fr));
  gap: 0.38rem;
  margin-top: 0.8rem;
}

.docs-slicing-assignment-grid > span {
  display: grid;
  min-width: 0;
  justify-items: center;
  gap: 0.22rem;
  padding: 0.55rem 0.25rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
}

.docs-slicing-assignment-grid code {
  color: var(--docs-accent-bright);
  font-size: 0.75rem;
}

.docs-slicing-assignment-grid small {
  color: var(--docs-ink-faint);
  font-size: 0.68rem;
}

.docs-slicing-exact-sum {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.45rem 0.75rem;
  margin-top: 0.65rem;
  padding: 0.62rem 0.72rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-slicing-exact-sum code {
  color: var(--docs-code-ink);
  font-size: 0.72rem;
}

.docs-slicing-exact-sum span {
  color: var(--docs-ink-faint);
  font-size: 0.65rem;
}

/* Greedy worked score table. */
.docs-greedy-score-example {
  display: grid;
  gap: 0.72rem;
}

.docs-greedy-score-example > header {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.65rem;
}

.docs-greedy-score-example > header > div {
  display: grid;
  gap: 0.25rem;
  padding: 0.65rem 0.75rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-greedy-score-example header b {
  color: var(--docs-ink-soft);
  font-size: 0.7rem;
}

.docs-greedy-score-example header code {
  color: var(--docs-code-ink);
  font-size: 0.68rem;
  white-space: normal;
}

.docs-greedy-score-table {
  min-width: 38rem;
  overflow: hidden;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-greedy-score-example {
  overflow-x: auto;
}

.docs-greedy-score-table > div {
  display: grid;
  grid-template-columns: 1.15fr 1.2fr repeat(4, 0.75fr);
  align-items: center;
}

.docs-greedy-score-table > div + div {
  border-top: 1px solid var(--docs-line);
}

.docs-greedy-score-table span,
.docs-greedy-score-table code,
.docs-greedy-score-table strong {
  min-width: 0;
  padding: 0.52rem 0.58rem;
  color: var(--docs-code-ink);
  font-size: 0.68rem;
  text-align: center;
}

.docs-greedy-score-table .is-head {
  background: var(--docs-surface-muted);
  color: var(--docs-ink-soft);
  font-weight: 700;
}

.docs-greedy-score-table .is-chosen {
  background: var(--docs-accent-soft);
  box-shadow: inset 0.2rem 0 var(--docs-accent);
}

.docs-greedy-score-table .is-chosen strong {
  color: var(--docs-accent-bright);
}

.docs-greedy-score-example > footer {
  display: flex;
  flex-wrap: wrap;
  gap: 0.3rem 1rem;
  padding: 0.65rem 0.75rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-surface-muted);
  color: var(--docs-ink-soft);
  font-size: 0.67rem;
}

.docs-greedy-score-example > footer small {
  flex-basis: 100%;
  color: var(--docs-ink-faint);
}

/* DP recurrences and multilevel bisection states. */
.docs-subset-dp-transition,
.docs-order-dp-transition,
.docs-bisect-refinement {
  display: grid;
  gap: 0.75rem;
  color: var(--docs-ink-soft);
  font-size: 0.72rem;
}

.docs-subset-dp-transition > header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  padding: 0.5rem 0;
}

.docs-subset-dp-transition > header > div {
  display: grid;
  gap: 0.12rem;
}

.docs-subset-dp-transition header small,
.docs-subset-dp-transition header span {
  color: var(--docs-ink-faint);
  font-size: 0.66rem;
}

.docs-subset-dp-transition header code {
  color: var(--docs-accent-bright);
  font-size: 0.82rem;
  font-weight: 720;
}

.docs-subset-dp-candidates {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.7rem;
}

.docs-subset-dp-candidates > section {
  display: grid;
  gap: 0.5rem;
  padding: 0.5rem 0;
}

.docs-subset-dp-candidates b {
  color: var(--docs-ink);
  font-size: 0.7rem;
}

.docs-dp-split-glyph {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.45rem;
}

.docs-dp-split-glyph span {
  display: grid;
  min-height: 2rem;
  place-items: center;
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-weight: 700;
}

.docs-dp-split-glyph i {
  color: var(--docs-ink-faint);
  font-style: normal;
}

.docs-subset-dp-candidates code {
  padding: 0.42rem 0;
  color: var(--docs-code-ink);
  font-size: 0.64rem;
  text-align: center;
  white-space: normal;
}

.docs-subset-dp-candidates small {
  color: var(--docs-ink-faint);
  font-size: 0.62rem;
}

.docs-subset-dp-transition > footer {
  padding: 0.75rem 0;
  border-top: 1px solid var(--docs-line);
}

.docs-subset-dp-transition footer > b {
  color: var(--docs-accent-bright);
}

.docs-subset-dp-transition footer dl {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.55rem;
  margin: 0.55rem 0 0;
}

.docs-subset-dp-transition footer dl > div {
  min-width: 0;
}

.docs-subset-dp-transition dt {
  color: var(--docs-code-ink);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-weight: 700;
}

.docs-subset-dp-transition dd {
  margin: 0.12rem 0 0;
  color: var(--docs-ink-faint);
  font-size: 0.61rem;
}

.docs-order-dp-transition {
  grid-template-columns: minmax(16rem, 0.9fr) minmax(17rem, 1.1fr);
}

.docs-order-dp-table-panel,
.docs-order-dp-choice-panel {
  min-width: 0;
  padding: 0.8rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-order-dp-transition header {
  display: flex;
  justify-content: space-between;
  gap: 0.6rem;
  margin-bottom: 0.65rem;
  color: var(--docs-ink);
}

.docs-order-dp-transition header span,
.docs-order-dp-table-panel > small {
  color: var(--docs-ink-faint);
  font-size: 0.62rem;
}

.docs-order-dp-table {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.28rem;
}

.docs-order-dp-table span {
  display: grid;
  min-height: 2.25rem;
  place-items: center;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
  color: var(--docs-code-ink);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.61rem;
}

.docs-order-dp-table span.is-empty {
  border-color: transparent;
  background: transparent;
}

.docs-order-dp-table span.is-target {
  border-color: #b4532a;
  background: #fcf1ec;
  color: #7b3518;
  font-weight: 750;
}

.docs-order-dp-table-panel > small {
  display: block;
  margin-top: 0.55rem;
}

.docs-order-dp-choice-panel ol {
  display: grid;
  gap: 0.38rem;
  margin: 0;
  padding: 0;
  list-style: none;
}

.docs-order-dp-choice-panel li {
  display: grid;
  grid-template-columns: 2.8rem minmax(0, 1fr);
  gap: 0.5rem;
  padding: 0.45rem 0.55rem;
  border: 1px solid var(--docs-line);
}

.docs-order-dp-choice-panel li code {
  color: var(--docs-accent-bright);
  font-weight: 700;
}

.docs-order-dp-choice-panel > div {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 0.7rem;
  margin-top: 0.65rem;
  padding: 0.55rem 0.65rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-surface-muted);
}

.docs-bisect-refinement {
  grid-template-columns: repeat(3, minmax(0, 1fr));
}

.docs-bisect-refinement > section {
  min-width: 0;
  padding: 0.75rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-bisect-refinement header {
  display: grid;
  gap: 0.12rem;
  padding-bottom: 0.45rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-bisect-refinement header b {
  color: var(--docs-ink);
  font-size: 0.8rem;
}

.docs-bisect-refinement header span,
.docs-bisect-refinement p {
  color: var(--docs-ink-faint);
  font-size: 0.7rem;
  line-height: 1.45;
}

.docs-bisect-refinement svg {
  display: block;
  width: 100%;
  height: 8rem;
}

.bisect-refine-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 2;
}

.bisect-refine-edges line.is-heavy {
  stroke: #b4532a;
  stroke-width: 4;
}

.bisect-refine-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 1.7;
}

.bisect-refine-nodes text {
  fill: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 12px;
  font-weight: 700;
  text-anchor: middle;
}

.docs-coarse-cut {
  display: grid;
  grid-template-columns: 1.2fr 1fr 0.3rem 1fr 1fr;
  align-items: center;
  gap: 0.3rem;
  min-height: 6.2rem;
  margin: 0.45rem 0;
}

.docs-coarse-cut span {
  display: grid;
  min-height: 2.8rem;
  place-items: center;
  border: 1.5px solid var(--docs-accent);
  background: var(--docs-accent-soft);
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.61rem;
  font-weight: 700;
}

.docs-coarse-cut i {
  height: 4.3rem;
  justify-self: center;
  border-left: 2px dashed #b4532a;
}

.docs-bisect-refinement dl {
  display: grid;
  gap: 0.3rem;
  margin: 0;
}

.docs-bisect-refinement dl > div {
  display: grid;
  grid-template-columns: 6.1rem 1fr;
  gap: 0.35rem;
  padding: 0.32rem 0.4rem;
  background: var(--docs-surface-muted);
}

.docs-bisect-refinement dt {
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
}

.docs-bisect-refinement dd {
  margin: 0;
  color: var(--docs-ink-faint);
}

.docs-fm-move {
  display: grid;
  grid-template-columns: 1fr auto 1fr;
  align-items: center;
  gap: 0.4rem;
  min-height: 7rem;
}

.docs-fm-move > div {
  display: grid;
  gap: 0.28rem;
  padding: 0.48rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
}

.docs-fm-move small {
  color: var(--docs-ink-faint);
}

.docs-fm-move code {
  color: var(--docs-code-ink);
  font-size: 0.58rem;
}

.docs-fm-move > b {
  color: #91401f;
  font-size: 0.65rem;
  white-space: nowrap;
}

.docs-fm-condition {
  display: grid;
  gap: 0.25rem;
  padding: 0.5rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-fm-condition code {
  color: var(--docs-code-ink);
  font-size: 0.61rem;
  white-space: normal;
}

.docs-fm-condition span {
  color: var(--docs-ink-faint);
  font-size: 0.6rem;
}

/* Search trajectory and corrected acceptance scope. */
.docs-rotation-acceptance {
  display: grid;
  align-items: stretch;
}

.docs-rotation-acceptance > p {
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem 0.6rem;
  margin: 0;
}

.docs-rotation-acceptance > p b {
  color: var(--docs-ink);
  font-size: 0.7rem;
}

.docs-rotation-acceptance > p span {
  flex: 1 1 auto;
}

.docs-rotation-acceptance > div {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.45rem;
}

.docs-rotation-acceptance > div > span {
  display: grid;
  min-width: 0;
  gap: 0.25rem;
  padding: 0.48rem 0.55rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-rotation-acceptance > div b {
  color: var(--docs-accent-bright);
  font-size: 0.65rem;
}

.docs-rotation-acceptance > div code {
  white-space: normal;
}

.docs-annealing-trajectory {
  max-width: 100%;
  overflow-x: auto;
}

.docs-annealing-trajectory > header {
  display: flex;
  min-width: 38rem;
  align-items: center;
  gap: 1rem;
  padding: 0.45rem 0.6rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-annealing-trajectory > header > div {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  color: var(--docs-ink-soft);
  font-size: 0.67rem;
}

.docs-annealing-trajectory > header i {
  width: 1.4rem;
  border-top: 2px solid;
}

.docs-annealing-trajectory > header i.is-current {
  border-color: #b4532a;
}

.docs-annealing-trajectory > header i.is-best {
  border-color: var(--docs-accent);
}

.docs-annealing-trajectory > header small {
  margin-left: auto;
  color: var(--docs-ink-faint);
  font-size: 0.62rem;
}

.docs-annealing-trajectory svg {
  display: block;
  width: 100%;
  min-width: 38rem;
  height: auto;
  background: var(--docs-surface);
}

.docs-annealing-trajectory svg.is-mobile {
  display: none;
}

.annealing-axis {
  stroke: #7c858e;
  stroke-width: 1.5;
}

.annealing-grid {
  stroke: #e4e7ea;
  stroke-width: 1;
}

.annealing-current-line {
  fill: none;
  stroke: #b4532a;
  stroke-width: 2.4;
}

.annealing-best-line {
  fill: none;
  stroke: var(--docs-accent);
  stroke-dasharray: 7 4;
  stroke-width: 2.4;
}

.annealing-current-points circle {
  fill: #fff;
  stroke: #b4532a;
  stroke-width: 2;
}

.annealing-accepted-worse {
  fill: #f6d8ca;
  stroke: #9b3f1d;
  stroke-width: 2;
}

.annealing-rejected {
  fill: #fff;
  stroke: #8d96a0;
  stroke-dasharray: 3 2;
  stroke-width: 2;
}

.annealing-rejected-link,
.annealing-annotation {
  stroke: #8d96a0;
  stroke-dasharray: 3 3;
  stroke-width: 1.2;
}

.annealing-axis-label,
.annealing-annotation-text,
.annealing-x-label,
.annealing-y-label {
  fill: var(--docs-ink-faint);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 11px;
}

.docs-annealing-trajectory > footer {
  display: grid;
  min-width: 38rem;
  grid-template-columns: auto 1fr auto 1.5fr;
  gap: 0.45rem 0.65rem;
  padding: 0.65rem 0.75rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-surface-muted);
}

.docs-annealing-trajectory footer code {
  color: var(--docs-code-ink);
  font-size: 0.64rem;
}

.docs-annealing-trajectory footer span {
  color: var(--docs-ink-faint);
  font-size: 0.62rem;
}

/* Fixed/dynamic, leg selection, and mixed-radix execution states. */
.docs-slicing-modes-comparison,
.docs-slicing-leg-selection,
.docs-slicing-execution-mechanics {
  display: grid;
  gap: 0.72rem;
  color: var(--docs-ink-soft);
  font-size: 0.72rem;
}

.docs-slicing-modes-comparison > header,
.docs-slicing-leg-selection > header {
  display: flex;
  align-items: baseline;
  justify-content: space-between;
  gap: 0.7rem;
  padding: 0.65rem 0.75rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-slicing-modes-comparison > header b,
.docs-slicing-leg-selection > header b {
  color: var(--docs-ink);
}

.docs-slicing-modes-comparison > header span,
.docs-slicing-leg-selection > header span {
  color: var(--docs-ink-faint);
  font-size: 0.64rem;
}

.docs-slicing-mode-panels {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.7rem;
}

.docs-slicing-mode-panels > section {
  min-width: 0;
  padding: 0.75rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-slicing-mode-panels h3 {
  margin: 0;
  color: var(--docs-accent-bright);
  font-size: 0.8rem;
}

.docs-slicing-tree-pair {
  display: grid;
  grid-template-columns: minmax(8rem, 1fr) auto minmax(8rem, 1fr);
  align-items: center;
  gap: 0.25rem;
  overflow-x: auto;
}

.docs-slicing-tree-pair > span {
  display: grid;
  justify-items: center;
}

.docs-slicing-tree-pair small {
  color: var(--docs-ink-faint);
  font-size: 0.58rem;
}

.docs-slicing-tree-pair > i {
  color: #a44b28;
  font-style: normal;
  font-weight: 750;
  white-space: nowrap;
}

.docs-slicing-path-tree {
  width: 100%;
  min-width: 8rem;
  height: auto;
}

.slicing-tree-edges line {
  stroke: var(--docs-line-strong);
  stroke-width: 2;
}

.slicing-tree-nodes circle {
  fill: var(--docs-surface);
  stroke: var(--docs-accent);
  stroke-width: 1.5;
}

.slicing-tree-nodes text {
  fill: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 9px;
  text-anchor: middle;
}

.docs-sliced-leg-set {
  display: block;
  width: max-content;
  max-width: 100%;
  margin: 0.2rem auto 0.45rem;
  padding: 0.3rem 0.55rem;
  border: 1px solid #d0a26d;
  border-radius: 999px;
  background: #fff8ed;
  color: #74420b;
  font-size: 0.72rem;
}

.docs-slicing-mode-panels p {
  margin: 0;
  color: var(--docs-ink-faint);
  font-size: 0.63rem;
}

.docs-slicing-modes-comparison > footer {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 0.8rem;
  padding: 0.62rem 0.72rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-surface-muted);
}

.docs-slicing-modes-comparison footer code {
  color: var(--docs-code-ink);
  font-size: 0.66rem;
}

.docs-slicing-modes-comparison footer span {
  color: var(--docs-ink-faint);
  font-size: 0.63rem;
}

.docs-slicing-leg-selection {
  overflow-x: auto;
}

.docs-slicing-coverage-table {
  min-width: 37rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-slicing-coverage-table > div {
  display: grid;
  grid-template-columns: 1.7fr 1.15fr repeat(3, 0.6fr);
  align-items: center;
}

.docs-slicing-coverage-table > div + div {
  border-top: 1px solid var(--docs-line);
}

.docs-slicing-coverage-table span,
.docs-slicing-coverage-table code,
.docs-slicing-coverage-table b,
.docs-slicing-coverage-table strong {
  padding: 0.48rem 0.55rem;
  color: var(--docs-code-ink);
  font-size: 0.65rem;
  text-align: center;
}

.docs-slicing-coverage-table .is-head,
.docs-slicing-coverage-table .is-summary {
  background: var(--docs-surface-muted);
}

.docs-slicing-coverage-table .is-summary strong:first-of-type {
  color: #8a3d20;
  font-size: 0.75rem;
}

.docs-slicing-selection-update {
  display: grid;
  min-width: 37rem;
  grid-template-columns: 1fr auto 1.25fr;
  align-items: center;
  gap: 0.7rem;
}

.docs-slicing-selection-update > div {
  display: grid;
  gap: 0.22rem;
  padding: 0.55rem 0.65rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface);
}

.docs-slicing-selection-update small,
.docs-slicing-selection-update span {
  color: var(--docs-ink-faint);
  font-size: 0.6rem;
}

.docs-slicing-selection-update code {
  color: var(--docs-code-ink);
  font-size: 0.62rem;
  white-space: normal;
}

.docs-slicing-selection-step {
  display: grid;
  gap: 0.18rem;
  justify-items: center;
  color: #8a3d20;
  white-space: nowrap;
}

.docs-slicing-selection-step span {
  color: #8a3d20;
  font-size: 0.63rem;
  font-weight: 700;
}

.docs-slicing-selection-step svg {
  display: block;
  width: 3.5rem;
  height: 1rem;
  overflow: visible;
}

.docs-slicing-selection-step :is(line, polyline) {
  fill: none;
  stroke: #a44b28;
  stroke-linecap: round;
  stroke-linejoin: round;
  stroke-width: 2;
  vector-effect: non-scaling-stroke;
}

.docs-slicing-leg-selection > footer {
  min-width: 37rem;
  padding: 0.55rem 0.65rem;
  border-left: 3px solid #b4532a;
  background: #fcf1ec;
  color: #74391f;
  font-size: 0.62rem;
}

.docs-slicing-execution-mechanics {
  grid-template-columns: minmax(15rem, 0.8fr) minmax(18rem, 1.2fr);
}

.docs-slicing-execution-mechanics > section {
  min-width: 0;
  padding: 0.75rem;
  border: 1px solid var(--docs-line-strong);
  background: var(--docs-surface);
}

.docs-slicing-execution-mechanics header {
  display: grid;
  gap: 0.15rem;
  padding-bottom: 0.45rem;
  border-bottom: 1px solid var(--docs-line);
}

.docs-slicing-execution-mechanics header b {
  color: var(--docs-ink);
  font-size: 0.72rem;
}

.docs-slicing-execution-mechanics header span {
  color: var(--docs-ink-faint);
  font-size: 0.6rem;
}

.docs-mixed-radix-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.32rem;
  margin-top: 0.65rem;
}

.docs-mixed-radix-grid > span {
  display: grid;
  grid-template-columns: 2rem auto 1fr;
  align-items: center;
  gap: 0.25rem;
  padding: 0.36rem 0.45rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
}

.docs-mixed-radix-grid code {
  color: var(--docs-code-ink);
  font-size: 0.62rem;
}

.docs-mixed-radix-grid i {
  color: var(--docs-accent);
  font-style: normal;
}

.docs-slice-chunks {
  display: grid;
  gap: 0.38rem;
  margin-top: 0.65rem;
}

.docs-slice-chunks > span {
  display: grid;
  grid-template-columns: 1.15fr 1fr;
  gap: 0.55rem;
  padding: 0.42rem 0.52rem;
  border: 1px solid var(--docs-line);
  background: var(--docs-surface-muted);
}

.docs-slice-chunks code {
  color: var(--docs-accent-bright);
  font-size: 0.61rem;
}

.docs-slice-chunks small {
  color: var(--docs-ink-faint);
  font-size: 0.6rem;
}

.docs-chunk-merge {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem 0.65rem;
  margin-top: 0.62rem;
  padding: 0.5rem 0.6rem;
  border-left: 3px solid var(--docs-accent);
  background: var(--docs-accent-soft);
}

.docs-chunk-merge code {
  color: var(--docs-code-ink);
  font-size: 0.62rem;
}

.docs-chunk-merge span {
  color: var(--docs-ink-faint);
  font-size: 0.6rem;
}

.docs-diagram-scroll {
  overflow-x: auto;
}

.docs-tensor-chain {
  display: block;
  width: 100%;
  min-width: 20rem;
  max-width: 24rem;
  margin: 0.5rem auto;
}

.docs-tensor-chain line {
  stroke: var(--docs-figure-line);
  stroke-width: 2;
}

.docs-tensor-chain circle {
  fill: var(--docs-paper);
  stroke: var(--docs-figure-line);
  stroke-width: 2;
}

.docs-tensor-chain text {
  fill: var(--docs-figure-label);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 18px;
  text-anchor: middle;
}

.docs-tensor-chain .tensor-label {
  font-size: 21px;
}

.docs-tensor-chain .tensor-index {
  font-size: 16px;
}

.docs-tensor-chain .is-active :is(line, circle) {
  stroke: var(--docs-accent);
  stroke-width: 3;
}

.docs-tensor-chain .is-active circle {
  fill: var(--docs-accent-soft);
}

.docs-tensor-chain .is-active text {
  fill: var(--docs-accent);
}

.docs-technical-diagram .docs-diagram-note {
  grid-column: 1 / -1;
  margin: 0.65rem 0 0;
  color: var(--docs-ink-soft);
  font-size: 0.875rem;
  line-height: 1.6;
}

.docs-exchange-svg {
  display: block;
  width: 100%;
  min-width: 32rem;
  max-width: 38rem;
  margin-inline: auto;
}

.docs-exchange-svg text {
  fill: var(--docs-figure-label);
  font-size: 16px;
  text-anchor: middle;
}

.docs-exchange-svg .exchange-lane {
  stroke: var(--docs-line);
  stroke-dasharray: 4 4;
}

.docs-exchange-svg .exchange-path {
  fill: none;
  stroke: var(--docs-figure-line);
  stroke-width: 2;
}

.docs-exchange-svg .exchange-path.is-accepted {
  stroke: var(--docs-accent);
  stroke-width: 2.5;
}

.docs-exchange-svg circle {
  fill: var(--docs-paper);
  stroke: var(--docs-figure-line);
  stroke-width: 1.5;
}

.docs-objective-equation > p:first-child,
.docs-contraction-equation {
  margin: 0.75rem 0 1.5rem;
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 1.15rem;
  text-align: center;
}

.docs-objective-equation > p:first-child > span {
  color: var(--docs-accent);
}

.docs-objective-equation dl,
.docs-axis-key {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1rem;
  margin: 0;
}

.docs-objective-equation dl > div,
.docs-axis-key > div {
  padding: 0.65rem 0;
  border-top: 1px solid var(--docs-line);
}

.docs-objective-equation dt,
.docs-axis-key dt {
  color: var(--docs-accent-bright);
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
}

.docs-objective-equation dd,
.docs-axis-key dd {
  margin: 0.25rem 0 0;
  font-size: 0.875rem;
}

.docs-matmul-operands {
  display: flex;
  align-items: center;
  justify-content: space-around;
  gap: 1rem;
  margin: 1rem 0 1.5rem;
}

.docs-matmul-operands > div {
  display: grid;
  gap: 0.4rem;
  padding: 1rem;
  border-inline: 2px solid var(--docs-figure-line);
  text-align: center;
  font-family: ui-monospace, "SFMono-Regular", Consolas, monospace;
  font-size: 0.9375rem;
}

.docs-matmul-operands > div > span {
  color: var(--docs-ink-soft);
  font-size: 0.8125rem;
}

@container diagram (max-width: 56rem) {
  .docs-greedy-mechanics,
  .docs-subtree-mechanics {
    grid-template-columns: minmax(0, 1fr);
  }

  .docs-state-transition > b { transform: rotate(90deg); }
  .docs-subtree-panel { border-left: none; border-bottom: 1px solid var(--docs-line); }
  .docs-subtree-source { height: 11rem; }
  .docs-frontier-network-svg { max-height: 11rem; }
  .docs-subtree-candidates { max-width: 26rem; margin-inline: auto; }
  .docs-matmul-operands { gap: 0.5rem; }
  .docs-matmul-operands > div { padding: 0.5rem; }
}

@container diagram (max-width: 30rem) {
  .docs-objective-equation dl,
  .docs-axis-key { grid-template-columns: 1fr; gap: 0; }
  .docs-matmul-operands { flex-direction: column; }
}

/* Figure labels use the same scale across algorithm and execution pages. */
:is(
  .docs-slicing-principle,
  .docs-greedy-score-example,
  .docs-subset-dp-transition,
  .docs-order-dp-transition,
  .docs-bisect-refinement,
  .docs-rotation-acceptance,
  .docs-annealing-trajectory,
  .docs-auto-candidate-selection,
  .docs-subtree-mechanics,
  .docs-tensor-partition-routes,
  .docs-slicing-modes-comparison,
  .docs-slicing-leg-selection,
  .docs-slicing-execution-mechanics
) :is(p, span, small, code, dt, dd) {
  font-size: 0.875rem;
}

:is(
  .docs-slicing-principle,
  .docs-greedy-score-example,
  .docs-subset-dp-transition,
  .docs-order-dp-transition,
  .docs-bisect-refinement,
  .docs-rotation-acceptance,
  .docs-annealing-trajectory,
  .docs-auto-candidate-selection,
  .docs-subtree-mechanics,
  .docs-tensor-partition-routes,
  .docs-slicing-modes-comparison,
  .docs-slicing-leg-selection,
  .docs-slicing-execution-mechanics
) :is(strong, b) {
  font-size: 0.9375rem;
}

.docs-annealing-trajectory svg text,
.docs-auto-candidate-selection svg text,
.docs-subtree-mechanics svg text,
.docs-tensor-partition-routes svg text,
.docs-slicing-path-tree text {
  font-size: 12px;
}

.docs-annealing-trajectory svg text,
.docs-tensor-network-svg :is(.docs-node-signature, .docs-edge-kind, .docs-leg-label) {
  font-size: 14px;
}

@media (max-width: 96rem) {
  .docs-layout {
    grid-template-columns: minmax(13rem, 15.5rem) minmax(0, 1fr);
  }

  .docs-content {
    padding-right: clamp(1.35rem, 3vw, 2.25rem);
    padding-left: clamp(1.35rem, 3vw, 2.25rem);
  }

  .docs-reading-grid {
    display: block;
    width: min(100%, var(--docs-reading-width));
  }

  .docs-breadcrumb {
    width: min(100%, var(--docs-reading-width));
  }

  .docs-page-toc {
    display: none;
  }
}

@container article (max-width: 56rem) {
.docs-reconfiguration-diagram,
.docs-parallel-diagram,
.docs-greedy-mechanics,
.docs-tree-rotation-mechanics,
.docs-subtree-mechanics,
.docs-simplification-rules {
    grid-template-columns: 1fr;
  }

  .docs-slicing-principle,
  .docs-order-dp-transition,
  .docs-bisect-refinement,
  .docs-slicing-execution-mechanics,
  .docs-slicing-mode-panels {
    grid-template-columns: minmax(0, 1fr);
  }

  .docs-subset-dp-transition footer dl,
  .docs-slicing-execution-mechanics > footer {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .docs-slicing-principle header,
  .docs-subset-dp-transition > header,
  .docs-slicing-modes-comparison > header,
  .docs-slicing-leg-selection > header {
    align-items: flex-start;
    flex-direction: column;
  }

  .docs-state-transition b,
  .docs-rotation-decision b {
    transform: rotate(90deg);
  }

  .docs-algorithm-legend {
    grid-column: auto;
  }

  .docs-rotation-decision {
    max-width: none;
  }

  .docs-rotation-acceptance {
    grid-column: auto;
  }

  .docs-tempering-mechanics {
    overflow-x: auto;
  }

  .docs-auto-candidate-grid {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }

  .docs-auto-candidate-selection > header,
  .docs-auto-candidate-formula {
    align-items: flex-start;
    grid-template-columns: 1fr;
  }

  .docs-auto-candidate-selection > header {
    flex-direction: column;
  }

  .docs-partition-source {
    overflow-x: auto;
  }

  .docs-partition-source > svg {
    min-width: 34rem;
  }

  .docs-tempering-column-labels,
  .docs-tempering-slot {
    min-width: 34rem;
  }

.docs-objective-terms,
.docs-objective-ranking,
.docs-slicing-mode-branches,
.docs-execution-step-diagram {
    grid-template-columns: 1fr;
  }

  .docs-reconfiguration-diagram i,
  .docs-objective-terms > i,
  .docs-objective-ranking > i,
  .docs-execution-step-diagram > i {
    justify-self: center;
    transform: rotate(90deg);
  }



  .docs-tempering-lane {
    grid-template-columns: 4.6rem repeat(7, auto);
    overflow-x: auto;
  }

.docs-structured-map-families header,
.docs-partition-route-panels header {
    align-items: flex-start;
    flex-direction: column;
  }

  .docs-structured-route {
    grid-template-columns: 1fr;
  }

  .docs-structured-route > i {
    justify-self: center;
    transform: rotate(90deg);
  }

.docs-partition-route-panels {
    grid-template-columns: 1fr;
  }

  .docs-partition-result {
    grid-template-columns: 1fr;
  }
}

@media (max-width: 64rem) {
  .docs-mobile-nav-toggle {
    display: inline-flex;
    align-items: center;
    margin-left: auto;
    padding: 0.3rem 0.58rem;
    border: 1px solid var(--docs-line-strong);
    border-radius: 0.12rem;
    background: transparent;
    cursor: pointer;
    font-size: 0.82rem;
    font-weight: 600;
  }

  .docs-layout {
    display: block;
    width: 100%;
    min-height: 0;
  }

  .docs-sidebar {
    position: fixed;
    z-index: 45;
    top: var(--docs-header-height);
    bottom: 0;
    left: 0;
    display: none;
    width: min(88vw, 20rem);
    height: auto;
    border-top: 0;
    box-shadow: 0.8rem 0 2rem rgb(0 0 0 / 25%);
  }

  .docs-sidebar.is-open {
    display: block;
  }

  .docs-sidebar-inner {
    padding-right: 1.25rem;
    padding-left: 1.25rem;
  }

  .docs-content {
    padding: 2.4rem clamp(1.5rem, 5vw, 3rem) 4.5rem;
  }
}

@container article (max-width: 42rem) {
  .docs-tensor-network-svg.is-desktop {
    display: none;
  }

  .docs-tensor-network-svg.is-mobile {
    display: block;
    width: min(100%, 16rem);
    margin: 0 auto;
  }

  .docs-tensor-network-legend {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.55rem;
    text-align: left;
  }

  .docs-slicing-tree-pair {
    grid-template-columns: minmax(0, 1fr);
    justify-items: center;
    gap: 0.2rem;
    overflow: visible;
  }

  .docs-slicing-tree-pair > span {
    width: min(100%, 13rem);
  }

  .docs-slicing-mode-panels > section:nth-child(2) .docs-slicing-tree-pair > i {
    transform: rotate(90deg);
  }

  .docs-slicing-path-tree {
    min-width: 0;
  }

  .docs-slicing-leg-selection {
    overflow-x: visible;
  }

  .docs-slicing-coverage-table,
  .docs-slicing-selection-update,
  .docs-slicing-leg-selection > footer {
    width: 100%;
    min-width: 0;
  }

  .docs-slicing-coverage-table > div {
    grid-template-columns: 1.45fr 1fr repeat(3, minmax(1.8rem, 0.52fr));
  }

  .docs-slicing-coverage-table :is(span, code, b, strong) {
    padding: 0.42rem 0.25rem;
    overflow-wrap: anywhere;
  }

  .docs-slicing-selection-update {
    grid-template-columns: minmax(0, 1fr);
    justify-items: stretch;
    gap: 0.25rem;
  }

  .docs-slicing-selection-step {
    min-height: 2.5rem;
  }

  .docs-slicing-selection-step svg {
    transform: rotate(90deg);
  }

  .docs-annealing-trajectory > header {
    min-width: 0;
    flex-wrap: wrap;
  }

  .docs-annealing-trajectory > header small {
    flex-basis: 100%;
    margin-left: 0;
  }

  .docs-annealing-trajectory svg.is-desktop {
    display: none;
  }

  .docs-annealing-trajectory svg.is-mobile {
    display: block;
    min-width: 0;
  }

  .docs-partition-source {
    overflow-x: visible;
  }

  .docs-partition-source > svg.partition-network-desktop {
    display: none;
  }

  .docs-partition-source > svg.partition-network-mobile {
    display: block;
    width: min(100%, 17.5rem);
    min-width: 0;
    max-height: none;
  }

  .docs-tempering-mechanics {
    overflow-x: visible;
  }

  .docs-tempering-column-labels {
    display: none;
  }

  .docs-tempering-slot {
    min-width: 0;
    grid-template-columns: 2.5rem minmax(0, 1fr) auto minmax(0, 1fr);
    gap: 0.25rem;
    padding: 0.45rem;
  }

  .docs-tempering-slot .docs-tree-glyph {
    min-width: 0;
  }

  .docs-tempering-slot .docs-tree-glyph svg {
    width: min(100%, 4.7rem);
  }

  .docs-annealing-trajectory > footer {
    min-width: 0;
    grid-template-columns: auto minmax(0, 1fr);
  }

  .docs-greedy-score-example > header,
  .docs-subset-dp-candidates,
  .docs-subset-dp-transition footer dl,
  .docs-rotation-acceptance > div,
  .docs-slicing-execution-mechanics > footer {
    grid-template-columns: minmax(0, 1fr);
  }

  .docs-api dl > div {
    grid-template-columns: minmax(0, 1fr);
    gap: 0.35rem;
  }
}

@media (max-width: 42rem) {
  .docs-simplified-output {
    grid-template-columns: auto minmax(0, 1fr);
  }

  html {
    scroll-padding-top: calc(var(--docs-mobile-header-height) + 1rem);
  }

  .docs-topbar {
    position: sticky;
    z-index: 50;
    top: 0;
    display: block;
    height: var(--docs-mobile-header-height);
    border-bottom: 1px solid var(--docs-line);
    background: var(--docs-surface);
  }

  .docs-topbar-inner {
    display: flex;
    height: 100%;
    align-items: center;
    gap: 1rem;
    padding: 0 1rem;
  }

  .docs-brand {
    color: var(--docs-ink);
    font-size: 1.05rem;
    font-weight: 740;
    text-decoration: none;
  }

  .docs-brand::after,
  .docs-header-links,
  .docs-header-repository-link {
    display: none;
  }

  .docs-language-switch {
    margin-left: auto;
  }

  .docs-technical-diagram {
    padding: 0.78rem;
  }

  .docs-tensor-network-svg .docs-node-id {
    font-size: 24px;
  }

  .docs-tensor-network-svg .docs-node-signature {
    font-size: 15px;
  }

  .docs-tensor-network-svg .docs-leg-label {
    font-size: 14px;
  }

  .docs-sidebar {
    top: var(--docs-mobile-header-height);
    width: min(88vw, 18rem);
    box-shadow: 0.8rem 0 2rem rgb(0 0 0 / 35%);
  }

  .docs-content {
    padding: 2rem 1.1rem 3.5rem;
  }

  .docs-breadcrumb li:last-child {
    display: none;
  }

  .docs-article-header {
    padding-bottom: 1.2rem;
  }

  .docs-prose > section {
    padding-top: 1.85rem;
  }
}

@media (max-width: 32rem) {
  .docs-article-header h1,
  .docs-not-found h1 {
    font-size: 1.8rem;
  }

  .docs-heading {
    font-size: 1.34rem;
  }

  .docs-pager {
    grid-template-columns: 1fr;
  }

  .docs-pager-next {
    grid-column: 1;
  }

  .docs-pager-link strong {
    white-space: normal;
  }
}


}