.mvcc-stage {
  --mvcc-bg: #080c13;
  --mvcc-surface: rgba(16, 23, 34, 0.78);
  --mvcc-surface-solid: #101722;
  --mvcc-border: rgba(148, 163, 184, 0.16);
  --mvcc-copy: #a9b4c3;
  --mvcc-heading: #f6f8fb;
  --mvcc-muted: #718096;
  position: relative;
  isolation: isolate;
  overflow: hidden;
  border: 1px solid var(--mvcc-border);
  border-radius: 2.25rem;
  color: var(--mvcc-copy);
  background:
    radial-gradient(circle at 50% 0%, rgba(62, 94, 137, 0.15), transparent 34rem),
    linear-gradient(180deg, #0b111b 0%, var(--mvcc-bg) 42%, #090e16 100%);
  box-shadow: 0 34px 90px rgba(0, 0, 0, 0.3);
}

.mvcc-stage button {
  -webkit-tap-highlight-color: transparent;
}

.mvcc-stage button:focus-visible,
.mvcc-stage summary:focus-visible {
  outline: 2px solid #7dd3fc;
  outline-offset: 3px;
}

.mvcc-aurora {
  pointer-events: none;
  position: absolute;
  z-index: -1;
  border-radius: 999px;
  filter: blur(85px);
  opacity: 0.18;
}

.mvcc-aurora-one {
  top: 12rem;
  left: -8rem;
  width: 25rem;
  height: 25rem;
  background: #43bfa4;
}

.mvcc-aurora-two {
  top: 51rem;
  right: -10rem;
  width: 30rem;
  height: 30rem;
  background: #4f7dd9;
}

.mvcc-intro {
  padding: 4rem 2rem 3.5rem;
  text-align: center;
}

.mvcc-eyebrow,
.mvcc-chapter-number {
  color: #7dd3fc;
  font-size: 0.68rem;
  font-weight: 700;
  letter-spacing: 0.22em;
  text-transform: uppercase;
}

.mvcc-intro h2 {
  margin: 0.85rem auto 0;
  max-width: 44rem;
  color: var(--mvcc-heading);
  font-size: clamp(2rem, 6vw, 4.25rem);
  font-weight: 600;
  letter-spacing: -0.045em;
  line-height: 1.02;
}

.mvcc-intro > p:last-child {
  margin: 1.35rem auto 0;
  max-width: 37rem;
  font-size: 1rem;
  line-height: 1.75;
}

.mvcc-chapter {
  position: relative;
  padding: 4.5rem 2rem;
  border-top: 1px solid var(--mvcc-border);
}

.mvcc-chapter-copy {
  max-width: 35rem;
}

.mvcc-chapter-copy h3 {
  margin-top: 0.75rem;
  color: var(--mvcc-heading);
  font-size: clamp(1.7rem, 4vw, 2.7rem);
  font-weight: 600;
  letter-spacing: -0.035em;
  line-height: 1.12;
}

.mvcc-chapter-copy > p:last-child {
  margin-top: 1rem;
  font-size: 0.95rem;
  line-height: 1.75;
}

.mvcc-tuple-shell {
  position: relative;
  margin-top: 3rem;
  padding: 1rem;
  border: 1px solid rgba(148, 163, 184, 0.18);
  border-radius: 1.75rem;
  background: linear-gradient(145deg, rgba(22, 31, 45, 0.9), rgba(9, 14, 22, 0.94));
  box-shadow:
    inset 0 1px 0 rgba(255, 255, 255, 0.05),
    0 24px 60px rgba(0, 0, 0, 0.25);
}

.mvcc-tuple-topline,
.mvcc-tuple-label {
  display: flex;
  align-items: center;
  justify-content: space-between;
}

.mvcc-tuple-topline {
  padding: 0.1rem 0.35rem 0.85rem;
  color: var(--mvcc-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.68rem;
  text-transform: uppercase;
}

.mvcc-tuple-label {
  justify-content: flex-start;
  gap: 0.55rem;
  padding: 0.9rem 1rem;
  border: 1px solid var(--mvcc-border);
  border-radius: 1rem 1rem 0 0;
  color: #d5dce6;
  background: rgba(255, 255, 255, 0.025);
  font-size: 0.78rem;
  font-weight: 600;
}

.mvcc-status-dot {
  width: 0.45rem;
  height: 0.45rem;
  border-radius: 50%;
  background: #65d6b5;
  box-shadow: 0 0 14px rgba(101, 214, 181, 0.6);
}

.mvcc-field-row {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr)) 1.15fr;
  border: 1px solid var(--mvcc-border);
  border-top: 0;
  border-radius: 0 0 1rem 1rem;
  overflow: hidden;
}

.mvcc-field {
  position: relative;
  min-height: 7.8rem;
  padding: 1rem;
  border: 0;
  border-right: 1px solid var(--mvcc-border);
  color: var(--mvcc-copy);
  background: rgba(8, 13, 21, 0.68);
  text-align: left;
  cursor: pointer;
  transition:
    background 220ms ease,
    box-shadow 220ms ease;
}

.mvcc-field::after {
  content: "";
  position: absolute;
  right: 1rem;
  bottom: 0;
  left: 1rem;
  height: 2px;
  border-radius: 99px;
  background: var(--field-color);
  opacity: 0;
  transform: scaleX(0.35);
  transition:
    opacity 220ms ease,
    transform 220ms ease;
}

.mvcc-field[data-accent="mint"] {
  --field-color: #65d6b5;
}
.mvcc-field[data-accent="coral"] {
  --field-color: #ff8f81;
}
.mvcc-field[data-accent="blue"] {
  --field-color: #72a7ff;
}

.mvcc-field:hover,
.mvcc-field[data-selected="true"] {
  background: color-mix(in srgb, var(--field-color) 9%, rgba(8, 13, 21, 0.8));
  box-shadow: inset 0 1px 0 color-mix(in srgb, var(--field-color) 25%, transparent);
}

.mvcc-field[data-selected="true"]::after {
  opacity: 1;
  transform: scaleX(1);
}

.mvcc-field-plain,
.mvcc-field-name,
.mvcc-field-value {
  display: block;
}

.mvcc-field-plain {
  color: var(--mvcc-muted);
  font-size: 0.67rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.mvcc-field-name {
  margin-top: 0.45rem;
  color: var(--field-color);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.9rem;
}

.mvcc-field-value {
  margin-top: 0.7rem;
  color: var(--mvcc-heading);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 1.15rem;
  font-weight: 650;
}

.mvcc-payload {
  display: flex;
  min-height: 7.8rem;
  flex-direction: column;
  justify-content: center;
  padding: 1rem;
  background:
    linear-gradient(90deg, transparent 49%, rgba(148, 163, 184, 0.04) 50%),
    rgba(255, 255, 255, 0.018);
  background-size: 1rem 100%;
}

.mvcc-payload span {
  color: var(--mvcc-muted);
  font-size: 0.66rem;
  text-transform: uppercase;
}

.mvcc-payload strong {
  margin-top: 0.55rem;
  color: #cbd5e1;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.78rem;
  font-weight: 500;
}

.mvcc-attached-explanation {
  --field-color: #65d6b5;
  display: grid;
  grid-template-columns: 1px minmax(0, 1fr);
  gap: 1.25rem;
  max-width: 42rem;
  margin: 1.4rem 0.4rem 0.25rem;
  padding-left: 1rem;
}

.mvcc-attached-explanation[data-accent="coral"] {
  --field-color: #ff8f81;
}
.mvcc-attached-explanation[data-accent="blue"] {
  --field-color: #72a7ff;
}

.mvcc-callout-line {
  display: block;
  width: 1px;
  min-height: 7rem;
  background: linear-gradient(var(--field-color), transparent);
  box-shadow: 0 0 10px color-mix(in srgb, var(--field-color) 45%, transparent);
}

.mvcc-attached-explanation p {
  display: flex;
  align-items: baseline;
  gap: 0.65rem;
}

.mvcc-attached-explanation p strong {
  color: var(--field-color);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.78rem;
}

.mvcc-attached-explanation p span {
  color: var(--mvcc-muted);
  font-size: 0.72rem;
}

.mvcc-attached-explanation h4 {
  margin-top: 0.55rem;
  color: var(--mvcc-heading);
  font-size: 1.05rem;
  font-weight: 600;
}

.mvcc-attached-explanation div div {
  margin-top: 0.55rem;
  color: var(--mvcc-copy);
  font-size: 0.84rem;
  line-height: 1.7;
}

.mvcc-story-heading {
  display: flex;
  align-items: flex-end;
  justify-content: space-between;
  gap: 2rem;
}

.mvcc-play {
  display: inline-flex;
  min-height: 3rem;
  flex: none;
  align-items: center;
  gap: 0.7rem;
  padding: 0.45rem 1rem 0.45rem 0.5rem;
  border: 1px solid rgba(125, 211, 252, 0.3);
  border-radius: 999px;
  color: #e7f7ff;
  background: rgba(56, 189, 248, 0.09);
  font-size: 0.8rem;
  font-weight: 650;
  cursor: pointer;
  transition:
    border-color 180ms ease,
    background 180ms ease,
    transform 180ms ease;
}

.mvcc-play:hover {
  border-color: rgba(125, 211, 252, 0.6);
  background: rgba(56, 189, 248, 0.15);
  transform: translateY(-1px);
}

.mvcc-play-icon {
  display: grid;
  width: 2rem;
  height: 2rem;
  place-items: center;
  border-radius: 50%;
  color: #071018;
  background: #7dd3fc;
  font-size: 0.7rem;
}

.mvcc-story-panel {
  margin-top: 3rem;
  overflow: hidden;
  border: 1px solid var(--mvcc-border);
  border-radius: 1.75rem;
  background: rgba(8, 13, 21, 0.64);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.035);
}

.mvcc-beat-copy {
  min-height: 9.5rem;
  padding: 1.7rem;
  border-bottom: 1px solid var(--mvcc-border);
}

.mvcc-beat-copy > p {
  color: #7dd3fc;
  font-size: 0.68rem;
  font-weight: 700;
  letter-spacing: 0.18em;
  text-transform: uppercase;
}

.mvcc-beat-copy h4 {
  margin-top: 0.5rem;
  color: var(--mvcc-heading);
  font-size: 1.35rem;
  font-weight: 600;
  letter-spacing: -0.02em;
}

.mvcc-beat-copy div {
  margin-top: 0.55rem;
  max-width: 42rem;
  font-size: 0.86rem;
  line-height: 1.7;
}

.mvcc-heap-scene {
  display: grid;
  min-height: 22rem;
  grid-template-columns: minmax(0, 1fr) 6.5rem minmax(0, 1fr);
  align-items: center;
  padding: 2.5rem 1.7rem;
  background:
    radial-gradient(circle at 75% 50%, rgba(80, 115, 176, 0.1), transparent 18rem),
    linear-gradient(rgba(255, 255, 255, 0.018) 1px, transparent 1px);
  background-size:
    auto,
    100% 3rem;
}

.mvcc-version-tuple {
  position: relative;
  min-width: 0;
  border: 1px solid rgba(148, 163, 184, 0.2);
  border-radius: 1.25rem;
  color: var(--mvcc-copy);
  background: linear-gradient(145deg, rgba(23, 32, 46, 0.96), rgba(12, 18, 28, 0.96));
  box-shadow: 0 18px 45px rgba(0, 0, 0, 0.24);
  transition:
    opacity 400ms ease,
    transform 500ms cubic-bezier(0.22, 1, 0.36, 1),
    border-color 300ms ease,
    filter 300ms ease;
}

.mvcc-version-tuple[data-kind="new"] {
  border-color: rgba(101, 214, 181, 0.28);
}

.mvcc-version-tuple header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  padding: 1rem;
  border-bottom: 1px solid var(--mvcc-border);
}

.mvcc-version-tuple header span,
.mvcc-version-tuple header strong {
  display: block;
}

.mvcc-version-tuple header span {
  color: var(--mvcc-muted);
  font-size: 0.65rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.mvcc-version-tuple header strong {
  margin-top: 0.25rem;
  color: var(--mvcc-heading);
  font-size: 0.83rem;
}

.mvcc-version-tuple header i {
  width: 0.5rem;
  height: 0.5rem;
  border-radius: 50%;
  background: #65d6b5;
  box-shadow: 0 0 14px rgba(101, 214, 181, 0.5);
}

.mvcc-version-tuple[data-kind="old"] header i {
  background: #ff8f81;
  box-shadow: 0 0 14px rgba(255, 143, 129, 0.5);
}

.mvcc-version-tuple dl {
  padding: 0.65rem 1rem;
}

.mvcc-version-tuple dl div {
  display: flex;
  min-height: 2.6rem;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  border-bottom: 1px solid rgba(148, 163, 184, 0.08);
}

.mvcc-version-tuple dl div:last-child {
  border-bottom: 0;
}

.mvcc-version-tuple dt {
  color: #cbd5e1;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.72rem;
}

.mvcc-version-tuple dt span {
  margin-left: 0.35rem;
  color: var(--mvcc-muted);
  font-family: ui-sans-serif, system-ui, sans-serif;
  font-size: 0.62rem;
}

.mvcc-version-tuple dd {
  overflow-wrap: anywhere;
  color: var(--mvcc-heading);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.75rem;
  text-align: right;
}

.mvcc-version-payload {
  margin: 0 0.7rem 0.7rem;
  padding: 0.7rem;
  border: 1px solid rgba(148, 163, 184, 0.1);
  border-radius: 0.75rem;
  color: #aab5c4;
  background: rgba(255, 255, 255, 0.025);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.68rem;
}

.mvcc-version-link {
  position: relative;
  display: flex;
  align-items: center;
  opacity: 0;
  transition: opacity 350ms ease 120ms;
}

.mvcc-version-link[data-visible="true"] {
  opacity: 1;
}

.mvcc-version-link span {
  position: absolute;
  right: 0;
  bottom: 0.65rem;
  left: 0;
  color: #72a7ff;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.65rem;
  text-align: center;
}

.mvcc-version-link i {
  position: relative;
  display: block;
  width: 100%;
  height: 1px;
  background: linear-gradient(90deg, #72a7ff, #65d6b5);
  box-shadow: 0 0 10px rgba(114, 167, 255, 0.5);
  transform-origin: left;
  animation: mvcc-link-draw 600ms cubic-bezier(0.22, 1, 0.36, 1) both;
}

.mvcc-version-link i::after {
  content: "";
  position: absolute;
  top: -4px;
  right: -1px;
  width: 9px;
  height: 9px;
  border-top: 1px solid #65d6b5;
  border-right: 1px solid #65d6b5;
  transform: rotate(45deg);
}

@keyframes mvcc-link-draw {
  from {
    opacity: 0;
    transform: scaleX(0);
  }
  to {
    opacity: 1;
    transform: scaleX(1);
  }
}

.mvcc-new-slot {
  transition:
    opacity 450ms ease,
    transform 550ms cubic-bezier(0.22, 1, 0.36, 1);
}

.mvcc-new-slot[data-visible="false"] {
  opacity: 1;
  filter: saturate(0.35);
  transform: scale(0.96);
}

.mvcc-new-slot[data-visible="true"] {
  opacity: 1;
  transform: scale(1);
}

.mvcc-empty-slot {
  display: grid;
  min-height: 17rem;
  place-content: center;
  border: 1px dashed rgba(148, 163, 184, 0.18);
  border-radius: 1.25rem;
  text-align: center;
}

.mvcc-empty-slot span {
  color: var(--mvcc-muted);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.7rem;
}

.mvcc-empty-slot p {
  margin-top: 0.35rem;
  color: #6f7c8f;
  font-size: 0.72rem;
}

.mvcc-heap-scene[data-step="1"] .mvcc-version-tuple[data-kind="old"] {
  border-color: rgba(255, 143, 129, 0.48);
  box-shadow: 0 18px 50px rgba(255, 143, 129, 0.08);
}

.mvcc-step-controls {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  border-top: 1px solid var(--mvcc-border);
}

.mvcc-step-controls button {
  display: flex;
  min-height: 4rem;
  align-items: center;
  justify-content: center;
  gap: 0.55rem;
  border: 0;
  border-right: 1px solid var(--mvcc-border);
  color: var(--mvcc-muted);
  background: rgba(255, 255, 255, 0.015);
  cursor: pointer;
  transition:
    color 180ms ease,
    background 180ms ease;
}

.mvcc-step-controls button:last-child {
  border-right: 0;
}

.mvcc-step-controls button:hover,
.mvcc-step-controls button[data-selected="true"] {
  color: var(--mvcc-heading);
  background: rgba(125, 211, 252, 0.07);
}

.mvcc-step-controls button span:first-child {
  display: grid;
  width: 1.45rem;
  height: 1.45rem;
  place-items: center;
  border: 1px solid rgba(148, 163, 184, 0.25);
  border-radius: 50%;
  font-size: 0.65rem;
}

.mvcc-step-controls button[data-selected="true"] span:first-child {
  border-color: #7dd3fc;
  color: #071018;
  background: #7dd3fc;
}

.mvcc-step-controls button span:last-child {
  font-size: 0.72rem;
  font-weight: 600;
}

.mvcc-atomic-note {
  max-width: 43rem;
  margin: 1.5rem auto 0;
  color: var(--mvcc-copy);
  font-size: 0.8rem;
  line-height: 1.7;
  text-align: center;
}

.mvcc-atomic-note strong {
  color: #65d6b5;
}

.mvcc-snapshot-switch {
  display: grid;
  max-width: 39rem;
  grid-template-columns: 1fr 1fr;
  gap: 0.45rem;
  margin-top: 2.5rem;
  padding: 0.4rem;
  border: 1px solid var(--mvcc-border);
  border-radius: 1.15rem;
  background: rgba(8, 13, 21, 0.75);
}

.mvcc-snapshot-switch button {
  min-height: 4.3rem;
  padding: 0.75rem 1rem;
  border: 1px solid transparent;
  border-radius: 0.8rem;
  color: var(--mvcc-muted);
  background: transparent;
  font-size: 0.7rem;
  text-align: left;
  cursor: pointer;
}

.mvcc-snapshot-switch button span {
  display: block;
  margin-bottom: 0.25rem;
  color: #cbd5e1;
  font-size: 0.8rem;
  font-weight: 650;
}

.mvcc-snapshot-switch button[data-selected="true"] {
  border-color: rgba(125, 211, 252, 0.22);
  color: #b8c3d1;
  background: rgba(125, 211, 252, 0.09);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.04);
}

.mvcc-snapshot-switch button[data-selected="true"] span {
  color: #e8f7ff;
}

.mvcc-visibility-scene {
  display: grid;
  grid-template-columns: 10rem 4rem minmax(0, 1fr);
  align-items: center;
  margin-top: 2rem;
  padding: 2rem;
  border: 1px solid var(--mvcc-border);
  border-radius: 1.75rem;
  background:
    radial-gradient(circle at 12% 50%, rgba(125, 211, 252, 0.12), transparent 15rem),
    rgba(8, 13, 21, 0.66);
}

.mvcc-judge {
  display: flex;
  align-items: center;
  gap: 0.85rem;
}

.mvcc-judge > span {
  display: grid;
  width: 3rem;
  height: 3rem;
  flex: none;
  place-items: center;
  border: 1px solid rgba(125, 211, 252, 0.36);
  border-radius: 50%;
  color: #bdeaff;
  background: rgba(56, 189, 248, 0.1);
  box-shadow: 0 0 25px rgba(56, 189, 248, 0.12);
  font-size: 0.8rem;
  font-weight: 700;
}

.mvcc-judge strong {
  display: block;
  color: var(--mvcc-heading);
  font-size: 0.8rem;
}

.mvcc-judge p {
  margin-top: 0.25rem;
  color: var(--mvcc-muted);
  font-size: 0.65rem;
  line-height: 1.45;
}

.mvcc-judge-line {
  height: 1px;
  background: linear-gradient(90deg, rgba(125, 211, 252, 0.6), rgba(125, 211, 252, 0.08));
}

.mvcc-visibility-tuples {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem;
}

.mvcc-visibility-tuples .mvcc-version-tuple[data-visible="false"] {
  opacity: 1;
  filter: saturate(0.35);
  transform: scale(0.975);
}

.mvcc-visibility-tuples .mvcc-version-tuple[data-visible="true"] {
  border-color: rgba(125, 211, 252, 0.52);
  box-shadow: 0 20px 55px rgba(56, 189, 248, 0.11);
  transform: translateY(-3px);
}

.mvcc-verdict {
  position: absolute;
  top: -0.7rem;
  left: 1rem;
  z-index: 2;
  padding: 0.3rem 0.65rem;
  border: 1px solid var(--mvcc-border);
  border-radius: 999px;
  color: #8996a8;
  background: #101722;
  font-size: 0.58rem;
  font-weight: 700;
  letter-spacing: 0.06em;
  text-transform: uppercase;
}

.mvcc-version-tuple[data-visible="true"] .mvcc-verdict {
  border-color: rgba(125, 211, 252, 0.35);
  color: #bdeaff;
}

.mvcc-visibility-rule {
  display: flex;
  max-width: 47rem;
  align-items: center;
  gap: 1.25rem;
  margin: 1.5rem auto 0;
  padding: 1rem 1.15rem;
  border: 1px solid rgba(125, 211, 252, 0.18);
  border-radius: 1rem;
  background: rgba(56, 189, 248, 0.05);
}

.mvcc-visibility-rule > span {
  flex: none;
  color: #7dd3fc;
  font-size: 0.64rem;
  font-weight: 700;
  letter-spacing: 0.1em;
  text-transform: uppercase;
}

.mvcc-visibility-rule p {
  display: flex;
  flex-wrap: wrap;
  align-items: baseline;
  gap: 0.35rem;
  color: var(--mvcc-copy);
  font-size: 0.76rem;
  line-height: 1.6;
}

.mvcc-visibility-rule strong {
  color: var(--mvcc-heading);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-weight: 600;
}

.mvcc-visibility-rule i {
  color: var(--mvcc-muted);
  font-size: 0.66rem;
  font-style: normal;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.mvcc-visibility-rule em {
  color: var(--mvcc-muted);
  font-size: 0.68rem;
  font-style: normal;
}

.mvcc-visibility-rule b {
  color: #65d6b5;
  font-weight: 700;
}

.mvcc-memory-line {
  margin: 2rem auto 0;
  max-width: 47rem;
  color: #c6cfdb;
  font-size: 0.95rem;
  line-height: 1.75;
  text-align: center;
}

.mvcc-memory-line strong {
  color: var(--mvcc-heading);
}

.mvcc-proof-disclosure {
  margin-top: 2.5rem;
  overflow: hidden;
  border: 1px solid var(--mvcc-border);
  border-radius: 1.5rem;
  background: rgba(8, 13, 21, 0.64);
  box-shadow: inset 0 1px 0 rgba(255, 255, 255, 0.035);
}

.mvcc-proof-disclosure summary {
  display: flex;
  min-height: 5.5rem;
  align-items: center;
  justify-content: space-between;
  padding: 1.25rem 1.5rem;
  color: var(--mvcc-heading);
  list-style: none;
  cursor: pointer;
}

.mvcc-proof-disclosure summary::-webkit-details-marker {
  display: none;
}

.mvcc-proof-disclosure summary span:first-child {
  font-size: 0.9rem;
  font-weight: 600;
}

.mvcc-proof-disclosure summary small {
  display: block;
  margin-bottom: 0.22rem;
  color: #65d6b5;
  font-size: 0.6rem;
  font-weight: 700;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.mvcc-proof-disclosure[open] .mvcc-disclosure-icon {
  transform: rotate(45deg);
}

.mvcc-proof-grid {
  display: grid;
  grid-template-columns: 1.08fr 0.92fr;
  gap: 1px;
  border-top: 1px solid var(--mvcc-border);
  border-bottom: 1px solid var(--mvcc-border);
  background: var(--mvcc-border);
}

.mvcc-proof-pane {
  min-width: 0;
  padding: 1.25rem;
  background: rgba(10, 16, 25, 0.96);
}

.mvcc-proof-pane-heading {
  display: flex;
  min-height: 2.75rem;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
  color: #cbd5e1;
  font-size: 0.7rem;
  font-weight: 700;
  letter-spacing: 0.08em;
  text-transform: uppercase;
}

.mvcc-proof-pane-heading small {
  margin-left: 0.4rem;
  color: var(--mvcc-muted);
  font-size: 0.58rem;
  font-weight: 500;
  letter-spacing: 0;
  text-transform: none;
}

.mvcc-proof-copy {
  min-height: 2.75rem;
  flex: none;
}

.mvcc-proof-pane pre {
  margin: 0.8rem 0 0;
  padding: 1rem;
  border: 1px solid rgba(148, 163, 184, 0.1);
  border-radius: 0.85rem;
  color: #bdeaff;
  background: #070b11;
  font-size: 0.76rem;
  line-height: 1.7;
}

.mvcc-proof-pane pre code {
  padding: 0;
  color: inherit;
  background: transparent;
  font-size: inherit;
}

.mvcc-proof-output pre {
  color: #c9d4c8;
}

.mvcc-proof-payoff {
  padding: 1.25rem 1.5rem 1.4rem;
  color: var(--mvcc-copy);
  font-size: 0.78rem;
  line-height: 1.7;
}

.mvcc-proof-payoff strong {
  color: #65d6b5;
}

.mvcc-under-hood {
  border-top: 1px solid var(--mvcc-border);
  background: rgba(4, 8, 14, 0.35);
}

.mvcc-under-hood summary {
  display: flex;
  min-height: 5.5rem;
  align-items: center;
  justify-content: space-between;
  padding: 1.25rem 2rem;
  color: var(--mvcc-heading);
  list-style: none;
  cursor: pointer;
}

.mvcc-under-hood summary::-webkit-details-marker {
  display: none;
}

.mvcc-under-hood summary span:first-child {
  font-size: 0.9rem;
  font-weight: 600;
}

.mvcc-under-hood summary small {
  display: block;
  margin-bottom: 0.22rem;
  color: var(--mvcc-muted);
  font-size: 0.6rem;
  font-weight: 700;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.mvcc-disclosure-icon {
  display: grid;
  width: 2rem;
  height: 2rem;
  place-items: center;
  border: 1px solid var(--mvcc-border);
  border-radius: 50%;
  color: #9da9b8;
  transition: transform 200ms ease;
}

.mvcc-under-hood[open] .mvcc-disclosure-icon {
  transform: rotate(45deg);
}

.mvcc-call-path {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 1px;
  margin: 0 2rem;
  overflow: hidden;
  border: 1px solid var(--mvcc-border);
  border-radius: 1.25rem;
  background: var(--mvcc-border);
}

.mvcc-call-node {
  display: flex;
  min-width: 0;
  gap: 0.75rem;
  padding: 1.2rem;
  background: var(--mvcc-surface-solid);
}

.mvcc-call-index {
  color: #65809e;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.62rem;
}

.mvcc-call-node strong,
.mvcc-call-node code {
  display: block;
}

.mvcc-call-node strong {
  overflow-wrap: anywhere;
  color: var(--mvcc-heading);
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.75rem;
}

.mvcc-call-node code,
.mvcc-source-note code {
  margin-top: 0.25rem;
  padding: 0;
  color: #7dd3fc;
  background: transparent;
  font-size: 0.65rem;
}

.mvcc-call-node p {
  margin-top: 0.65rem;
  color: var(--mvcc-muted);
  font-size: 0.72rem;
  line-height: 1.6;
}

.mvcc-source-guardrails {
  margin: 1.25rem 2rem 0;
  padding: 1.25rem;
  border: 1px solid var(--mvcc-border);
  border-radius: 1rem;
  background: rgba(255, 255, 255, 0.018);
}

.mvcc-source-guardrails > p {
  color: #7dd3fc;
  font-size: 0.62rem;
  font-weight: 700;
  letter-spacing: 0.16em;
  text-transform: uppercase;
}

.mvcc-source-guardrails ul {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1rem 1.5rem;
  margin-top: 1rem;
}

.mvcc-source-guardrails li {
  color: var(--mvcc-muted);
  font-size: 0.78rem;
  line-height: 1.65;
}

.mvcc-source-guardrails li strong {
  color: var(--mvcc-heading);
  font-weight: 600;
}

.mvcc-source-symbol {
  display: inline;
  color: #7dd3fc;
  font-family: ui-monospace, SFMono-Regular, Menlo, monospace;
  font-size: 0.72rem;
  overflow-wrap: anywhere;
}

.mvcc-source-symbol:hover {
  color: #bae6fd;
  text-decoration: underline;
  text-underline-offset: 0.2rem;
}

.mvcc-source-note {
  padding: 1.25rem 2rem 2rem;
  color: var(--mvcc-muted);
  font-size: 0.75rem;
  line-height: 1.7;
}

[data-theme="light"] .mvcc-stage {
  --mvcc-bg: #f4f7fb;
  --mvcc-surface: rgba(255, 255, 255, 0.85);
  --mvcc-surface-solid: #ffffff;
  --mvcc-border: rgba(31, 41, 55, 0.14);
  --mvcc-copy: #445064;
  --mvcc-heading: #111827;
  --mvcc-muted: #59636e;
  background:
    radial-gradient(circle at 50% 0%, rgba(62, 123, 181, 0.12), transparent 34rem),
    linear-gradient(180deg, #f8fafc, #eef3f8);
  box-shadow: 0 28px 75px rgba(23, 42, 65, 0.12);
}

[data-theme="light"] .mvcc-tuple-shell,
[data-theme="light"] .mvcc-version-tuple {
  background: linear-gradient(145deg, rgba(255, 255, 255, 0.98), rgba(243, 247, 251, 0.98));
  box-shadow: 0 18px 45px rgba(31, 54, 78, 0.1);
}

[data-theme="light"] .mvcc-field {
  background: rgba(255, 255, 255, 0.72);
}

[data-theme="light"] .mvcc-field[data-accent="mint"],
[data-theme="light"] .mvcc-attached-explanation[data-accent="mint"] {
  --field-color: #047857;
}

[data-theme="light"] .mvcc-field[data-accent="coral"],
[data-theme="light"] .mvcc-attached-explanation[data-accent="coral"] {
  --field-color: #be123c;
}

[data-theme="light"] .mvcc-field[data-accent="blue"],
[data-theme="light"] .mvcc-attached-explanation[data-accent="blue"] {
  --field-color: #1d4ed8;
}

[data-theme="light"] .mvcc-field:hover,
[data-theme="light"] .mvcc-field[data-selected="true"] {
  background: color-mix(in srgb, var(--field-color) 10%, white);
}

[data-theme="light"] .mvcc-eyebrow,
[data-theme="light"] .mvcc-chapter-number,
[data-theme="light"] .mvcc-beat-copy > p,
[data-theme="light"] .mvcc-visibility-rule > span,
[data-theme="light"] .mvcc-source-guardrails > p {
  color: #0369a1;
}

[data-theme="light"] .mvcc-tuple-label,
[data-theme="light"] .mvcc-memory-line,
[data-theme="light"] .mvcc-proof-pane-heading {
  color: #334155;
}

[data-theme="light"] .mvcc-empty-slot p {
  color: #59636e;
}

[data-theme="light"] .mvcc-payload strong,
[data-theme="light"] .mvcc-version-tuple dt {
  color: #334155;
}

[data-theme="light"] .mvcc-play {
  color: #075985;
  border-color: rgba(3, 105, 161, 0.34);
  background: rgba(224, 242, 254, 0.72);
}

[data-theme="light"] .mvcc-play:hover {
  border-color: rgba(3, 105, 161, 0.56);
  background: #e0f2fe;
}

[data-theme="light"] .mvcc-stage button:focus-visible,
[data-theme="light"] .mvcc-stage summary:focus-visible,
[data-theme="light"] .mvcc-source-symbol:focus-visible {
  outline-color: #0369a1;
}

[data-theme="light"] .mvcc-story-panel,
[data-theme="light"] .mvcc-snapshot-switch,
[data-theme="light"] .mvcc-visibility-scene,
[data-theme="light"] .mvcc-proof-disclosure,
[data-theme="light"] .mvcc-under-hood {
  background-color: rgba(255, 255, 255, 0.64);
}

[data-theme="light"] .mvcc-call-path {
  background: rgba(255, 255, 255, 0.72);
  box-shadow: inset 0 0 0 1px rgba(31, 41, 55, 0.08);
}

[data-theme="light"] .mvcc-proof-pane {
  background: rgba(255, 255, 255, 0.94);
}

[data-theme="light"] .mvcc-proof-pane pre {
  color: #075985;
  background: #f8fafc;
}

[data-theme="light"] .mvcc-proof-output pre {
  color: #31513b;
}

[data-theme="light"] .mvcc-snapshot-switch button span {
  color: #334155;
}

[data-theme="light"] .mvcc-snapshot-switch button[data-selected="true"] span {
  color: #0c4a6e;
}

[data-theme="light"] .mvcc-snapshot-switch button[data-selected="true"] {
  border-color: rgba(3, 105, 161, 0.35);
  background: rgba(224, 242, 254, 0.72);
}

[data-theme="light"] .mvcc-version-link span {
  color: #1d4ed8;
}

[data-theme="light"] .mvcc-version-payload,
[data-theme="light"] .mvcc-snapshot-switch button,
[data-theme="light"] .mvcc-verdict,
[data-theme="light"] .mvcc-disclosure-icon {
  color: #475569;
}

[data-theme="light"] .mvcc-judge > span,
[data-theme="light"] .mvcc-version-tuple[data-visible="true"] .mvcc-verdict {
  color: #0369a1;
}

[data-theme="light"] .mvcc-version-tuple[data-visible="true"] {
  border-color: rgba(3, 105, 161, 0.44);
  box-shadow: 0 18px 45px rgba(3, 105, 161, 0.14);
}

[data-theme="light"] .mvcc-proof-disclosure summary small,
[data-theme="light"] .mvcc-atomic-note strong,
[data-theme="light"] .mvcc-visibility-rule b,
[data-theme="light"] .mvcc-proof-payoff strong {
  color: #047857;
}

[data-theme="light"] .mvcc-call-index {
  color: #475569;
}

[data-theme="light"] .mvcc-source-symbol {
  color: #0369a1;
}

[data-theme="light"] .mvcc-source-symbol:hover {
  color: #075985;
}

[data-theme="light"] .mvcc-verdict {
  background: #fff;
}

@media (max-width: 720px) {
  .mvcc-stage {
    border-radius: 1.5rem;
  }

  .mvcc-intro {
    padding: 3.25rem 1.25rem 2.75rem;
  }

  .mvcc-chapter {
    padding: 3.5rem 1rem;
  }

  .mvcc-field-row {
    grid-template-columns: 1fr;
  }

  .mvcc-field {
    display: grid;
    min-height: 4.75rem;
    grid-template-columns: 1fr auto;
    align-items: center;
    border-right: 0;
    border-bottom: 1px solid var(--mvcc-border);
  }

  .mvcc-field-plain,
  .mvcc-field-name {
    grid-column: 1;
  }

  .mvcc-field-value {
    grid-column: 2;
    grid-row: 1 / 3;
    margin-top: 0;
  }

  .mvcc-payload {
    min-height: 4.5rem;
  }

  .mvcc-story-heading {
    align-items: flex-start;
    flex-direction: column;
  }

  .mvcc-heap-scene {
    grid-template-columns: 1fr;
    gap: 1rem;
    padding: 1.25rem;
  }

  .mvcc-version-link {
    width: 1px;
    height: 3rem;
    justify-self: center;
  }

  .mvcc-version-link span {
    right: auto;
    bottom: auto;
    left: 0.65rem;
  }

  .mvcc-version-link i {
    width: 1px;
    height: 100%;
    background: linear-gradient(#72a7ff, #65d6b5);
    transform-origin: top;
  }

  .mvcc-version-link i::after {
    top: auto;
    right: -4px;
    bottom: -1px;
    transform: rotate(135deg);
  }

  @keyframes mvcc-link-draw {
    from {
      opacity: 0;
      transform: scaleY(0);
    }
    to {
      opacity: 1;
      transform: scaleY(1);
    }
  }

  .mvcc-step-controls button {
    min-height: 3.75rem;
    flex-direction: column;
    gap: 0.3rem;
  }

  .mvcc-step-controls button span:last-child {
    font-size: 0.62rem;
  }

  .mvcc-snapshot-switch {
    grid-template-columns: 1fr;
  }

  .mvcc-visibility-scene {
    grid-template-columns: 1fr;
    gap: 1.5rem;
    padding: 1.25rem;
  }

  .mvcc-judge-line {
    display: none;
  }

  .mvcc-visibility-tuples {
    grid-template-columns: 1fr;
    gap: 1.5rem;
  }

  .mvcc-visibility-rule {
    align-items: flex-start;
    flex-direction: column;
    gap: 0.6rem;
  }

  .mvcc-proof-grid {
    grid-template-columns: 1fr;
  }

  .mvcc-proof-pane pre {
    font-size: 0.75rem;
  }

  .mvcc-call-path {
    grid-template-columns: 1fr;
    margin: 0 1rem;
  }

  .mvcc-source-guardrails {
    margin-inline: 1rem;
  }

  .mvcc-source-guardrails ul {
    grid-template-columns: 1fr;
  }

  .mvcc-source-symbol {
    display: inline-flex;
    min-height: 2.75rem;
    align-items: center;
  }

  .mvcc-under-hood summary {
    padding-inline: 1.25rem;
  }

  .mvcc-source-note {
    padding-inline: 1.25rem;
  }
}

@media (prefers-reduced-motion: reduce) {
  .mvcc-stage *,
  .mvcc-stage *::before,
  .mvcc-stage *::after {
    scroll-behavior: auto !important;
    animation-duration: 0.01ms !important;
    animation-iteration-count: 1 !important;
    transition-duration: 0.01ms !important;
  }
}