:root {
  --md-text-font: "IBM Plex Sans";
  --md-code-font: "JetBrains Mono";
}

[data-md-color-scheme="default"] {
  --md-primary-fg-color: #163b73;
  --md-primary-fg-color--light: #4f76b8;
  --md-primary-fg-color--dark: #0f2950;
  --md-accent-fg-color: #1f6fe5;
  --md-accent-fg-color--transparent: rgba(31, 111, 229, 0.14);
  --site-surface-soft: rgba(243, 247, 255, 0.94);
  --site-surface-strong: rgba(255, 255, 255, 0.96);
  --site-border: rgba(22, 59, 115, 0.16);
  --site-shadow: 0 18px 40px rgba(15, 36, 76, 0.1);
  --site-gradient-a: rgba(86, 137, 219, 0.22);
  --site-gradient-b: rgba(191, 219, 255, 0.2);
}

[data-md-color-scheme="slate"] {
  --md-hue: 218;
  --md-primary-fg-color: #78a5f2;
  --md-primary-fg-color--light: #a9c5ff;
  --md-primary-fg-color--dark: #4f79c4;
  --md-accent-fg-color: #8bc3ff;
  --md-accent-fg-color--transparent: rgba(139, 195, 255, 0.16);
  --site-surface-soft: rgba(17, 27, 46, 0.82);
  --site-surface-strong: rgba(10, 18, 34, 0.92);
  --site-border: rgba(120, 165, 242, 0.18);
  --site-shadow: 0 24px 48px rgba(0, 5, 18, 0.34);
  --site-gradient-a: rgba(74, 126, 214, 0.2);
  --site-gradient-b: rgba(19, 83, 159, 0.18);
}

body {
  background:
    radial-gradient(circle at top left, var(--site-gradient-a), transparent 32%),
    radial-gradient(circle at top right, var(--site-gradient-b), transparent 28%),
    var(--md-default-bg-color);
}

.md-header {
  -webkit-backdrop-filter: blur(18px);
  backdrop-filter: blur(18px);
}

[data-md-color-scheme="default"] .md-header {
  background: rgba(22, 59, 115, 0.92);
  box-shadow: 0 8px 30px rgba(13, 33, 66, 0.18);
}

[data-md-color-scheme="slate"] .md-header {
  background: rgba(8, 16, 31, 0.94);
  box-shadow: 0 10px 28px rgba(0, 2, 12, 0.34);
}

.md-tabs {
  background: transparent;
}

.md-header__button.md-logo,
.md-nav__button.md-logo {
  display: none;
}

.cp-support-link {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  margin-left: 0.4rem;
  padding: 0.45rem 0.8rem;
  border-radius: 999px;
  border: 1px solid rgba(255, 255, 255, 0.16);
  color: rgba(255, 255, 255, 0.95);
  text-decoration: none;
  font-weight: 700;
  line-height: 1;
  transition: transform 140ms ease, background 140ms ease, border-color 140ms ease;
}

.cp-support-link:hover {
  transform: translateY(-1px);
  background: rgba(255, 255, 255, 0.09);
  border-color: rgba(255, 255, 255, 0.28);
}

.cp-support-link svg {
  width: 1.15rem;
  height: 1.15rem;
  fill: currentColor;
  flex: 0 0 auto;
}

.cp-support-link span {
  white-space: nowrap;
  font-size: 0.78rem;
}

.md-main__inner {
  margin-top: 1rem;
}

.md-typeset h1,
.md-typeset h2,
.md-typeset h3 {
  letter-spacing: -0.02em;
}

.md-typeset h1 {
  font-weight: 800;
  margin-bottom: 0.7rem;
}

.md-typeset h2 {
  font-weight: 750;
  margin-top: 2.2rem;
}

.md-typeset p,
.md-typeset li {
  line-height: 1.7;
}

.md-typeset .md-button {
  border-radius: 999px;
  font-weight: 700;
  padding: 0.75em 1.15em;
}

.md-typeset .grid.cards > ul > li,
.md-typeset .grid.cards > ol > li {
  border-radius: 1rem;
  border: 1px solid var(--site-border);
  background: linear-gradient(180deg, var(--site-surface-soft), var(--site-surface-strong));
  box-shadow: var(--site-shadow);
  transition: transform 160ms ease, box-shadow 160ms ease, border-color 160ms ease;
}

.md-typeset .grid.cards > ul > li:hover,
.md-typeset .grid.cards > ol > li:hover {
  transform: translateY(-4px);
  border-color: rgba(31, 111, 229, 0.28);
  box-shadow: 0 22px 46px rgba(11, 28, 58, 0.18);
}

.home-hero {
  position: relative;
  overflow: hidden;
  padding: 2rem;
  border-radius: 1.5rem;
  border: 1px solid var(--site-border);
  background:
    radial-gradient(circle at top right, rgba(255, 255, 255, 0.22), transparent 22%),
    linear-gradient(135deg, rgba(22, 59, 115, 0.14), rgba(118, 165, 242, 0.14)),
    var(--site-surface-strong);
  box-shadow: var(--site-shadow);
}

.home-hero::after {
  content: "";
  position: absolute;
  width: 16rem;
  height: 16rem;
  top: -7rem;
  right: -5rem;
  border-radius: 50%;
  background: radial-gradient(circle, rgba(151, 193, 255, 0.34), rgba(151, 193, 255, 0));
  pointer-events: none;
}

.hero-kicker {
  margin: 0;
  color: var(--md-accent-fg-color);
  font-size: 0.72rem;
  font-weight: 800;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.hero-copy {
  position: relative;
  z-index: 1;
  max-width: 48rem;
  margin-bottom: 0;
  font-size: 1rem;
}

.hero-actions {
  display: flex;
  flex-wrap: wrap;
  gap: 0.7rem;
  margin: 1.4rem 0 1rem;
}

.hero-actions .md-button {
  margin: 0;
}

.chip-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
}

.chip {
  display: inline-flex;
  align-items: center;
  padding: 0.45rem 0.82rem;
  border-radius: 999px;
  border: 1px solid var(--site-border);
  background: rgba(255, 255, 255, 0.56);
  font-size: 0.76rem;
  font-weight: 700;
}

[data-md-color-scheme="slate"] .chip {
  background: rgba(255, 255, 255, 0.04);
}

.badge-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.55rem;
  margin: 0.4rem 0 1rem;
}

.route-badge {
  display: inline-flex;
  align-items: center;
  padding: 0.36rem 0.72rem;
  border-radius: 999px;
  border: 1px solid var(--site-border);
  font-size: 0.74rem;
  font-weight: 800;
  letter-spacing: 0.02em;
  line-height: 1;
}

.route-badge--core {
  color: #0f4c81;
  background: rgba(191, 219, 254, 0.75);
}

.route-badge--bridge {
  color: #0f766e;
  background: rgba(204, 251, 241, 0.78);
}

.route-badge--deep {
  color: #6d28d9;
  background: rgba(233, 213, 255, 0.78);
}

.route-badge--enrichment {
  color: #9a3412;
  background: rgba(254, 215, 170, 0.82);
}

.visual-card {
  margin: 1.25rem 0 1.5rem;
  padding: 1rem;
  border: 1px solid var(--site-border);
  border-radius: 1rem;
  background: linear-gradient(180deg, var(--site-surface-soft), var(--site-surface-strong));
  box-shadow: var(--site-shadow);
}

.visual-card > :first-child {
  margin-top: 0;
}

.visual-caption {
  margin: 0.25rem 0 0.9rem;
  color: var(--md-default-fg-color--light);
  font-size: 0.92rem;
}

.visual-grid {
  display: grid;
  grid-template-columns: minmax(0, 1.75fr) minmax(18rem, 1fr);
  gap: 1rem;
  align-items: start;
}

.visual-panel {
  min-width: 0;
}

.visual-surface {
  min-height: 25rem;
  border: 1px solid var(--site-border);
  border-radius: 0.9rem;
  background:
    radial-gradient(circle at top left, rgba(255, 255, 255, 0.16), transparent 28%),
    linear-gradient(180deg, rgba(255, 255, 255, 0.12), rgba(255, 255, 255, 0.03));
  overflow: hidden;
}

.visual-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 0.65rem;
  margin-bottom: 0.9rem;
}

.visual-controls label {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  font-weight: 700;
}

.visual-controls select,
.visual-controls button {
  border-radius: 0.8rem;
  border: 1px solid var(--site-border);
  font: inherit;
}

.visual-controls select {
  min-width: 6rem;
  padding: 0.45rem 0.7rem;
  background: var(--md-default-bg-color);
  color: var(--md-default-fg-color);
}

.visual-controls button {
  padding: 0.48rem 0.85rem;
  background: transparent;
  color: var(--md-default-fg-color);
  cursor: pointer;
  font-weight: 700;
  transition: transform 140ms ease, border-color 140ms ease, background 140ms ease;
}

.visual-controls button:hover {
  transform: translateY(-1px);
  border-color: rgba(31, 111, 229, 0.28);
}

.visual-controls button.is-active {
  background: rgba(31, 111, 229, 0.12);
  border-color: rgba(31, 111, 229, 0.32);
}

.visual-controls button:disabled {
  cursor: wait;
  opacity: 0.72;
  transform: none;
}

.visual-panel h4 {
  margin-top: 0;
  margin-bottom: 0.55rem;
}

.visual-stats {
  display: grid;
  gap: 0.7rem;
}

.visual-stat {
  padding: 0.8rem 0.9rem;
  border: 1px solid var(--site-border);
  border-radius: 0.85rem;
  background: rgba(255, 255, 255, 0.06);
}

.visual-stat strong {
  display: block;
  margin-bottom: 0.28rem;
  font-size: 0.88rem;
}

.visual-stat code {
  white-space: pre-wrap;
}

.visual-note {
  margin-top: 0.85rem;
  font-size: 0.92rem;
  color: var(--md-default-fg-color--light);
}

.visual-strip {
  display: grid;
  gap: 0.75rem;
}

.visual-strip--eight {
  grid-template-columns: repeat(8, minmax(0, 1fr));
}

.visual-strip--six {
  grid-template-columns: repeat(6, minmax(0, 1fr));
}

.visual-cell {
  padding: 0.7rem 0.55rem;
  border: 1px solid var(--site-border);
  border-radius: 0.9rem;
  background: rgba(255, 255, 255, 0.06);
  text-align: center;
  transition: transform 140ms ease, border-color 140ms ease, background 140ms ease;
}

.visual-cell small {
  display: block;
  margin-bottom: 0.18rem;
  color: var(--md-default-fg-color--light);
  font-size: 0.74rem;
}

.visual-cell strong {
  display: block;
  font-size: 1rem;
}

.visual-cell code {
  display: block;
  margin-top: 0.22rem;
  font-size: 0.78rem;
}

.visual-cell.is-highlight {
  border-color: rgba(37, 99, 235, 0.48);
  background: rgba(191, 219, 254, 0.55);
  transform: translateY(-2px);
}

.visual-cell.is-secondary {
  border-color: rgba(245, 158, 11, 0.45);
  background: rgba(253, 230, 138, 0.46);
}

.visual-cell.is-current {
  border-color: rgba(124, 58, 237, 0.52);
  background: rgba(233, 213, 255, 0.58);
  transform: translateY(-2px);
}

.visual-cell.is-processed {
  border-color: rgba(5, 150, 105, 0.36);
  background: rgba(209, 250, 229, 0.5);
}

.visual-cell.is-muted {
  opacity: 0.55;
}

.visual-cluster {
  display: grid;
  gap: 1rem;
}

.visual-cluster h4,
.visual-cluster h5 {
  margin: 0 0 0.55rem;
}

.visual-tree {
  display: grid;
  gap: 0.75rem;
}

.visual-tree-row {
  display: grid;
  gap: 0.75rem;
}

.visual-tree-row--1 {
  grid-template-columns: repeat(1, minmax(0, 1fr));
}

.visual-tree-row--2 {
  grid-template-columns: repeat(2, minmax(0, 1fr));
}

.visual-tree-row--4 {
  grid-template-columns: repeat(4, minmax(0, 1fr));
}

.visual-tree-row--8 {
  grid-template-columns: repeat(8, minmax(0, 1fr));
}

.visual-tree-node {
  min-width: 0;
}

.binary-search-svg {
  display: block;
  width: 100%;
  height: auto;
}

.binary-search-window {
  fill: rgba(191, 219, 254, 0.2);
  stroke: rgba(37, 99, 235, 0.38);
  stroke-width: 1.5;
  stroke-dasharray: 7 6;
}

.binary-search-cell {
  stroke-width: 1.4;
  transition: opacity 140ms ease;
}

.binary-search-cell.is-bad {
  fill: rgba(253, 230, 138, 0.58);
  stroke: rgba(217, 119, 6, 0.4);
}

.binary-search-cell.is-good {
  fill: rgba(191, 219, 254, 0.62);
  stroke: rgba(37, 99, 235, 0.32);
}

.binary-search-cell.is-candidate {
  opacity: 1;
}

.binary-search-cell.is-eliminated {
  opacity: 0.38;
}

.binary-search-cell.is-mid {
  stroke-width: 3;
  stroke: rgba(124, 58, 237, 0.74);
}

.binary-search-cell.is-answer {
  filter: drop-shadow(0 0 0.38rem rgba(59, 130, 246, 0.24));
}

.binary-search-cell-value {
  font-size: 1rem;
  font-weight: 800;
  fill: var(--md-default-fg-color);
}

.binary-search-cell-predicate {
  font-size: 0.74rem;
  font-weight: 700;
  fill: var(--md-default-fg-color--light);
  text-transform: uppercase;
  letter-spacing: 0.04em;
}

.binary-search-cell-index {
  font-size: 0.76rem;
  fill: var(--md-default-fg-color--light);
}

.binary-search-pointer {
  stroke-width: 2;
}

.binary-search-pointer.is-left {
  stroke: rgba(217, 119, 6, 0.8);
}

.binary-search-pointer.is-right {
  stroke: rgba(37, 99, 235, 0.8);
}

.binary-search-pointer.is-mid {
  stroke: rgba(124, 58, 237, 0.88);
}

.binary-search-pointer-label {
  font-size: 0.76rem;
  font-weight: 800;
}

.binary-search-pointer-label.is-left {
  fill: rgba(180, 83, 9, 1);
}

.binary-search-pointer-label.is-right {
  fill: rgba(29, 78, 216, 1);
}

.binary-search-pointer-label.is-mid {
  fill: rgba(109, 40, 217, 1);
}

.binary-search-boundary {
  stroke: rgba(31, 111, 229, 0.34);
  stroke-width: 2;
  stroke-dasharray: 4 5;
}

.lazy-tree-svg {
  display: block;
  width: 100%;
  height: auto;
}

.lazy-tree-link {
  stroke: rgba(22, 59, 115, 0.2);
  stroke-width: 2;
}

.lazy-tree-node {
  fill: rgba(255, 255, 255, 0.9);
  stroke: rgba(22, 59, 115, 0.18);
  stroke-width: 1.4;
}

.lazy-tree-node.is-full {
  fill: rgba(191, 219, 254, 0.72);
  stroke: rgba(37, 99, 235, 0.36);
}

.lazy-tree-node.is-partial {
  fill: rgba(253, 230, 138, 0.52);
  stroke: rgba(217, 119, 6, 0.38);
}

.lazy-tree-node.was-pushed {
  stroke: rgba(124, 58, 237, 0.82);
  stroke-width: 3;
}

.lazy-tree-node.was-pulled {
  stroke: rgba(5, 150, 105, 0.82);
  filter: drop-shadow(0 0 0.32rem rgba(16, 185, 129, 0.22));
}

.lazy-tree-node.has-lazy {
  stroke-dasharray: 5 4;
}

.lazy-tree-interval,
.lazy-tree-sum,
.lazy-tree-tag {
  fill: var(--md-default-fg-color);
  text-anchor: middle;
}

.lazy-tree-interval {
  font-size: 0.74rem;
  font-weight: 700;
}

.lazy-tree-sum {
  font-size: 0.84rem;
  font-weight: 800;
}

.lazy-tree-tag {
  font-size: 0.72rem;
  font-weight: 800;
  fill: rgba(109, 40, 217, 1);
}

.euler-tour-svg {
  display: block;
  width: 100%;
  height: auto;
}

.euler-tour-link {
  stroke: rgba(22, 59, 115, 0.22);
  stroke-width: 2.2;
}

.euler-tour-node {
  fill: rgba(255, 255, 255, 0.92);
  stroke: rgba(22, 59, 115, 0.18);
  stroke-width: 1.5;
  transition: fill 140ms ease, stroke 140ms ease, filter 140ms ease;
}

.euler-tour-node.is-subtree {
  fill: rgba(191, 219, 254, 0.72);
  stroke: rgba(37, 99, 235, 0.42);
}

.euler-tour-node.is-focus {
  stroke: rgba(29, 78, 216, 0.9);
  stroke-width: 3;
}

.euler-tour-node.is-updated {
  fill: rgba(253, 230, 138, 0.62);
  stroke: rgba(217, 119, 6, 0.5);
}

.euler-tour-node-label,
.euler-tour-node-value,
.euler-tour-node-time {
  fill: var(--md-default-fg-color);
  text-anchor: middle;
}

.euler-tour-node-label {
  font-size: 0.92rem;
  font-weight: 800;
}

.euler-tour-node-value {
  font-size: 0.8rem;
  font-weight: 700;
}

.euler-tour-node-time {
  font-size: 0.72rem;
  font-weight: 700;
  fill: var(--md-default-fg-color--light);
}

.two-pointers-svg {
  display: block;
  width: 100%;
  height: auto;
}

.two-pointers-window {
  stroke-width: 1.8;
  stroke-dasharray: 7 5;
}

.two-pointers-window.is-valid {
  fill: rgba(191, 219, 254, 0.2);
  stroke: rgba(37, 99, 235, 0.42);
}

.two-pointers-window.is-invalid {
  fill: rgba(253, 230, 138, 0.2);
  stroke: rgba(217, 119, 6, 0.46);
}

.two-pointers-cell {
  stroke-width: 1.4;
  transition: opacity 140ms ease, stroke 140ms ease, fill 140ms ease;
}

.two-pointers-cell.is-outside {
  fill: rgba(255, 255, 255, 0.86);
  stroke: rgba(22, 59, 115, 0.16);
}

.two-pointers-cell.is-in-window {
  fill: rgba(191, 219, 254, 0.64);
  stroke: rgba(37, 99, 235, 0.34);
}

.two-pointers-cell.is-in-invalid-window {
  fill: rgba(253, 230, 138, 0.58);
  stroke: rgba(217, 119, 6, 0.38);
}

.two-pointers-cell.is-added {
  stroke: rgba(124, 58, 237, 0.82);
  stroke-width: 3;
}

.two-pointers-cell.is-removed {
  fill: rgba(229, 231, 235, 0.92);
  stroke: rgba(107, 114, 128, 0.3);
  opacity: 0.72;
}

.two-pointers-cell-index,
.two-pointers-cell-value {
  fill: var(--md-default-fg-color);
}

.two-pointers-cell-index {
  font-size: 0.78rem;
  font-weight: 700;
}

.two-pointers-cell-value {
  font-size: 1.05rem;
  font-weight: 800;
}

.two-pointers-pointer {
  stroke-width: 2.2;
}

.two-pointers-pointer.is-left {
  stroke: rgba(217, 119, 6, 0.82);
}

.two-pointers-pointer.is-right {
  stroke: rgba(37, 99, 235, 0.82);
}

.two-pointers-pointer-label {
  font-size: 0.78rem;
  font-weight: 800;
}

.two-pointers-pointer-label.is-left {
  fill: rgba(180, 83, 9, 1);
}

.two-pointers-pointer-label.is-right {
  fill: rgba(29, 78, 216, 1);
}

.digit-dp-svg {
  display: block;
  width: 100%;
  height: auto;
}

.digit-dp-link {
  stroke-width: 2.2;
}

.digit-dp-link.is-valid {
  stroke: rgba(37, 99, 235, 0.58);
}

.digit-dp-link.is-invalid {
  stroke: rgba(220, 38, 38, 0.42);
  stroke-dasharray: 6 5;
}

.digit-dp-box {
  stroke-width: 1.5;
}

.digit-dp-box.is-current-state {
  fill: rgba(191, 219, 254, 0.72);
  stroke: rgba(29, 78, 216, 0.42);
}

.digit-dp-box.is-valid-choice {
  fill: rgba(255, 255, 255, 0.92);
  stroke: rgba(22, 59, 115, 0.18);
}

.digit-dp-box.is-invalid-choice {
  fill: rgba(243, 244, 246, 0.86);
  stroke: rgba(220, 38, 38, 0.18);
}

.digit-dp-box.is-terminal-state {
  fill: rgba(209, 250, 229, 0.72);
  stroke: rgba(5, 150, 105, 0.4);
}

.digit-dp-box-title,
.digit-dp-box-main,
.digit-dp-box-sub,
.digit-dp-box-foot {
  fill: var(--md-default-fg-color);
}

.digit-dp-box-title {
  font-size: 0.78rem;
  font-weight: 800;
}

.digit-dp-box-main {
  font-size: 0.82rem;
  font-weight: 700;
}

.digit-dp-box-sub {
  font-size: 0.76rem;
}

.digit-dp-box-foot {
  font-size: 0.7rem;
  fill: var(--md-default-fg-color--light);
}

.visual-stat.is-invalid-card {
  border-color: rgba(220, 38, 38, 0.18);
  background: rgba(254, 242, 242, 0.82);
}

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

.fft-stage-title,
.fft-stage-subtitle,
.fft-cell-index,
.fft-cell-value {
  fill: var(--md-default-fg-color);
}

.fft-stage-title {
  font-size: 1rem;
  font-weight: 800;
}

.fft-stage-subtitle {
  font-size: 0.82rem;
  fill: var(--md-default-fg-color--light);
}

.fft-pair-curve {
  fill: none;
  stroke: rgba(29, 78, 216, 0.42);
  stroke-width: 2.2;
  stroke-dasharray: 6 5;
}

.fft-cell {
  stroke-width: 1.5;
}

.fft-cell.is-reordered {
  fill: rgba(233, 213, 255, 0.62);
  stroke: rgba(124, 58, 237, 0.28);
}

.fft-cell.is-stage-value {
  fill: rgba(191, 219, 254, 0.66);
  stroke: rgba(29, 78, 216, 0.32);
}

.fft-cell-index {
  font-size: 0.76rem;
  font-weight: 700;
}

.fft-cell-value {
  font-size: 1.06rem;
  font-weight: 800;
}

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

.gauss-stage-title,
.gauss-stage-subtitle,
.gauss-col-label,
.gauss-row-label,
.gauss-cell-value {
  fill: var(--md-default-fg-color);
}

.gauss-stage-title {
  font-size: 1rem;
  font-weight: 800;
}

.gauss-stage-subtitle {
  font-size: 0.82rem;
  fill: var(--md-default-fg-color--light);
}

.gauss-col-label,
.gauss-row-label {
  font-size: 0.8rem;
  font-weight: 800;
}

.gauss-column-band {
  fill: rgba(233, 213, 255, 0.42);
  stroke: rgba(124, 58, 237, 0.18);
  stroke-width: 1.5;
}

.gauss-divider {
  stroke: rgba(22, 59, 115, 0.28);
  stroke-width: 2.2;
  stroke-dasharray: 5 4;
}

.gauss-cell {
  fill: rgba(255, 255, 255, 0.94);
  stroke: rgba(22, 59, 115, 0.18);
  stroke-width: 1.5;
}

.gauss-cell.is-rhs {
  fill: rgba(243, 247, 255, 0.96);
}

.gauss-cell.is-active-row {
  fill: rgba(254, 243, 199, 0.84);
  stroke: rgba(217, 119, 6, 0.24);
}

.gauss-cell.is-changed {
  fill: rgba(209, 250, 229, 0.78);
  stroke: rgba(5, 150, 105, 0.28);
}

.gauss-cell.is-pivot {
  fill: rgba(191, 219, 254, 0.76);
  stroke: rgba(29, 78, 216, 0.42);
}

.gauss-cell-value {
  font-size: 1.06rem;
  font-weight: 800;
}

.broken-profile-svg {
  display: block;
  width: 100%;
  height: auto;
}

.broken-profile-title,
.broken-profile-subtitle,
.broken-profile-col-label,
.broken-profile-row-label,
.broken-profile-cell-value,
.broken-profile-cell-sub,
.broken-profile-pointer-label {
  fill: var(--md-default-fg-color);
}

.broken-profile-title {
  font-size: 1rem;
  font-weight: 800;
}

.broken-profile-subtitle {
  font-size: 0.82rem;
  fill: var(--md-default-fg-color--light);
}

.broken-profile-col-label,
.broken-profile-row-label {
  font-size: 0.8rem;
  font-weight: 800;
}

.broken-profile-cell {
  fill: rgba(255, 255, 255, 0.94);
  stroke: rgba(22, 59, 115, 0.18);
  stroke-width: 1.5;
}

.broken-profile-cell.is-pre-filled {
  fill: rgba(233, 213, 255, 0.62);
  stroke: rgba(124, 58, 237, 0.24);
}

.broken-profile-cell.is-next-filled {
  fill: rgba(191, 219, 254, 0.74);
  stroke: rgba(29, 78, 216, 0.3);
}

.broken-profile-cell.is-resolved {
  stroke: rgba(5, 150, 105, 0.34);
}

.broken-profile-cell.is-pointer {
  stroke: rgba(217, 119, 6, 0.46);
}

.broken-profile-cell-value {
  font-size: 0.92rem;
  font-weight: 800;
}

.broken-profile-cell-sub {
  font-size: 0.74rem;
  fill: var(--md-default-fg-color--light);
}

.broken-profile-overlay {
  stroke-width: 1.8;
}

.broken-profile-overlay.is-vertical {
  fill: rgba(245, 158, 11, 0.18);
  stroke: rgba(217, 119, 6, 0.38);
}

.broken-profile-overlay.is-horizontal {
  fill: rgba(59, 130, 246, 0.14);
  stroke: rgba(29, 78, 216, 0.34);
}

.broken-profile-pointer {
  stroke: rgba(217, 119, 6, 0.72);
  stroke-width: 2.2;
  stroke-dasharray: 5 4;
}

.broken-profile-pointer-label {
  font-size: 0.76rem;
  font-weight: 800;
  fill: rgba(180, 83, 9, 1);
}

.graph-visual-surface {
  min-height: 30rem;
  height: 30rem;
}

.graph-visual-surface > div,
.graph-visual-surface canvas {
  width: 100%;
  height: 100%;
}

.visual-ledger {
  display: grid;
  gap: 0.65rem;
}

.visual-ledger code {
  white-space: pre-wrap;
}

.mermaid {
  text-align: center;
}

.mermaid svg {
  max-width: 100%;
  height: auto;
}

[data-md-color-scheme="slate"] .route-badge--core {
  color: #bfd8ff;
  background: rgba(29, 78, 216, 0.26);
}

[data-md-color-scheme="slate"] .route-badge--bridge {
  color: #b9fff4;
  background: rgba(13, 148, 136, 0.26);
}

[data-md-color-scheme="slate"] .route-badge--deep {
  color: #e9d5ff;
  background: rgba(126, 34, 206, 0.26);
}

[data-md-color-scheme="slate"] .route-badge--enrichment {
  color: #ffd7b0;
  background: rgba(194, 88, 24, 0.26);
}

[data-md-color-scheme="slate"] .visual-stat {
  background: rgba(255, 255, 255, 0.03);
}

[data-md-color-scheme="slate"] .visual-cell {
  background: rgba(255, 255, 255, 0.04);
}

[data-md-color-scheme="slate"] .binary-search-window {
  fill: rgba(37, 99, 235, 0.15);
  stroke: rgba(147, 197, 253, 0.36);
}

[data-md-color-scheme="slate"] .binary-search-cell.is-bad {
  fill: rgba(180, 83, 9, 0.34);
  stroke: rgba(251, 191, 36, 0.38);
}

[data-md-color-scheme="slate"] .binary-search-cell.is-good {
  fill: rgba(37, 99, 235, 0.3);
  stroke: rgba(147, 197, 253, 0.34);
}

[data-md-color-scheme="slate"] .binary-search-cell-value,
[data-md-color-scheme="slate"] .binary-search-cell-predicate,
[data-md-color-scheme="slate"] .binary-search-cell-index,
[data-md-color-scheme="slate"] .binary-search-pointer-label {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .binary-search-boundary {
  stroke: rgba(147, 197, 253, 0.36);
}

[data-md-color-scheme="slate"] .lazy-tree-link {
  stroke: rgba(147, 197, 253, 0.18);
}

[data-md-color-scheme="slate"] .lazy-tree-node {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.18);
}

[data-md-color-scheme="slate"] .lazy-tree-node.is-full {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.34);
}

[data-md-color-scheme="slate"] .lazy-tree-node.is-partial {
  fill: rgba(180, 83, 9, 0.28);
  stroke: rgba(251, 191, 36, 0.38);
}

[data-md-color-scheme="slate"] .lazy-tree-node.was-pulled {
  stroke: rgba(52, 211, 153, 0.84);
}

[data-md-color-scheme="slate"] .lazy-tree-interval,
[data-md-color-scheme="slate"] .lazy-tree-sum {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .lazy-tree-tag {
  fill: rgba(216, 180, 254, 0.98);
}

[data-md-color-scheme="slate"] .euler-tour-link {
  stroke: rgba(147, 197, 253, 0.18);
}

[data-md-color-scheme="slate"] .euler-tour-node {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.18);
}

[data-md-color-scheme="slate"] .euler-tour-node.is-subtree {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.34);
}

[data-md-color-scheme="slate"] .euler-tour-node.is-focus {
  stroke: rgba(191, 219, 254, 0.92);
}

[data-md-color-scheme="slate"] .euler-tour-node.is-updated {
  fill: rgba(180, 83, 9, 0.28);
  stroke: rgba(251, 191, 36, 0.42);
}

[data-md-color-scheme="slate"] .euler-tour-node-label,
[data-md-color-scheme="slate"] .euler-tour-node-value {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .two-pointers-window.is-valid {
  fill: rgba(37, 99, 235, 0.14);
  stroke: rgba(147, 197, 253, 0.38);
}

[data-md-color-scheme="slate"] .two-pointers-window.is-invalid {
  fill: rgba(180, 83, 9, 0.18);
  stroke: rgba(251, 191, 36, 0.42);
}

[data-md-color-scheme="slate"] .two-pointers-cell.is-outside {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.16);
}

[data-md-color-scheme="slate"] .two-pointers-cell.is-in-window {
  fill: rgba(37, 99, 235, 0.3);
  stroke: rgba(147, 197, 253, 0.34);
}

[data-md-color-scheme="slate"] .two-pointers-cell.is-in-invalid-window {
  fill: rgba(180, 83, 9, 0.28);
  stroke: rgba(251, 191, 36, 0.4);
}

[data-md-color-scheme="slate"] .two-pointers-cell.is-removed {
  fill: rgba(31, 41, 55, 0.92);
  stroke: rgba(148, 163, 184, 0.2);
}

[data-md-color-scheme="slate"] .two-pointers-cell-index,
[data-md-color-scheme="slate"] .two-pointers-cell-value {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .digit-dp-box.is-current-state {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.36);
}

[data-md-color-scheme="slate"] .digit-dp-box.is-valid-choice {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.16);
}

[data-md-color-scheme="slate"] .digit-dp-box.is-invalid-choice {
  fill: rgba(55, 65, 81, 0.72);
  stroke: rgba(248, 113, 113, 0.18);
}

[data-md-color-scheme="slate"] .digit-dp-box.is-terminal-state {
  fill: rgba(5, 150, 105, 0.22);
  stroke: rgba(52, 211, 153, 0.34);
}

[data-md-color-scheme="slate"] .digit-dp-box-title,
[data-md-color-scheme="slate"] .digit-dp-box-main,
[data-md-color-scheme="slate"] .digit-dp-box-sub {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .visual-stat.is-invalid-card {
  background: rgba(127, 29, 29, 0.22);
}

[data-md-color-scheme="slate"] .fft-stage-title,
[data-md-color-scheme="slate"] .fft-cell-index,
[data-md-color-scheme="slate"] .fft-cell-value {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .fft-stage-subtitle {
  fill: rgba(191, 219, 254, 0.86);
}

[data-md-color-scheme="slate"] .fft-pair-curve {
  stroke: rgba(147, 197, 253, 0.36);
}

[data-md-color-scheme="slate"] .fft-cell.is-reordered {
  fill: rgba(109, 40, 217, 0.24);
  stroke: rgba(196, 181, 253, 0.24);
}

[data-md-color-scheme="slate"] .fft-cell.is-stage-value {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.28);
}

[data-md-color-scheme="slate"] .gauss-stage-title,
[data-md-color-scheme="slate"] .gauss-col-label,
[data-md-color-scheme="slate"] .gauss-row-label,
[data-md-color-scheme="slate"] .gauss-cell-value {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .gauss-stage-subtitle {
  fill: rgba(191, 219, 254, 0.86);
}

[data-md-color-scheme="slate"] .gauss-column-band {
  fill: rgba(109, 40, 217, 0.2);
  stroke: rgba(196, 181, 253, 0.2);
}

[data-md-color-scheme="slate"] .gauss-divider {
  stroke: rgba(147, 197, 253, 0.24);
}

[data-md-color-scheme="slate"] .gauss-cell {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.16);
}

[data-md-color-scheme="slate"] .gauss-cell.is-rhs {
  fill: rgba(31, 41, 55, 0.84);
}

[data-md-color-scheme="slate"] .gauss-cell.is-active-row {
  fill: rgba(180, 83, 9, 0.26);
  stroke: rgba(251, 191, 36, 0.34);
}

[data-md-color-scheme="slate"] .gauss-cell.is-changed {
  fill: rgba(5, 150, 105, 0.2);
  stroke: rgba(52, 211, 153, 0.28);
}

[data-md-color-scheme="slate"] .gauss-cell.is-pivot {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.36);
}

[data-md-color-scheme="slate"] .broken-profile-title,
[data-md-color-scheme="slate"] .broken-profile-col-label,
[data-md-color-scheme="slate"] .broken-profile-row-label,
[data-md-color-scheme="slate"] .broken-profile-cell-value,
[data-md-color-scheme="slate"] .broken-profile-pointer-label {
  fill: rgba(236, 242, 255, 0.96);
}

[data-md-color-scheme="slate"] .broken-profile-subtitle,
[data-md-color-scheme="slate"] .broken-profile-cell-sub {
  fill: rgba(191, 219, 254, 0.86);
}

[data-md-color-scheme="slate"] .broken-profile-cell {
  fill: rgba(18, 27, 42, 0.92);
  stroke: rgba(147, 197, 253, 0.16);
}

[data-md-color-scheme="slate"] .broken-profile-cell.is-pre-filled {
  fill: rgba(109, 40, 217, 0.24);
  stroke: rgba(196, 181, 253, 0.24);
}

[data-md-color-scheme="slate"] .broken-profile-cell.is-next-filled {
  fill: rgba(37, 99, 235, 0.28);
  stroke: rgba(147, 197, 253, 0.3);
}

[data-md-color-scheme="slate"] .broken-profile-cell.is-resolved {
  stroke: rgba(52, 211, 153, 0.32);
}

[data-md-color-scheme="slate"] .broken-profile-cell.is-pointer {
  stroke: rgba(251, 191, 36, 0.42);
}

[data-md-color-scheme="slate"] .broken-profile-overlay.is-vertical {
  fill: rgba(180, 83, 9, 0.22);
  stroke: rgba(251, 191, 36, 0.36);
}

[data-md-color-scheme="slate"] .broken-profile-overlay.is-horizontal {
  fill: rgba(37, 99, 235, 0.18);
  stroke: rgba(147, 197, 253, 0.32);
}

[data-md-color-scheme="slate"] .broken-profile-pointer {
  stroke: rgba(251, 191, 36, 0.6);
}

[data-md-color-scheme="slate"] .visual-cell.is-highlight {
  background: rgba(29, 78, 216, 0.26);
}

[data-md-color-scheme="slate"] .visual-cell.is-secondary {
  background: rgba(194, 88, 24, 0.22);
}

[data-md-color-scheme="slate"] .visual-cell.is-current {
  background: rgba(109, 40, 217, 0.26);
}

[data-md-color-scheme="slate"] .visual-cell.is-processed {
  background: rgba(5, 150, 105, 0.22);
}

@media screen and (max-width: 76.1875em) {
  .visual-grid {
    grid-template-columns: 1fr;
  }

  .visual-surface {
    min-height: 21rem;
  }

  .graph-visual-surface {
    min-height: 24rem;
    height: 24rem;
  }

  .cp-support-link span {
    display: none;
  }

  .cp-support-link {
    padding: 0.45rem;
  }
}

@media screen and (max-width: 59.9375em) {
  .visual-strip--eight,
  .visual-strip--six,
  .visual-tree-row--8,
  .visual-tree-row--4,
  .visual-tree-row--2 {
    grid-template-columns: repeat(2, minmax(0, 1fr));
  }
}

[data-md-color-scheme="slate"] .route-badge--enrichment {
  color: #fed7aa;
  background: rgba(194, 65, 12, 0.24);
}

.md-typeset table:not([class]) {
  border-radius: 1rem;
  overflow: hidden;
  box-shadow: var(--site-shadow);
}

.md-typeset table:not([class]) th {
  background: rgba(22, 59, 115, 0.1);
  font-weight: 700;
}

[data-md-color-scheme="default"] .md-typeset mjx-container[display="true"] {
  background: rgba(22, 59, 115, 0.03);
}

[data-md-color-scheme="slate"] .md-typeset table:not([class]) th {
  background: rgba(120, 165, 242, 0.12);
}

[data-md-color-scheme="slate"] .md-typeset mjx-container[display="true"] {
  background: rgba(120, 165, 242, 0.06);
}

.md-typeset .admonition,
.md-typeset details {
  border-radius: 1rem;
  box-shadow: var(--site-shadow);
}

.md-typeset a {
  text-decoration-thickness: 0.08em;
}

.md-typeset .arithmatex {
  overflow-x: auto;
  overflow-y: hidden;
}

.md-typeset mjx-container {
  max-width: 100%;
  font-size: 1em;
}

.md-typeset mjx-container[display="true"] {
  overflow-x: auto;
  overflow-y: hidden;
  margin: 1.1rem 0;
  padding: 0.9rem 1rem;
  border: 1px solid var(--site-border);
  border-radius: 1rem;
  box-shadow: var(--site-shadow);
}

@media screen and (max-width: 44.9375em) {
  .home-hero {
    padding: 1.35rem;
  }

  .hero-actions {
    flex-direction: column;
  }

  .hero-actions .md-button {
    width: 100%;
    text-align: center;
  }
}

.problem-finder-shell {
  display: grid;
  gap: 1rem;
}

.problem-finder-toolbar {
  display: grid;
  gap: 0.9rem;
  padding: 1.15rem;
  border: 1px solid var(--site-border);
  border-radius: 1.25rem;
  background: linear-gradient(180deg, var(--site-surface-soft), var(--site-surface-strong));
  box-shadow: var(--site-shadow);
}

.problem-finder-toolbar h2,
.problem-finder-results h2 {
  margin: 0;
}

.problem-finder-grid {
  display: grid;
  gap: 0.85rem;
  grid-template-columns: repeat(auto-fit, minmax(12rem, 1fr));
}

.problem-finder-field {
  display: grid;
  gap: 0.35rem;
}

.problem-finder-field label {
  font-size: 0.8rem;
  font-weight: 700;
  color: var(--md-default-fg-color--light);
}

.problem-finder-field input,
.problem-finder-field select {
  width: 100%;
  padding: 0.72rem 0.8rem;
  border-radius: 0.9rem;
  border: 1px solid var(--site-border);
  background: var(--md-default-bg-color);
  color: var(--md-default-fg-color);
  font: inherit;
}

.problem-finder-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
  align-items: center;
  justify-content: space-between;
}

.problem-finder-stats {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
}

.finder-shortcuts,
.finder-links {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.finder-chip {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.45rem 0.8rem;
  border-radius: 999px;
  border: 1px solid var(--site-border);
  background: rgba(255, 255, 255, 0.56);
  font-size: 0.78rem;
  font-weight: 700;
}

[data-md-color-scheme="slate"] .finder-chip {
  background: rgba(255, 255, 255, 0.04);
}

.problem-finder-results {
  padding: 1.15rem;
  border: 1px solid var(--site-border);
  border-radius: 1.25rem;
  background: linear-gradient(180deg, var(--site-surface-soft), var(--site-surface-strong));
  box-shadow: var(--site-shadow);
}

.problem-finder-presets,
.problem-finder-route,
.problem-finder-queue-board,
.problem-finder-session {
  display: grid;
  gap: 0.8rem;
  padding: 1.15rem;
  border: 1px solid var(--site-border);
  border-radius: 1.25rem;
  background: linear-gradient(180deg, var(--site-surface-soft), var(--site-surface-strong));
  box-shadow: var(--site-shadow);
}

.finder-helper {
  margin: 0;
  color: var(--md-default-fg-color--light);
}

.finder-preset-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.6rem;
}

.finder-preset {
  display: inline-flex;
  align-items: center;
  justify-content: center;
  padding: 0.62rem 0.95rem;
  border-radius: 999px;
  border: 1px solid var(--site-border);
  background: rgba(255, 255, 255, 0.68);
  color: var(--md-default-fg-color);
  font: inherit;
  font-size: 0.82rem;
  font-weight: 700;
  cursor: pointer;
}

[data-md-color-scheme="slate"] .finder-preset {
  background: rgba(255, 255, 255, 0.06);
}

.finder-preset--ghost {
  background: transparent;
}

.finder-preset--active {
  border-color: var(--md-primary-fg-color);
  background: color-mix(in srgb, var(--md-primary-fg-color) 14%, white);
}

[data-md-color-scheme="slate"] .finder-preset--active {
  background: color-mix(in srgb, var(--md-primary-fg-color) 22%, transparent);
}

.finder-queue-grid,
.finder-session-grid {
  display: grid;
  gap: 0.8rem;
  grid-template-columns: repeat(auto-fit, minmax(14rem, 1fr));
}

.finder-queue-card,
.finder-session-card {
  display: grid;
  gap: 0.65rem;
  padding: 1rem;
  border: 1px solid var(--site-border);
  border-radius: 1rem;
  background: rgba(255, 255, 255, 0.56);
  box-shadow: var(--site-shadow);
}

[data-md-color-scheme="slate"] .finder-queue-card,
[data-md-color-scheme="slate"] .finder-session-card {
  background: rgba(255, 255, 255, 0.04);
}

.finder-queue-card {
  text-align: left;
  color: var(--md-default-fg-color);
  font: inherit;
  cursor: pointer;
}

.finder-queue-card--active {
  border-color: var(--md-primary-fg-color);
  background: color-mix(in srgb, var(--md-primary-fg-color) 12%, white);
}

[data-md-color-scheme="slate"] .finder-queue-card--active {
  background: color-mix(in srgb, var(--md-primary-fg-color) 20%, transparent);
}

.finder-queue-title,
.finder-session-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 0.75rem;
  font-weight: 800;
}

.finder-queue-count {
  font-size: 1.25rem;
  font-weight: 800;
}

.finder-queue-copy {
  color: var(--md-default-fg-color--light);
  font-size: 0.82rem;
  line-height: 1.55;
}

.finder-session-meta {
  display: flex;
  flex-wrap: wrap;
  gap: 0.45rem;
}

.problem-finder-table {
  width: 100%;
  border-collapse: collapse;
}

.problem-finder-table th,
.problem-finder-table td {
  padding: 0.8rem 0.75rem;
  border-bottom: 1px solid var(--site-border);
  vertical-align: top;
}

.problem-finder-table th {
  text-align: left;
  font-size: 0.82rem;
}

.problem-finder-table td code {
  white-space: nowrap;
}

.finder-shortcuts a {
  display: inline-flex;
  align-items: center;
  padding: 0.45rem 0.8rem;
  border-radius: 999px;
  border: 1px solid var(--site-border);
  background: rgba(255, 255, 255, 0.6);
  font-size: 0.8rem;
  font-weight: 700;
  text-decoration: none;
}

[data-md-color-scheme="slate"] .finder-shortcuts a {
  background: rgba(255, 255, 255, 0.05);
}

.finder-links a {
  font-size: 0.82rem;
}

.finder-empty {
  padding: 1rem 0.25rem 0.25rem;
  color: var(--md-default-fg-color--light);
}

@media screen and (max-width: 59.9375em) {
  .problem-finder-table,
  .problem-finder-table thead,
  .problem-finder-table tbody,
  .problem-finder-table tr,
  .problem-finder-table th,
  .problem-finder-table td {
    display: block;
  }

  .problem-finder-table thead {
    display: none;
  }

  .problem-finder-table tr {
    padding: 1rem;
    margin-bottom: 0.9rem;
    border: 1px solid var(--site-border);
    border-radius: 1rem;
    background: rgba(255, 255, 255, 0.5);
  }

  [data-md-color-scheme="slate"] .problem-finder-table tr {
    background: rgba(255, 255, 255, 0.03);
  }

  .problem-finder-table td {
    display: grid;
    grid-template-columns: minmax(6.25rem, 7rem) minmax(0, 1fr);
    gap: 0.65rem;
    padding: 0.38rem 0;
    border: 0;
  }

  .problem-finder-table td::before {
    content: attr(data-label);
    color: var(--md-default-fg-color--light);
    font-size: 0.72rem;
    font-weight: 700;
    letter-spacing: 0.04em;
    text-transform: uppercase;
  }

  .problem-finder-table td code {
    white-space: normal;
  }

  .problem-finder-table td > * {
    min-width: 0;
  }

  .finder-shortcuts {
    width: 100%;
  }

  .finder-links {
    justify-content: flex-start;
  }
}