.vm-main {
  max-width: 72rem;
}

.vm-header {
  margin-bottom: 2rem;
  padding-top: 1rem;
}

.vm-header .site-tagline {
  max-width: 44rem;
  margin-inline: auto;
}

.concept-strip,
.tables-grid {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.8rem;
  margin-bottom: 1rem;
}

.tables-grid {
  grid-template-columns: minmax(0, 1fr) minmax(0, 1.2fr);
}

.concept-card,
.control-panel,
.address-panel,
.translate-panel,
.status-panel,
.table-panel,
.frame-panel,
.log-panel,
.notes-panel {
  border: 1px solid var(--wa-gray-light);
  border-radius: 8px;
  background: var(--wa-white);
}

.concept-card {
  display: grid;
  gap: 0.45rem;
  min-height: 10rem;
  padding: 1rem;
}

.concept-card-head,
.panel-title-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.6rem;
}

.concept-token,
.inline-token {
  display: inline-grid;
  place-items: center;
  border-radius: 6px;
  font-weight: 700;
  letter-spacing: 0;
}

.concept-token {
  min-width: 2.75rem;
  height: 2.25rem;
  padding: 0 0.55rem;
  color: var(--wa-white);
  font-size: 0.82rem;
}

.inline-token {
  min-width: 1.55rem;
  min-height: 1.55rem;
  padding: 0 0.35rem;
  background: var(--wa-orange-pale);
  color: var(--wa-orange-dark);
}

.concept-card h2 {
  margin: 0;
  font-size: 1rem;
  letter-spacing: 0;
}

.concept-card p,
.notes-panel p {
  margin: 0;
  color: var(--wa-ink-light);
  font-size: 0.9rem;
}

.token-vpn {
  background: #2b7a9e;
}

.token-tlb {
  background: #4a7c59;
}

.token-frame {
  background: #cc7a00;
}

.control-panel {
  display: grid;
  grid-template-columns: minmax(0, 1fr) auto;
  gap: 0.85rem;
  align-items: center;
  margin-bottom: 1rem;
  padding: 1rem;
}

.sequence-group,
.step-controls {
  display: flex;
  flex-wrap: wrap;
  gap: 0.5rem;
}

.sequence-group {
  justify-content: flex-start;
  justify-self: start;
}

.step-controls {
  justify-content: flex-end;
  justify-self: end;
}

.mode-button {
  min-height: 2.4rem;
  padding: 0.45rem 0.9rem;
  border: 1px solid var(--wa-gray-light);
  border-radius: 6px;
  background: var(--wa-white);
  color: var(--wa-ink);
  font: inherit;
  font-size: 0.9rem;
  font-weight: 700;
  cursor: pointer;
}

.mode-button.is-active {
  border-color: var(--wa-orange);
  background: var(--wa-orange-pale);
  color: var(--wa-orange-dark);
}

.address-panel,
.translate-panel,
.status-panel,
.table-panel,
.frame-panel,
.log-panel,
.notes-panel {
  padding: 1rem;
}

.address-panel,
.frame-panel,
.log-panel,
.notes-panel {
  margin-bottom: 1rem;
}

.address-track {
  display: flex;
  gap: 0.55rem;
  overflow-x: auto;
  padding: 0.1rem 0 0.25rem;
}

.address-chip {
  display: grid;
  min-width: 3.2rem;
  min-height: 3rem;
  place-items: center;
  border: 1px solid var(--wa-gray-light);
  border-radius: 6px;
  background: var(--wa-bg);
  color: var(--wa-ink-light);
  font-weight: 700;
}

.address-chip.is-done {
  background: var(--wa-white);
  color: var(--wa-ink);
}

.address-chip.is-current {
  border-color: var(--wa-orange);
  background: var(--wa-orange-pale);
  color: var(--wa-orange-dark);
  outline: 3px solid var(--wa-orange-light);
  outline-offset: 2px;
}

.vm-layout {
  display: grid;
  grid-template-columns: minmax(0, 1fr) 18rem;
  gap: 1rem;
  align-items: start;
  margin-bottom: 1rem;
}

.current-address,
.result-readout {
  display: grid;
  gap: 0.1rem;
  margin-bottom: 1rem;
}

.current-address span,
.result-readout span {
  color: var(--wa-gray);
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
}

.current-address strong,
.result-readout strong {
  color: var(--wa-orange-dark);
  font-size: 2.6rem;
  line-height: 1;
}

.result-readout.is-tlb strong {
  color: var(--wa-green);
}

.result-readout.is-table strong {
  color: var(--wa-sea);
}

.result-readout.is-fault strong {
  color: var(--wa-orange-dark);
}

.formula-grid {
  display: grid;
  grid-template-columns: repeat(4, minmax(0, 1fr));
  gap: 0.7rem;
  margin-bottom: 1rem;
}

.formula-card {
  display: grid;
  gap: 0.25rem;
  min-height: 7.6rem;
  align-content: center;
  padding: 0.85rem;
  border: 1px solid var(--wa-gray-light);
  border-radius: 6px;
  background: var(--wa-bg);
}

.formula-card span {
  color: var(--wa-gray);
  font-size: 0.72rem;
  font-weight: 700;
}

.formula-card strong {
  color: var(--wa-ink);
  font-size: 1.75rem;
  line-height: 1;
}

.formula-card code {
  color: var(--wa-ink-light);
  font-family: Consolas, "Courier New", monospace;
  font-size: 0.74rem;
  line-height: 1.35;
}

.decision-text {
  min-height: 4rem;
  margin: 0;
  color: var(--wa-ink-light);
  font-size: 0.92rem;
}

.metrics {
  display: grid;
  grid-template-columns: repeat(3, minmax(0, 1fr));
  gap: 0.5rem;
}

.metrics div {
  padding: 0.65rem 0.5rem;
  border: 1px solid var(--wa-gray-light);
  border-radius: 6px;
  background: var(--wa-bg);
  text-align: center;
}

.metrics dt {
  color: var(--wa-gray);
  font-size: 0.72rem;
  font-weight: 700;
}

.metrics dd {
  margin: 0;
  color: var(--wa-ink);
  font-size: 1.2rem;
  font-weight: 700;
}

.mini-table,
.frame-grid {
  display: grid;
  border: 1px solid var(--wa-gray-light);
  border-radius: 8px;
  overflow: hidden;
  background: var(--wa-bg);
}

.mini-table {
  grid-template-columns: 4.2rem repeat(3, minmax(0, 1fr));
}

.page-table {
  grid-template-columns: 4.8rem repeat(3, minmax(0, 1fr));
}

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

.table-cell,
.frame-card {
  min-height: 3rem;
  padding: 0.55rem;
  border-right: 1px solid var(--wa-gray-light);
  border-bottom: 1px solid var(--wa-gray-light);
  background: var(--wa-white);
  font-size: 0.82rem;
}

.table-head {
  display: grid;
  place-items: center;
  min-height: 2.4rem;
  background: var(--wa-orange-pale);
  color: var(--wa-orange-dark);
  font-weight: 700;
}

.table-row-head {
  display: grid;
  align-content: center;
  gap: 0.05rem;
  background: #fffdf8;
  font-weight: 700;
}

.table-row-head span {
  color: var(--wa-gray);
  font-size: 0.72rem;
}

.table-line {
  display: grid;
  align-content: center;
  min-height: 3.8rem;
}

.table-line.is-current,
.table-row-head.is-current,
.frame-card.is-current {
  background: var(--wa-orange-pale);
  outline: 3px solid var(--wa-orange-light);
  outline-offset: -4px;
}

.table-value {
  color: var(--wa-ink);
  font-weight: 700;
}

.table-muted {
  color: var(--wa-gray);
}

.frame-card {
  display: grid;
  gap: 0.2rem;
  min-height: 5.2rem;
}

.frame-card strong {
  color: var(--wa-ink);
  font-size: 1rem;
}

.frame-card span {
  color: var(--wa-ink-light);
  font-size: 0.82rem;
}

.access-log {
  display: grid;
  gap: 0.45rem;
  margin: 0;
  padding-left: 1.25rem;
  color: var(--wa-ink-light);
  font-size: 0.9rem;
}

.access-log li::marker {
  color: var(--wa-orange-dark);
  font-weight: 700;
}

.notes-panel {
  display: grid;
  gap: 0.7rem;
}

.info-modal {
  position: fixed;
  inset: 0;
  z-index: 2000;
  display: grid;
  place-items: center;
  padding: 1rem;
}

.info-modal.hidden {
  display: none;
}

.info-modal-backdrop {
  position: absolute;
  inset: 0;
  background: rgba(26, 26, 26, 0.42);
}

.info-modal-panel {
  position: relative;
  z-index: 1;
  display: grid;
  grid-template-rows: auto minmax(0, 1fr);
  width: min(100%, 46rem);
  max-height: min(88vh, 42rem);
  overflow: hidden;
  border: 1px solid var(--wa-gray-light);
  border-radius: 8px;
  background: var(--wa-white);
  box-shadow: 0 20px 44px rgba(26, 26, 26, 0.18);
}

.info-modal-header {
  position: sticky;
  top: 0;
  z-index: 2;
  padding: 1.35rem 3.8rem 1rem 1.35rem;
  border-bottom: 1px solid var(--wa-gray-light);
  background: var(--wa-white);
}

.info-modal-kicker {
  margin: 0 0 0.35rem;
  color: var(--wa-orange-dark);
  font-size: 0.78rem;
  font-weight: 700;
}

.info-modal-panel h2 {
  margin: 0;
  font-size: 1.2rem;
}

.info-modal-body {
  display: grid;
  gap: 0.85rem;
  min-height: 0;
  overflow: auto;
  padding: 1.2rem 1.35rem 1.35rem;
  color: var(--wa-ink-light);
  font-size: 0.92rem;
}

.info-modal-body p,
.info-modal-body ul {
  margin: 0;
}

.info-modal-body ul {
  padding-left: 1.2rem;
}

.info-modal-body code {
  padding: 0.08rem 0.25rem;
  border-radius: 4px;
  background: var(--wa-bg);
  color: var(--wa-ink);
  font-family: Consolas, "Courier New", monospace;
}

@media (max-width: 980px) {
  .concept-strip,
  .tables-grid,
  .vm-layout,
  .control-panel,
  .formula-grid {
    grid-template-columns: 1fr;
  }

  .control-panel {
    align-items: stretch;
  }

  .step-controls {
    justify-content: flex-start;
  }

  .table-panel,
  .frame-panel {
    overflow-x: auto;
  }

  .mini-table,
  .page-table {
    min-width: 34rem;
  }

  .frame-grid {
    min-width: 42rem;
  }

  .decision-text {
    min-height: auto;
  }
}

@media (max-width: 560px) {
  .vm-main {
    padding-inline: 0.9rem;
  }

  .concept-strip {
    gap: 0.65rem;
  }

  .concept-card,
  .control-panel,
  .address-panel,
  .translate-panel,
  .status-panel,
  .table-panel,
  .frame-panel,
  .log-panel,
  .notes-panel {
    padding: 0.85rem;
  }
}