:root {
  --bg: #f4efe6;
  --surface: #fffaf2;
  --ink: #1f2a33;
  --accent: #155e63;
  --accent-alt: #d17a22;
  --muted: #5f6a73;
  --border: #dccdb8;
  --ok: #1f6f43;
  --error: #a12622;
  --viz-bg: #c8d4df;
  --viz-node: #aac0d4;
  --viz-border: #1a5e9f;
  --viz-out: #edd8ba;
  --viz-top: #c7dec7;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  font-family: "Trebuchet MS", "Segoe UI", sans-serif;
  color: var(--ink);
  background: radial-gradient(circle at 15% 20%, #fff8ea 0%, var(--bg) 55%);
}

.container {
  width: min(1080px, 92%);
  margin: 0 auto;
}

.site-header {
  background: linear-gradient(120deg, #0f4d55, #1d6d74);
  color: #f8fbff;
  padding: 1.4rem 0;
}

.site-header h1 {
  margin: 0;
  font-size: 1.6rem;
}

.site-header p {
  margin: 0.4rem 0 0;
  color: #d8eef0;
}

.site-header-content {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1rem;
}

.site-header-logos {
  display: flex;
  align-items: center;
  gap: 0.7rem;
  flex: 0 0 auto;
}

.site-header-logo {
  display: block;
  width: auto;
  height: 56px;
  max-width: 180px;
  object-fit: contain;
  background: rgba(255, 255, 255, 0.12);
  border-radius: 8px;
  padding: 0.22rem 0.38rem;
}

.site-header-text {
  flex: 1 1 auto;
}

.site-nav {
  background: #f1e2ce;
  border-bottom: 1px solid var(--border);
}

.nav-row {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 0.9rem;
  padding: 0.6rem 0;
}

.nav-didactic-switch {
  flex: 0 0 auto;
}

.nav-tools {
  display: inline-flex;
  align-items: center;
  gap: 0.7rem;
  flex-wrap: wrap;
  justify-content: flex-end;
}

.nav-export-controls {
  display: inline-flex;
  align-items: center;
  gap: 0.7rem;
  flex-wrap: wrap;
}

.nav-export-option {
  display: inline-flex;
  align-items: center;
  gap: 0.35rem;
  color: #23425a;
  font-size: 0.8rem;
  font-weight: 700;
}

.nav-export-option select {
  border: 1px solid #b7a88d;
  border-radius: 6px;
  background: #f9f3ea;
  color: #23425a;
  font-size: 0.8rem;
  font-weight: 700;
  padding: 0.14rem 0.3rem;
}

.nav-links {
  display: flex;
  flex-wrap: wrap;
  gap: 1rem;
}

.didactic-mode-switch {
  display: inline-flex;
  align-items: center;
  gap: 0.55rem;
  color: #18384f;
  font-size: 0.9rem;
  font-weight: 700;
  cursor: pointer;
  user-select: none;
}

.didactic-mode-switch input[type="checkbox"] {
  width: 1rem !important;
  height: 1rem !important;
  margin: 0 !important;
  padding: 0 !important;
  border: 0 !important;
  border-radius: 0 !important;
  accent-color: #0f5a4d;
}

.didactic-mode-switch:hover span {
  text-decoration: underline;
}

.didactic-mode-switch:focus-within span {
  outline: 2px solid #145f65;
  outline-offset: 2px;
  border-radius: 4px;
}

.didactic-mode-switch input[type="checkbox"]:disabled {
  opacity: 0.6;
  cursor: not-allowed;
}

.nav-export-btn {
  border: 1px solid #145f65;
  border-radius: 8px;
  background: #e7f5f3;
  color: #0a4e53;
  font-size: 0.86rem;
  font-weight: 700;
  line-height: 1.1;
  padding: 0.33rem 0.62rem;
  cursor: pointer;
}

.nav-export-btn:hover {
  background: #d8efec;
}

.nav-export-btn:focus-visible {
  outline: 2px solid #145f65;
  outline-offset: 1px;
}

.nav-export-btn:disabled {
  opacity: 0.65;
  cursor: progress;
}

.site-nav .container {
  justify-content: flex-end;
}

.nav-links a {
  color: #003642;
  text-decoration: none;
  font-weight: 600;
}

.nav-links a:hover {
  text-decoration: underline;
}

main {
  min-height: 70vh;
  padding: 1.2rem 0 2.4rem;
}

.hero,
.panel,
.card,
section {
  background: var(--surface);
  border: 1px solid var(--border);
  border-radius: 12px;
  padding: 1rem;
}

.cards {
  display: grid;
  grid-template-columns: repeat(auto-fill, minmax(240px, 1fr));
  gap: 0.9rem;
}

.card h3 {
  margin-top: 0;
}

.card-with-image .card-illustration {
  width: 100%;
  height: 148px;
  border-radius: 10px;
  overflow: hidden;
  margin-bottom: 0.75rem;
  border: 1px solid var(--border);
  background: linear-gradient(180deg, #eee3d1 0%, #e9dcc7 100%);
}

.card-with-image .card-illustration img {
  width: 100%;
  height: 100%;
  object-fit: cover;
  object-position: center;
  transform: scale(1.08);
  transform-origin: center;
  display: block;
}

.hierarchical-card .card-illustration img,
.graph-menu-card.card-with-image .card-illustration img {
  transform: scale(1.28);
}

.btn {
  display: inline-block;
  background: var(--accent);
  color: #fff;
  border: 0;
  border-radius: 8px;
  padding: 0.5rem 0.8rem;
  text-decoration: none;
  cursor: pointer;
}

.btn:hover {
  filter: brightness(1.06);
}

.btn:disabled {
  opacity: 0.55;
  cursor: not-allowed;
  filter: none;
}

.btn.secondary {
  background: var(--accent-alt);
}

.link {
  display: inline-block;
  margin-top: 0.5rem;
  color: #0f4d55;
}

.actions {
  margin-top: 0.8rem;
  display: flex;
  gap: 0.6rem;
}

.sim-toggle-control {
  margin-top: 0.5rem;
}

.sim-toggle-control label {
  display: inline-flex;
  align-items: center;
  gap: 0.45rem;
  font-size: 0.92rem;
  font-weight: 600;
}

.sim-speed-control {
  margin-top: 0.7rem;
}

.sim-speed-control label {
  margin: 0 0 0.3rem;
  font-size: 0.9rem;
}

.sim-speed-control input[type="range"] {
  width: 100%;
  padding: 0;
}

.sim-speed-value {
  margin: 0.25rem 0 0;
  color: #355064;
  font-size: 0.88rem;
}

.structure-layout {
  display: grid;
  grid-template-columns: 280px minmax(0, 1fr);
  gap: 1rem;
  align-items: start;
}

.structure-layout > .panel:first-child {
  width: 280px;
  min-width: 280px;
}

.structure-layout > .panel:last-child {
  min-width: 0;
}

label {
  display: block;
  margin: 0.5rem 0 0.3rem;
  font-weight: 600;
}

input,
select {
  width: 100%;
  padding: 0.45rem;
  border-radius: 8px;
  border: 1px solid var(--border);
}

.message {
  margin-top: 0.8rem;
  min-height: 1.4rem;
  color: var(--muted);
}

.message.ok {
  color: var(--ok);
}

.message.error {
  color: var(--error);
}

.console-panel {
  margin-top: 0.9rem;
  padding: 0.75rem;
  border: 1px solid #e2d6c3;
  border-radius: 12px;
  background: #f8f4ec;
}

.console-panel h4 {
  margin: 0 0 0.55rem;
}

.console-monitor {
  width: 100%;
  border: 1px solid #3f4f66;
  border-radius: 12px;
  overflow: hidden;
  background: #060d19;
  box-shadow:
    0 8px 18px rgba(7, 18, 35, 0.35),
    inset 0 0 0 1px rgba(255, 255, 255, 0.04);
}

.console-monitor-bar {
  display: flex;
  align-items: center;
  gap: 0.4rem;
  padding: 0.4rem 0.6rem;
  border-bottom: 1px solid #34435a;
  background: linear-gradient(180deg, #213047 0%, #172334 100%);
}

.console-monitor-bar .dot {
  width: 10px;
  height: 10px;
  border-radius: 50%;
  display: inline-block;
}

.console-monitor-bar .dot.red {
  background: #ea4335;
}

.console-monitor-bar .dot.yellow {
  background: #fbbc05;
}

.console-monitor-bar .dot.green {
  background: #34a853;
}

.console-monitor-bar .title {
  margin-left: auto;
  font-size: 0.8rem;
  color: #d5dde7;
  letter-spacing: 0.05em;
  text-transform: lowercase;
}

.console-screen {
  margin: 0;
  padding: 0.75rem;
  min-height: 210px;
  max-height: 290px;
  overflow-y: auto;
  overflow-x: hidden;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.9rem;
  line-height: 1.45;
  color: #8ef7a2;
  background: radial-gradient(circle at 50% 0%, #0f1d31 0%, #060f1f 62%);
}

.console-line {
  white-space: pre-wrap;
  word-break: break-word;
}

.console-line::before {
  content: ">";
  color: #42d67f;
  margin-right: 0.45rem;
}

.console-line.muted {
  color: #9aa8bd;
}

#visual-state {
  width: 100%;
  max-width: 100%;
  overflow-x: auto;
  overflow-y: hidden;
  padding-bottom: 0.3rem;
}

#graph-visual-state {
  width: 100%;
  max-width: 100%;
  max-height: 560px;
  overflow-x: auto;
  overflow-y: auto;
  padding-bottom: 0.3rem;
}

#hash-visual-state {
  width: 100%;
  max-width: 100%;
  max-height: 560px;
  overflow-x: auto;
  overflow-y: auto;
  padding-bottom: 0.3rem;
}

.viz-canvas {
  background: transparent;
  border: 0;
  border-radius: 8px;
  padding: 0.2rem 0;
  min-height: 170px;
  width: 100%;
  min-width: 100%;
}

.viz-stage {
  width: max-content;
  min-width: 100%;
  margin: 0 auto;
}

.viz-stage-center {
  width: max-content;
  min-width: 100%;
  display: flex;
  justify-content: center;
}

.viz-graph-svg {
  display: block;
  margin: 0 auto;
}

.viz-meta {
  color: #2d465f;
  font-size: 0.9rem;
  margin-bottom: 0.6rem;
}

.viz-empty {
  margin: 0;
  color: #304c66;
}

.viz-row-wrap {
  position: relative;
  padding-top: 1rem;
  margin-bottom: 0.8rem;
}

.viz-row-wrap.circular-wrap {
  padding-top: 3rem;
}

.viz-pointer {
  position: absolute;
  color: #c63e17;
  font-size: 0.95rem;
  font-family: "Consolas", "Courier New", monospace;
  pointer-events: none;
  z-index: 3;
  background: var(--surface);
  padding: 0.1rem 0.2rem;
  line-height: 1;
}

.viz-row-wrap.circular-wrap .viz-pointer.head {
  top: 0.2rem;
  left: 0.2rem;
}

.viz-row-wrap.circular-wrap .viz-pointer.tail {
  top: 0.2rem;
  left: 4.9rem;
}

.viz-row {
  display: flex;
  align-items: center;
  min-width: max-content;
  gap: 0.2rem;
}

.viz-node {
  position: relative;
  display: inline-flex;
  align-items: center;
  min-width: 96px;
  min-height: 42px;
  padding: 0.6rem 0.8rem;
  background: var(--viz-node);
  border: 2px solid var(--viz-border);
  border-radius: 6px;
  color: #0e2f4d;
  font-family: "Consolas", "Courier New", monospace;
}

.viz-node.is-top,
.viz-node.is-head,
.viz-node.has-children {
  background: var(--viz-top);
  border-color: #188f4f;
}

.viz-node.is-end,
.viz-node.is-out {
  background: var(--viz-out);
}

.viz-node.sim-visited {
  background: #d8ead8;
  border-color: #188f4f;
}

.viz-node.sim-active {
  background: #ffe5c7;
  border-color: #d17a22;
  animation: simPulse 0.7s ease-in-out infinite alternate;
}

.viz-node.sim-pending {
  box-shadow: 0 0 0 2px rgba(209, 122, 34, 0.28) inset;
}

.viz-node.sim-commit {
  border-color: #0f766e;
  box-shadow: 0 0 0 3px rgba(15, 118, 110, 0.25);
  animation: simCommit 0.75s ease-in-out;
}

.viz-arrow {
  color: #1a5e9f;
  font-weight: 700;
  margin: 0 0.1rem;
}

.viz-op-label {
  display: inline-block;
  margin: 0 0 0.5rem;
  padding: 0.25rem 0.5rem;
  border-radius: 6px;
  border: 1px solid #dcb77d;
  background: #fff2df;
  color: #7f4e10;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.86rem;
}

.viz-row-label {
  position: absolute;
  top: -0.15rem;
  font-size: 0.95rem;
  font-family: "Consolas", "Courier New", monospace;
}

.viz-row-label.head,
.viz-row-label.front,
.viz-row-label.top {
  left: 0.1rem;
  color: #c63e17;
}

.viz-row-label.circular {
  left: 3.5rem;
  color: #1a5e9f;
}

.viz-row-label.null {
  position: static;
  color: #c63e17;
  margin-left: 0.4rem;
}

.viz-row-label.back {
  position: static;
  color: #c63e17;
  margin: 0;
}

.queue-wrap {
  display: inline-block;
  width: max-content;
}

.viz-row-tail {
  display: flex;
  justify-content: flex-end;
  margin-top: 0.2rem;
}

.viz-badge {
  position: absolute;
  right: 0.4rem;
  top: 0.35rem;
  font-size: 0.82rem;
}

.viz-badge.ok,
.viz-badge.new,
.viz-badge.act {
  color: #168242;
}

.viz-badge.out {
  color: #c63e17;
}

.viz-loop-host {
  position: absolute;
  inset: 0;
  pointer-events: none;
}

.viz-loop-svg {
  position: absolute;
  left: 0;
  top: 0;
  overflow: visible;
  pointer-events: none;
  z-index: 1;
}

.viz-loop-path {
  fill: none;
  stroke: #1a5e9f;
  stroke-width: 2;
  stroke-linecap: round;
  stroke-linejoin: round;
}

.viz-loop-arrow-head {
  fill: #1a5e9f;
}

.viz-stack-wrap {
  display: inline-block;
  position: relative;
  padding-top: 1.35rem;
}

.viz-stack {
  display: flex;
  flex-direction: column;
  gap: 0.05rem;
  width: 140px;
}

.viz-stack-node-row {
  display: flex;
  justify-content: flex-start;
}

.viz-stack-node-row .viz-node {
  min-width: 140px;
}

.viz-stack-down {
  color: #1a5e9f;
  font-weight: 700;
  font-family: "Consolas", "Courier New", monospace;
  line-height: 1;
  text-align: center;
}

.viz-stack-null {
  color: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  text-align: center;
  line-height: 1.1;
}

.viz-temp-node-wrap {
  margin-top: 0.55rem;
  padding: 0.45rem 0.55rem;
  border: 1px dashed #b8c6d3;
  border-radius: 8px;
  background: #f8fbff;
  width: fit-content;
}

.viz-temp-node-title {
  margin-bottom: 0.3rem;
  color: #1d4d7a;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.85rem;
  font-weight: 700;
}

.viz-temp-node-wrap .viz-node {
  min-width: 120px;
  animation: tempNodePop 0.5s ease-out;
}

.viz-temp-node-wrap .viz-node.sim-detached {
  background: #ffe8e2;
  border-color: #d16f56;
}

.viz-temp-link {
  margin-top: 0.28rem;
  color: #0f5a4d;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.82rem;
  font-weight: 700;
  animation: tempLinkBlink 0.8s ease-in-out;
}

.viz-temp-note {
  margin-top: 0.28rem;
  color: #5b4f3f;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.8rem;
  font-weight: 700;
}

.viz-sublist {
  display: flex;
  flex-direction: column;
  gap: 0.9rem;
}

.viz-sublist-vertical {
  display: flex;
  flex-direction: column;
  min-width: max-content;
}

.viz-sublist-vertical .viz-node {
  width: 96px;
  min-width: 96px;
  max-width: 96px;
  flex: 0 0 96px;
}

.viz-main-head {
  color: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  margin-left: 0.15rem;
  margin-bottom: 0.2rem;
}

.viz-sub-grid-row {
  display: grid;
  grid-template-columns: 108px auto;
  column-gap: 0.5rem;
  align-items: center;
}

.viz-main-cell {
  width: 108px;
}

.viz-sub-cell {
  display: flex;
  align-items: center;
  min-width: max-content;
  gap: 0.2rem;
}

.viz-sub-cell > * {
  flex: 0 0 auto;
}

.viz-sub-cell-empty {
  min-height: 1px;
}

.viz-main-down {
  width: 108px;
  text-align: center;
  color: #1a5e9f;
  font-family: "Consolas", "Courier New", monospace;
  line-height: 1;
}

.viz-main-null {
  width: 108px;
  text-align: center;
  color: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
}

.viz-sub-grid-connector {
  margin: 0.05rem 0;
}

.viz-sub-grid-null {
  margin-top: 0.05rem;
}

.sub-main-wrap {
  margin-bottom: 0.2rem;
  padding-top: 1.2rem;
}

.sub-head {
  top: 0;
  left: 0.15rem;
}

.viz-sub-children {
  display: flex;
  flex-direction: column;
  gap: 0.05rem;
}

.viz-sub-row {
  display: flex;
  align-items: center;
  min-width: max-content;
  gap: 0.2rem;
}

.viz-sub-parent-tag {
  min-width: 106px;
  color: #2d465f;
  font-family: "Consolas", "Courier New", monospace;
}

.viz-sub-down {
  width: 106px;
  text-align: center;
  color: #1a5e9f;
  font-family: "Consolas", "Courier New", monospace;
  line-height: 1;
  margin: 0.05rem 0 0.05rem 0;
}

.viz-no-child {
  color: #243f58;
}

.viz-inline-null {
  color: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  margin-left: 0.1rem;
}

.viz-out {
  margin-top: 0.5rem;
  color: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
}

.viz-sub-svg-wrap {
  width: max-content;
}

.viz-sub-svg {
  display: block;
}

.viz-svg-node {
  fill: var(--viz-node);
  stroke: var(--viz-border);
  stroke-width: 2;
}

.viz-svg-node.has-children {
  fill: var(--viz-top);
  stroke: #188f4f;
}

.viz-svg-node-text {
  fill: #0e2f4d;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 22px;
}

.viz-svg-label {
  fill: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 24px;
}

.viz-svg-arrow {
  fill: #1a5e9f;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 20px;
}

.viz-svg-null {
  fill: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 20px;
}

.viz-svg-empty {
  fill: #243f58;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 20px;
}

.viz-validation {
  color: #0f4d55;
  font-weight: 700;
  margin-bottom: 0.5rem;
}

.viz-array-wrap {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-bottom: 0.8rem;
}

.viz-array-chip {
  display: inline-block;
  padding: 0.2rem 0.45rem;
  border: 1px solid var(--viz-border);
  border-radius: 999px;
  background: #e2ebf4;
  color: #0e2f4d;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.8rem;
}

.viz-array-chip.sim-visited {
  background: #d8ead8;
  border-color: #188f4f;
}

.viz-array-chip.sim-active {
  background: #ffe5c7;
  border-color: #d17a22;
  animation: simPulse 0.9s ease-in-out infinite alternate;
}

.viz-tree-svg {
  display: block;
  overflow: visible;
}

.viz-tree-edge {
  stroke: #245f9d;
  stroke-width: 2;
}

.viz-tree-node {
  fill: #dce8f4;
  stroke: #245f9d;
  stroke-width: 2;
}

.viz-tree-node.red {
  fill: #f7d1d1;
  stroke: #922b2b;
}

.viz-tree-node.black {
  fill: #d7dce2;
  stroke: #394a5a;
}

.viz-tree-node.nil {
  fill: #12161b;
  stroke: #12161b;
}

.viz-tree-node.sim-visited {
  fill: #d8ead8;
  stroke: #188f4f;
  stroke-width: 3;
}

.viz-tree-node.sim-active {
  fill: #ffe5c7;
  stroke: #d17a22;
  stroke-width: 3.2;
  animation: simPulse 0.9s ease-in-out infinite alternate;
}

.viz-tree-node.sim-imbalanced {
  fill: #ffe0cf;
  stroke: #c63e17;
  stroke-width: 3.6;
}

#visual-state.sim-trace-complete .viz-tree-node.sim-active,
#visual-state.sim-trace-complete .viz-array-chip.sim-active {
  animation: none;
}

.viz-tree-node.rot-cw,
.viz-tree-node.rot-ccw {
  transform-box: fill-box;
  transform-origin: center;
  stroke-width: 3.2;
}

.viz-tree-node.rot-cw {
  animation: avlRotateCw 0.72s ease-in-out 1;
}

.viz-tree-node.rot-ccw {
  animation: avlRotateCcw 0.72s ease-in-out 1;
}

.viz-tree-text {
  fill: #0e2f4d;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 14px;
}

.viz-tree-text.nil {
  fill: #f7f9fc;
  font-size: 10px;
  font-weight: 700;
}

.viz-graph-svg {
  display: block;
}

.viz-graph-edge {
  stroke: #245f9d;
  stroke-width: 2;
}

.viz-graph-edge.traversal {
  stroke: #d17a22;
  stroke-width: 3.2;
}

.viz-graph-edge.mst {
  stroke: #188f4f;
  stroke-width: 3.4;
}

.viz-graph-arrowhead {
  fill: #245f9d;
}

.viz-graph-node {
  fill: #dce8f4;
  stroke: #245f9d;
  stroke-width: 2.2;
}

.viz-graph-node.traversal {
  fill: #c7dec7;
  stroke: #188f4f;
  stroke-width: 3;
}

.viz-graph-node.mst {
  fill: #d8ead8;
  stroke: #188f4f;
  stroke-width: 3.1;
}

.viz-graph-label {
  fill: #0e2f4d;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 14px;
}

.viz-graph-weight {
  fill: #c63e17;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 13px;
}

.viz-graph-order {
  fill: #d17a22;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 12px;
  font-weight: 700;
}

.viz-tree-height {
  fill: #0f4d55;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 10px;
}

.viz-tree-fe {
  font-family: "Consolas", "Courier New", monospace;
  font-size: 10px;
}

.viz-tree-fe.ok {
  fill: #168242;
}

.viz-tree-fe.bad {
  fill: #c63e17;
  font-weight: 700;
}

.viz-rotation-note {
  margin: 0.35rem 0 0.6rem;
  color: #0f4d55;
  font-weight: 700;
}

.viz-rotation-live {
  margin: 0.35rem 0 0.35rem;
  color: #7c2d12;
  background: #fff1e6;
  border: 1px solid #f2b17f;
  border-radius: 8px;
  padding: 0.32rem 0.55rem;
  font-weight: 700;
}

.viz-traversals {
  margin-top: 0.8rem;
  padding-top: 0.5rem;
  border-top: 1px dashed #afbece;
}

.viz-traversals p {
  margin: 0.3rem 0;
  font-size: 0.9rem;
}

.viz-sim-note {
  margin: 0.35rem 0 0.75rem;
  color: #355064;
  font-size: 0.92rem;
}

.viz-sim-note ul {
  margin: 0.3rem 0 0;
  padding-left: 1.1rem;
}

.viz-sim-note li {
  margin: 0.15rem 0;
}

.viz-rn-timeline {
  margin: 0.35rem 0 0.75rem;
  padding: 0.5rem 0.65rem;
  border: 1px solid #c8d6e4;
  border-radius: 10px;
  background: #f7fbff;
  color: #22455f;
  font-size: 0.9rem;
}

.viz-rn-timeline ol {
  margin: 0.35rem 0 0;
  padding-left: 1.2rem;
  max-height: 170px;
  overflow: auto;
}

.viz-rn-timeline li {
  margin: 0.2rem 0;
}

.viz-rn-timeline li.is-current {
  background: #e6f0fa;
  border-radius: 6px;
  padding: 0.12rem 0.25rem;
}

.viz-rn-timeline .rn-stage {
  font-weight: 700;
}

.viz-path-steps p {
  margin: 0.15rem 0;
  font-family: "Consolas", "Courier New", monospace;
}

@keyframes simPulse {
  from {
    transform: scale(1);
  }
  to {
    transform: scale(1.06);
  }
}

@keyframes simCommit {
  0% {
    transform: scale(1);
  }
  45% {
    transform: scale(1.07);
  }
  100% {
    transform: scale(1);
  }
}

@keyframes tempNodePop {
  0% {
    opacity: 0;
    transform: translateY(8px) scale(0.94);
  }
  100% {
    opacity: 1;
    transform: translateY(0) scale(1);
  }
}

@keyframes tempLinkBlink {
  0% {
    opacity: 0.3;
  }
  100% {
    opacity: 1;
  }
}

@keyframes avlRotateCw {
  0% {
    transform: rotate(0deg) scale(1);
  }
  45% {
    transform: rotate(24deg) scale(1.06);
  }
  100% {
    transform: rotate(0deg) scale(1);
  }
}

@keyframes avlRotateCcw {
  0% {
    transform: rotate(0deg) scale(1);
  }
  45% {
    transform: rotate(-24deg) scale(1.06);
  }
  100% {
    transform: rotate(0deg) scale(1);
  }
}

.graph-guide {
  margin: 0.4rem 0 0.9rem;
  color: #355064;
  font-size: 0.92rem;
}

.graph-phase-nav {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin: 0.35rem 0 0.8rem;
}

.graph-phase-link {
  display: inline-block;
  padding: 0.3rem 0.55rem;
  border: 1px solid #c9d7e6;
  border-radius: 999px;
  background: #edf5fd;
  color: #1b4d78;
  text-decoration: none;
  font-size: 0.82rem;
  font-weight: 700;
}

.graph-phase-link:hover {
  background: #dfeeff;
}

.graph-phase-link.active {
  border-color: #1f6d74;
  background: #1f6d74;
  color: #fff;
}

.graph-menu-cards {
  margin-top: 0.75rem;
}

.graph-menu-card {
  position: relative;
  border-color: #d5c8b5;
  background: linear-gradient(180deg, #fffdf9 0%, #fff9f0 100%);
  display: flex;
  flex-direction: column;
}

.graph-menu-badge {
  display: inline-block;
  margin-bottom: 0.4rem;
  padding: 0.15rem 0.45rem;
  border-radius: 999px;
  border: 1px solid #c7d7e7;
  background: #edf5fd;
  color: #1b4d78;
  font-size: 0.78rem;
  font-weight: 700;
  text-transform: uppercase;
  letter-spacing: 0.03em;
}

.graph-menu-card p {
  margin-bottom: 0.4rem;
}

.graph-menu-actions {
  margin-top: auto;
  display: flex;
  flex-direction: column;
  align-items: flex-start;
  gap: 0.25rem;
}

.graph-menu-actions .btn {
  margin-top: 0.25rem;
}

.home-module-cards {
  margin-top: 1rem;
}

.home-module-card {
  display: flex;
  flex-direction: column;
}

.home-module-card .card-illustration {
  height: 162px;
  background: #e8dcc8;
  border-color: #d0bea5;
}

.home-module-card .card-illustration img {
  transform: scale(1.2);
  object-position: center center;
}

.home-module-card h3 {
  margin-bottom: 0.35rem;
}

.home-module-card p {
  margin-top: 0;
  margin-bottom: 0.45rem;
}

.home-module-actions {
  margin-top: auto;
}

.graph-left-panel .console-panel {
  margin-top: 1rem;
}

.structure-layout > .graph-left-panel {
  width: 320px;
  min-width: 320px;
}

.graph-anchor {
  display: block;
  position: relative;
  top: -0.2rem;
}

.graph-step-box {
  margin: 0.7rem 0;
  padding: 0.65rem;
  border: 1px solid #e2d7c5;
  border-radius: 10px;
  background: #fffdf8;
}

.graph-phase-hidden {
  display: none;
}

.graph-step-box h4 {
  margin: 0 0 0.25rem;
  color: #17384d;
}

.graph-step-help {
  margin: 0 0 0.45rem;
  color: #51636f;
  font-size: 0.88rem;
}

.graph-preset-grid {
  display: grid;
  grid-template-columns: 1fr;
  gap: 0.5rem;
}

.graph-preset-btn {
  width: 100%;
  text-align: center;
  padding: 0.5rem 0.55rem;
}

.graph-sim-actions {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 0.55rem;
}

.graph-sim-actions .btn {
  width: 100%;
  text-align: center;
  white-space: normal;
  line-height: 1.15;
  padding: 0.52rem 0.45rem;
}

.didactic-code {
  margin: 0.35rem 0 0.85rem;
  padding: 0.65rem;
  border: 1px solid #d5c6b2;
  border-radius: 8px;
  background: #fffdf8;
  color: #1f2a33;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.88rem;
  line-height: 1.4;
  white-space: pre-wrap;
  word-break: break-word;
}

.didactic-code-compact {
  max-height: 220px;
  overflow: auto;
}

.didactic-code-scroll {
  max-height: 360px;
  overflow: auto;
}

.didactic-code .code-comment {
  color: #6b7280;
  font-style: italic;
}

.didactic-code .code-keyword {
  color: #0b57d0;
  font-weight: 700;
}

.didactic-code .code-type {
  color: #7c3aed;
  font-weight: 700;
}

.didactic-code .code-function {
  color: #0f766e;
  font-weight: 700;
}

.didactic-code .code-number {
  color: #b45309;
}

.didactic-code .code-string {
  color: #166534;
}

.didactic-code .code-directive {
  color: #7c2d12;
  font-weight: 700;
}

.didactic-code .code-operator {
  color: #374151;
}

.didactic-code .code-punct {
  color: #1f2937;
}

.didactic-code .code-line {
  display: block;
  padding: 0 0.25rem;
  border-radius: 4px;
  transition: background-color 150ms ease;
}

.didactic-code .code-line.sim-active {
  background: #ffe8c4;
  outline: 1px solid #d8a25b;
}

.didactic-code .code-line.sim-done {
  background: #e3f2e3;
}

.didactic-code .code-line.sim-skip {
  opacity: 0.45;
}

.sim-counter {
  margin: 0.35rem 0 0.15rem;
  font-weight: 700;
  color: #1f2a33;
}

.didactic-history {
  margin: 0.35rem 0 0.85rem;
  padding: 0.65rem 0.7rem;
  border: 1px solid #d5c6b2;
  border-radius: 8px;
  background: #fffdf8;
  color: #1f2a33;
  font-size: 0.9rem;
  list-style: none;
}

.didactic-history li {
  margin: 0;
}

.didactic-history-item {
  border: 1px solid #e2d7c5;
  border-radius: 8px;
  padding: 0.45rem 0.6rem;
  background: #ffffff;
  margin-bottom: 0.45rem;
}

.didactic-history-item:last-child {
  margin-bottom: 0;
}

.didactic-history-item.empty {
  color: #5f6a73;
  background: #fffdf8;
}

.history-main-wrap {
  padding: 0.55rem 0.65rem;
}

.didactic-history-main {
  margin: 0.3rem 0 0;
  max-height: 320px;
  overflow: auto;
}

.didactic-history-head {
  font-weight: 700;
  color: #17384d;
  margin-bottom: 0.2rem;
}

.didactic-history-line {
  margin: 0.1rem 0;
  color: #2d465f;
}

.didactic-history-line .k {
  display: inline-block;
  min-width: 58px;
  font-weight: 700;
  color: #0f4d55;
}

.didactic-technical {
  overflow: hidden;
  transition:
    max-height 180ms ease,
    opacity 180ms ease,
    margin 180ms ease,
    padding 180ms ease,
    border-width 180ms ease;
  max-height: 1200px;
  opacity: 1;
}

html[data-didactic-mode="visual"] .didactic-technical {
  max-height: 0 !important;
  opacity: 0;
  margin-top: 0 !important;
  margin-bottom: 0 !important;
  padding-top: 0 !important;
  padding-bottom: 0 !important;
  border-width: 0 !important;
  pointer-events: none;
}

.hash-buckets-wrap {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(260px, 1fr));
  gap: 0.6rem;
  min-width: 700px;
}

.hash-bucket {
  border: 1px solid #afbece;
  border-radius: 10px;
  background: #f8fcff;
  padding: 0.5rem 0.65rem;
}

.hash-bucket.has-collision {
  border-color: #d17a22;
  background: #fff6e9;
}

.hash-bucket-head {
  display: flex;
  gap: 0.55rem;
  align-items: center;
  margin-bottom: 0.35rem;
  font-family: "Consolas", "Courier New", monospace;
  font-size: 0.88rem;
}

.hash-bucket-index {
  color: #123f66;
  font-weight: 700;
}

.hash-bucket-size {
  color: #355064;
}

.hash-collision-badge {
  color: #fff;
  background: #d17a22;
  border-radius: 999px;
  padding: 0.15rem 0.45rem;
  font-size: 0.75rem;
}

.hash-bucket-body {
  min-height: 1.4rem;
  color: #20384f;
  font-family: "Consolas", "Courier New", monospace;
}

.hash-entry {
  display: inline-block;
  margin: 0.1rem 0;
  padding: 0.1rem 0.3rem;
  border: 1px solid #c6d6e6;
  border-radius: 6px;
  background: #e7f0f8;
}

.hash-sep {
  color: #356286;
  margin: 0 0.12rem;
}

.hash-empty {
  color: #6a7986;
  font-style: italic;
}

.hash-resize-note {
  color: #0f6d3c;
  font-weight: 700;
  margin: 0.3rem 0 0.65rem;
}

.site-footer {
  border-top: 1px solid var(--border);
  background: #efe1cc;
  padding: 0.8rem 0;
  color: #5a4a37;
}

@media (max-width: 880px) {
  .nav-row {
    flex-direction: column;
    align-items: flex-start;
    gap: 0.55rem;
  }

  .didactic-mode-switch {
    font-size: 0.86rem;
  }

  .nav-tools {
    justify-content: flex-start;
  }

  .nav-export-controls {
    justify-content: flex-start;
  }

  .nav-export-option {
    font-size: 0.76rem;
  }

  .site-header-content {
    flex-direction: column;
    align-items: flex-start;
  }

  .site-header-logo {
    height: 46px;
    max-width: 150px;
  }

  .structure-layout {
    grid-template-columns: 1fr;
  }

  .structure-layout > .panel:first-child {
    width: auto;
    min-width: 0;
  }

  .nav-links {
    gap: 0.75rem;
  }
}

/* Sorting module */
.sorting-items {
  display: grid;
  gap: 0.5rem;
  margin-bottom: 0.9rem;
}

.sorting-item {
  display: grid;
  grid-template-columns: minmax(140px, 220px) auto 1fr;
  align-items: center;
  gap: 0.6rem;
  padding: 0.35rem 0.45rem;
  border: 1px solid #d2bf9f;
  border-radius: 0.5rem;
  background: #f8f2e8;
}

.sorting-item-label {
  font-family: ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace;
  color: #29415c;
}

.sorting-item-bar {
  position: absolute;
  top: 0.2rem;
  height: 0.7rem;
  border-radius: 999px;
  background: #1b5fa7;
}

.sorting-zero-track { position: relative; height: 1.1rem; border-radius: 0.35rem; background: linear-gradient(90deg, #f1e9dc 0 49.7%, #29415c 49.7% 50.3%, #f1e9dc 50.3% 100%); }
.sorting-zero-axis { position: absolute; left: 50%; top: -0.18rem; height: 1.45rem; border-left: 2px solid #29415c; }
.sorting-item-bar.is-negative { right: 50%; background: #a33e32; border-radius: 999px 0 0 999px; }
.sorting-item-bar.is-positive { left: 50%; border-radius: 0 999px 999px 0; }
.sorting-item-bar.is-zero { left: calc(50% - 0.25rem); top: 0.08rem; width: 0.5rem !important; height: 0.95rem; border-radius: 50%; background: #5d6570; }
.sorting-state-symbol { display: inline-grid; min-width: 1.25rem; height: 1.25rem; margin-left: 0.15rem; place-items: center; border: 1px solid currentColor; border-radius: 50%; font-size: 0.72rem; font-weight: 800; }
.sorting-state-symbols { display: flex; min-width: 1.25rem; }

.sorting-item.is-comparing {
  border-color: #d47a1f;
  background: #fff0db;
}

.sorting-item.is-swapping {
  border-color: #20839a;
  background: #ddf5fb;
}

.sorting-item.is-sorted {
  border-color: #2b8e4d;
  background: #e3f7ea;
}

.sorting-item.is-pivot {
  box-shadow: inset 0 0 0 2px #9239a6;
}

.sorting-item.is-out-range {
  opacity: 0.55;
}

.sorting-aux {
  margin: 0.75rem 0;
}

.sorting-aux h5 {
  margin: 0 0 0.4rem;
}

.sorting-aux-items {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
}

.sorting-aux-items span {
  display: inline-block;
  min-width: 2rem;
  padding: 0.2rem 0.45rem;
  border: 1px solid #bfa97f;
  border-radius: 0.35rem;
  background: #fff7e8;
  text-align: center;
}

.sorting-metrics {
  display: grid;
  grid-template-columns: repeat(auto-fit, minmax(160px, 1fr));
  gap: 0.4rem;
  margin-top: 0.55rem;
  font-size: 0.95rem;
}

.sorting-learning-shell { display: grid; gap: 1rem; }
.sorting-learning-header, .sorting-code-toolbar, .sorting-playback-row { display: flex; align-items: center; justify-content: space-between; gap: 0.75rem; flex-wrap: wrap; }
.sorting-eyebrow { margin: 0; color: #1b5fa7; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; }
.sorting-learning-stage { min-width: 0; padding: 1rem; border: 1px solid #d7c7aa; border-radius: 0.75rem; background: #fffdf8; }
.sorting-learning-stage > h3, .sorting-code-toolbar h3 { margin-top: 0; }
.sorting-learning-stage h3 > span, .sorting-code-toolbar h3 > span { display: inline-grid; width: 1.7rem; height: 1.7rem; margin-right: 0.35rem; place-items: center; border-radius: 50%; background: #1b5fa7; color: white; font-size: 0.9rem; }
.sorting-control-grid { display: grid; grid-template-columns: minmax(240px, 2fr) repeat(3, minmax(110px, 1fr)) minmax(140px, 1fr); gap: 0.75rem; align-items: end; }
.sorting-field { display: grid; gap: 0.3rem; }
.sorting-field-wide { grid-row: span 2; }
.sorting-field-help { color: #5d6570; font-size: 0.8rem; }
.sorting-inline-field { display: flex; gap: 0.5rem; align-items: center; }
.sorting-inline-field select { min-width: 13rem; }
.sorting-level-control { display: grid; gap: 0.25rem; min-width: 11rem; }
.sorting-pedagogy-card { margin-top: 1rem; padding: 0.9rem 1rem; border-left: 0.35rem solid #1b5fa7; border-radius: 0.4rem; background: #eef6ff; }
.sorting-pedagogy-card h4, .sorting-pedagogy-card p { margin: 0.25rem 0; }
.sorting-pedagogy-kicker { color: #1b5fa7; font-size: 0.82rem; font-weight: 700; letter-spacing: 0.04em; text-transform: uppercase; }
.sorting-condition-view { margin-top: 0.65rem; padding: 0.55rem; border-radius: 0.35rem; background: #fff; font-family: ui-monospace, "SFMono-Regular", Menlo, Consolas, monospace; }
.sorting-condition-view.is-true { border-left: 0.3rem solid #2b8e4d; }
.sorting-condition-view.is-false { border-left: 0.3rem solid #b54135; }
.sorting-execution-details { display: grid; grid-template-columns: repeat(2, minmax(260px, 1fr)); gap: 0.8rem; margin-top: 1rem; }
.sorting-execution-details > section { min-width: 0; padding: 0.75rem; border: 1px solid #d7c7aa; border-radius: 0.5rem; }
.sorting-execution-details h4 { margin-top: 0; }
.sorting-table-wrap { overflow-x: auto; }
.sorting-detail-table { width: 100%; border-collapse: collapse; font-size: 0.88rem; }
.sorting-detail-table th, .sorting-detail-table td { padding: 0.35rem; border-bottom: 1px solid #e4d8c3; text-align: left; }
.sorting-detail-table tr.is-changed td { background: #fff2cc; font-weight: 700; }
.sorting-call-stack { display: flex; flex-direction: column-reverse; gap: 0.35rem; margin: 0; padding-left: 1.5rem; }
.sorting-call-stack li { padding: 0.4rem; border: 1px solid #b9cbe0; border-radius: 0.35rem; background: #eef6ff; }
.sorting-detail-card { white-space: normal; }
.sorting-learning-shell[data-learning-level="basic"] .sorting-function-index,
.sorting-learning-shell[data-learning-level="basic"] .sorting-code-toolbar label,
.sorting-learning-shell[data-learning-level="basic"] .console-panel,
.sorting-learning-shell[data-learning-level="basic"] .sorting-reflect .didactic-technical { display: none; }
.sorting-learning-shell[data-learning-level="basic"] .sorting-execution-details { display: none; }
.sorting-learning-shell[data-learning-level="basic"] .sorting-code-layout { grid-template-columns: 1fr; }
.sorting-learning-shell[data-learning-level="intermediate"] #sorting-tad-record { display: none; }
.sorting-primary-workspace { display: grid; grid-template-columns: minmax(320px, 0.9fr) minmax(420px, 1.1fr); gap: 1rem; align-items: stretch; }
.sorting-workspace-panel { min-height: 28rem; }
.sorting-relate { resize: horizontal; overflow: auto; min-width: 420px; max-width: 75vw; }
.sorting-code-layout { display: grid; grid-template-columns: minmax(130px, 0.26fr) minmax(0, 1fr); gap: 0.75rem; }
.sorting-function-index { position: sticky; top: 0; align-self: start; max-height: 27rem; overflow: auto; padding: 0.65rem; border: 1px solid #d7c7aa; border-radius: 0.5rem; background: #f8f2e8; }
.sorting-function-index ol { display: grid; gap: 0.25rem; margin: 0.5rem 0 0; padding: 0; list-style: none; }
.sorting-function-link { width: 100%; padding: 0.35rem; border: 0; border-radius: 0.3rem; background: transparent; color: #29415c; cursor: pointer; text-align: left; }
.sorting-function-link.is-active { background: #dcecff; font-weight: 700; }
.sorting-code-pane { min-width: 0; }
#sorting-code.hide-code-comments .code-line.is-code-comment { display: none; }
.sorting-understand-grid, .sorting-reflect-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 1rem; margin-top: 1rem; }
.sorting-mobile-tabs { display: none; }
.sorting-strategy-panel { margin-top: 1rem; padding-top: 0.75rem; border-top: 1px solid #d7c7aa; }
.sorting-cue-row { display: flex; flex-wrap: wrap; gap: 0.45rem 1rem; padding: 0.65rem; border-radius: 0.4rem; background: #eef6ff; }
.sorting-partition { display: grid; grid-template-columns: 1fr auto 1fr; gap: 0.4rem; align-items: center; text-align: center; }
.sorting-partition span, .sorting-partition strong { padding: 0.65rem; border: 1px solid #b9cbe0; border-radius: 0.4rem; }
.sorting-partition strong { background: #f2def7; border-color: #9239a6; }
.sorting-recursion-view { display: grid; gap: 0.45rem; padding-left: 1rem; border-left: 0.3rem solid #1b5fa7; }
.sorting-strategy-cells { display: flex; flex-wrap: wrap; gap: 0.3rem; }
.sorting-strategy-cells span { display: grid; min-width: 2.5rem; padding: 0.3rem; border: 1px solid #bfa97f; border-radius: 0.35rem; text-align: center; }
.sorting-strategy-cells small { color: #5d6570; }
.sorting-strategy-cells.is-auxiliary span { background: #fff7e8; }
.sorting-heap-view { display: grid; grid-template-columns: repeat(auto-fit, minmax(100px, 1fr)); gap: 0.45rem; }
.sorting-heap-view div { display: grid; padding: 0.55rem; border: 1px solid #1b5fa7; border-radius: 0.5rem; background: #eef6ff; text-align: center; }
.sorting-buckets { display: grid; grid-template-columns: repeat(auto-fit, minmax(64px, 1fr)); gap: 0.35rem; }
.sorting-buckets div { display: grid; min-height: 4rem; padding: 0.35rem; border: 1px solid #bfa97f; border-radius: 0.35rem; background: #fff7e8; text-align: center; }
.sorting-buckets small { color: #5d6570; }
.sorting-progress-wrap { display: grid; gap: 0.35rem; margin-top: 0.8rem; }
.sorting-progress-wrap label { display: flex; justify-content: space-between; gap: 0.5rem; }
.sorting-progress-wrap input { width: 100%; }
.sorting-reset-row { display: flex; justify-content: flex-end; gap: 0.6rem; margin-top: 0.8rem; }
.sorting-invariant-card { padding: 0.75rem 1rem; border-left: 0.35rem solid #2b8e4d; border-radius: 0.4rem; background: #eaf7ee; }
.sorting-invariant-card h4, .sorting-invariant-card p { margin: 0.25rem 0; }
.sorting-analysis-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.8rem; margin-top: 0.8rem; }
.sorting-analysis-grid > section { padding: 0.75rem; border: 1px solid #d7c7aa; border-radius: 0.5rem; }
.sorting-analysis-grid h4 { margin-top: 0; }
.sorting-theory-grid { display: grid; grid-template-columns: repeat(3, 1fr); gap: 0.35rem; }
.sorting-theory-grid span { padding: 0.4rem; border-radius: 0.3rem; background: #f8f2e8; text-align: center; }
.sorting-practice-panel, .sorting-comparator { margin-top: 0.9rem; padding: 0.8rem; border: 1px solid #d7c7aa; border-radius: 0.55rem; }
.sorting-practice-toolbar, .sorting-prediction-actions, .sorting-comparator-controls { display: flex; flex-wrap: wrap; gap: 0.55rem; align-items: end; }
.sorting-practice-toolbar > label { flex: 1 1 280px; }
.sorting-prediction-card { margin-top: 0.7rem; padding: 0.75rem; border-left: 0.35rem solid #d47a1f; border-radius: 0.4rem; background: #fff5e7; }
.sorting-prediction-card h4 { margin-top: 0; }
.sorting-prediction-card details { margin-top: 0.45rem; }
.sorting-comparator-controls label { display: grid; gap: 0.25rem; min-width: 160px; }
.sorting-comparator > input[type="range"] { width: 100%; margin: 0.8rem 0; }
.sorting-compare-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 0.8rem; }
.sorting-compare-grid article { min-width: 0; padding: 0.7rem; border: 1px solid #b9cbe0; border-radius: 0.45rem; }
.sorting-compare-array { display: flex; flex-wrap: wrap; gap: 0.25rem; }
.sorting-compare-array span { min-width: 2rem; padding: 0.3rem; border: 1px solid #bfa97f; border-radius: 0.3rem; text-align: center; }
.sorting-compare-analysis { margin-top: 0.5rem; font-size: 0.85rem; }
.sorting-export-row { display: flex; flex-wrap: wrap; gap: 0.55rem; margin-top: 0.8rem; }
.sorting-help-card { margin: 0.7rem 0; padding: 0.8rem; border: 1px solid #d7c7aa; border-radius: 0.5rem; background: #fffdf8; }
.visually-hidden { position: absolute !important; width: 1px !important; height: 1px !important; padding: 0 !important; margin: -1px !important; overflow: hidden !important; clip: rect(0, 0, 0, 0) !important; white-space: nowrap !important; border: 0 !important; }
.sorting-learning-shell button:focus-visible, .sorting-learning-shell input:focus-visible, .sorting-learning-shell select:focus-visible, .sorting-function-link:focus-visible { outline: 3px solid #0b579d; outline-offset: 3px; }

@media (max-width: 1100px) {
  .sorting-control-grid { grid-template-columns: repeat(3, minmax(130px, 1fr)); }
  .sorting-field-wide { grid-column: 1 / -1; grid-row: auto; }
}

@media (max-width: 800px) {
  .sorting-mobile-tabs { position: sticky; top: 0; z-index: 4; display: grid; grid-template-columns: 1fr 1fr; padding: 0.25rem; border: 1px solid #d7c7aa; border-radius: 0.6rem; background: #fffdf8; }
  .sorting-tab { padding: 0.6rem; border: 0; border-radius: 0.4rem; background: transparent; }
  .sorting-tab.is-active { background: #1b5fa7; color: white; }
  .sorting-primary-workspace { display: block; }
  .sorting-primary-workspace[data-active-tab="visual"] #sorting-code-region, .sorting-primary-workspace[data-active-tab="code"] #sorting-visual-region { display: none; }
  .sorting-relate { resize: vertical; min-width: 0; max-width: none; }
  .sorting-code-layout { grid-template-columns: 1fr; }
  .sorting-function-index { position: static; max-height: 9rem; }
  .sorting-control-grid { grid-template-columns: 1fr 1fr; }
  .sorting-execution-details { grid-template-columns: 1fr; }
  .sorting-analysis-grid { grid-template-columns: 1fr; }
  .sorting-compare-grid { grid-template-columns: 1fr; }
}

@media (max-width: 520px) {
  .sorting-control-grid { grid-template-columns: 1fr; }
  .sorting-field-wide { grid-column: auto; }
  .sorting-inline-field { align-items: stretch; flex-direction: column; }
}

/* Sequential learning workspace */
.sequential-learning-shell { display: grid; gap: 1rem; }
.sequential-learning-header, .seq-code-toolbar { display: flex; align-items: center; justify-content: space-between; gap: 0.75rem; flex-wrap: wrap; }
.sequential-stage { min-width: 0; padding: 1rem; border: 1px solid #d7c7aa; border-radius: 0.75rem; background: #fffdf8; }
.sequential-stage > h3, .seq-code-toolbar h3 { margin-top: 0; }
.sequential-stage h3 > span, .seq-code-toolbar h3 > span { display: inline-grid; width: 1.7rem; height: 1.7rem; margin-right: 0.35rem; place-items: center; border-radius: 50%; background: #1b5fa7; color: #fff; font-size: 0.9rem; }
.seq-prepare-grid { display: grid; grid-template-columns: minmax(220px, 0.4fr) minmax(280px, 1fr); gap: 0.8rem; align-items: end; }
.seq-prepare-grid > label { display: grid; gap: 0.3rem; }
.sequential-primary-workspace { display: grid; grid-template-columns: minmax(340px, 0.9fr) minmax(440px, 1.1fr); gap: 1rem; }
.seq-code { resize: horizontal; overflow: auto; min-width: 440px; max-width: 75vw; }
.seq-code-layout { display: grid; grid-template-columns: minmax(130px, 0.25fr) minmax(0, 1fr); gap: 0.7rem; }
.seq-function-index { position: sticky; top: 0; align-self: start; max-height: 28rem; overflow: auto; padding: 0.6rem; border: 1px solid #d7c7aa; border-radius: 0.45rem; background: #f8f2e8; }
.seq-function-index ol { display: grid; gap: 0.25rem; margin: 0.4rem 0 0; padding: 0; list-style: none; }
.seq-function-link { width: 100%; padding: 0.35rem; border: 0; border-radius: 0.3rem; background: transparent; text-align: left; cursor: pointer; }
.seq-function-link.is-active { background: #dcecff; font-weight: 700; }
#op-pseudocode.hide-code-comments .code-line.is-code-comment { display: none; }
.seq-pedagogy-summary { padding: 0.7rem; border-left: 0.35rem solid #1b5fa7; border-radius: 0.4rem; background: #eef6ff; }
.seq-example-lesson { margin: 0.65rem 0 0; color: #4f4639; }
.seq-c-semantics { display: grid; grid-template-columns: repeat(auto-fit, minmax(250px, 1fr)); gap: 0.75rem; margin-top: 0.9rem; }
.seq-c-semantics section { min-width: 0; padding: 0.7rem; border: 1px solid #d8e2ec; border-radius: 0.55rem; background: #f8fbfe; }
.seq-c-semantics h4 { margin: 0 0 0.45rem; }
.seq-data-panel { overflow-x: auto; font-size: 0.88rem; }
.seq-data-table { width: 100%; border-collapse: collapse; }
.seq-data-table th, .seq-data-table td { padding: 0.3rem; border-bottom: 1px solid #d8e2ec; text-align: left; vertical-align: top; }
.seq-memory-object { display: inline-block; margin: 0.2rem; padding: 0.35rem 0.5rem; border: 1px solid #8aa7c2; border-radius: 0.35rem; background: #fff; }
.seq-memory-object.is-freed { border-style: dashed; background: #fff0f0; text-decoration: line-through; }
.seq-practice-options { display: flex; gap: 1rem; flex-wrap: wrap; margin-bottom: 0.65rem; }
.seq-prediction-panel { padding: 0.8rem; border: 2px solid #9b6b18; border-radius: 0.6rem; background: #fff8e8; }
.seq-progress-detail { margin: 0.35rem 0; font-family: ui-monospace, monospace; }
.seq-semantic-strip { display: flex; gap: 0.45rem; flex-wrap: wrap; margin-top: 0.7rem; padding: 0.55rem; border-radius: 0.5rem; background: #eef6ff; }
.seq-semantic-chip { padding: 0.28rem 0.48rem; border: 1px solid #79a0c7; border-radius: 999px; background: #fff; }
.seq-invariant-status { flex-basis: 100%; font-weight: 700; color: #195b32; }
.seq-practice-hidden .viz-stage { filter: blur(12px); user-select: none; }
.seq-compare-toolbar { display: flex; align-items: end; gap: 0.7rem; flex-wrap: wrap; }
.seq-compare-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 0.75rem; margin-top: 0.8rem; }
.seq-compare-card { padding: 0.8rem; border: 1px solid #8aa7c2; border-radius: 0.6rem; background: #f8fbfe; }
.seq-compare-card h4 { margin-top: 0; }
.seq-compare-sequence { font-family: ui-monospace, monospace; font-size: 1.05rem; }
button:focus-visible, select:focus-visible, input:focus-visible, .btn:focus-visible { outline: 3px solid #9b5d00; outline-offset: 3px; }
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { scroll-behavior: auto !important; animation-duration: 0.01ms !important; transition-duration: 0.01ms !important; } }
@media (max-width: 700px) { .seq-compare-grid { grid-template-columns: 1fr; } }
.hier-learning-shell { display: grid; gap: 1rem; }
.hier-learning-header, .hier-code-toolbar { display: flex; align-items: center; justify-content: space-between; gap: .75rem; flex-wrap: wrap; }
.hier-stage { min-width: 0; padding: 1rem; border: 1px solid #d7c7aa; border-radius: .75rem; background: #fffdf8; }
.hier-stage > h3, .hier-code-toolbar h3 { margin-top: 0; }
.hier-stage h3 > span, .hier-code-toolbar h3 > span { display: inline-grid; width: 1.7rem; height: 1.7rem; margin-right: .35rem; place-items: center; border-radius: 50%; background: #1b5fa7; color: white; font-size: .9rem; }
.hier-prepare-grid { display: grid; grid-template-columns: repeat(auto-fit,minmax(180px,1fr)); align-items: end; gap: .7rem; }
.hier-primary-workspace { display: grid; grid-template-columns: minmax(360px,.9fr) minmax(460px,1.1fr); gap: 1rem; }
.hier-primary-workspace #hier-code-region { resize: horizontal; overflow: auto; min-width: 360px; }
.hier-code-layout { display: grid; grid-template-columns: minmax(120px,.25fr) minmax(0,1fr); gap: .7rem; }
.hier-function-index { max-height: 28rem; overflow: auto; }
.hier-function-index button { border: 0; background: transparent; color: #174f86; cursor: pointer; }
.hier-function-index button.is-active { font-weight: 700; text-decoration: underline; }
.hier-frame-grid { display: grid; grid-template-columns: repeat(auto-fit,minmax(220px,1fr)); gap: .7rem; margin-top: .8rem; }
.hier-frame-grid section { padding: .7rem; border: 1px solid #d8e2ec; border-radius: .55rem; background: #f8fbfe; }
.hier-prediction-grid { display: flex; flex-wrap: wrap; gap: .65rem; align-items: end; }
.hier-prediction-grid label { min-width: 13rem; }
.hier-frame-grid table { width: 100%; border-collapse: collapse; font-size: .88rem; }
.hier-frame-grid th, .hier-frame-grid td { padding: .35rem; border-bottom: 1px solid #d7dde5; text-align: left; }
.hier-frame-grid tr.is-changed { background: #fff3bf; }
.hier-stack-frame { border-left: .25rem solid #5577aa; padding: .35rem .55rem; margin-bottom: .4rem; background: #f6f8fb; }
#hier-practice-cover { padding: 1rem; border: 2px dashed #7a5c00; background: #fff7d6; font-weight: 700; text-align: center; }
#graph-practice-cover { padding: 1rem; border: 2px dashed #7a5c00; background: #fff7d6; font-weight: 700; text-align: center; }
#graph-visual-state.graph-practice-hidden > * { visibility: hidden; }
#graph-visual-state.graph-practice-hidden::before { content: "Estado oculto: formula o salta la predicción para revelarlo"; display: block; padding: 2rem; border: 2px dashed #7a5c00; background: #fff7d6; font-weight: 700; text-align: center; visibility: visible; }
#graph-progress { width: min(34rem, 100%); }
.graph-learning-shell button:focus-visible,.graph-learning-shell input:focus-visible,.graph-learning-shell select:focus-visible,.graph-learning-shell a:focus-visible { outline: 3px solid #0b66c3; outline-offset: 3px; }
@media (prefers-reduced-motion: reduce) { .graph-learning-shell * { scroll-behavior: auto !important; transition-duration: .01ms !important; animation-duration: .01ms !important; animation-iteration-count: 1 !important; } }
.hash-learning-shell { display: grid; gap: 1rem; }
.hash-stage { background: var(--panel-bg,#fff); border: 1px solid #c8d4df; border-radius: .75rem; padding: 1rem; min-width: 0; }
.hash-stage h3 > span { display: inline-grid; place-items: center; width: 1.7rem; height: 1.7rem; border-radius: 50%; background: #174f7a; color: #fff; margin-right: .35rem; }
.hash-primary-workspace { display: grid; grid-template-columns: minmax(300px,1fr) minmax(360px,1fr); gap: 1rem; resize: horizontal; overflow: auto; }
.hash-view-toolbar { display: flex; flex-wrap: wrap; gap: .8rem; align-items: end; margin-bottom: .75rem; }
.hash-view-toolbar label { display: flex; gap: .4rem; align-items: center; }
.hash-minimap { display: grid; grid-template-columns: repeat(auto-fit,minmax(8px,1fr)); gap: 2px; min-height: 12px; margin: .4rem 0 .8rem; }
.hash-minimap-cell { min-height: 12px; border: 1px solid var(--border-color,#aab); background: #f3f4f6; }
.hash-minimap-cell.is-occupied { background: #2563eb; }
.hash-bucket-body { align-items: stretch; }
.hash-head-pointer,.hash-null { display: inline-flex; align-items: center; font-family: monospace; color: #4b5563; padding: .25rem; }
.hash-entry { display: inline-flex; flex-direction: column; gap: .1rem; border: 1px solid #64748b; border-radius: .35rem; padding: .35rem .5rem; background: #fff; }
.hash-node-address { font-family: monospace; font-size: .75rem; color: #1d4ed8; border-bottom: 1px dashed #93c5fd; }
.hash-formulas { overflow-wrap: anywhere; }
.hash-prediction-controls { display: flex; flex-wrap: wrap; gap: .65rem; align-items: end; }
.hash-prediction-controls label { display: grid; gap: .25rem; }
.hash-prediction-controls label:has(input[type="checkbox"]) { display: flex; align-items: center; }
#hash-sim-progress { width: min(100%, 28rem); vertical-align: middle; }
#hash-sim-detail { font-size: .9rem; color: #475569; overflow-wrap: anywhere; }
.hash-compare-toolbar { display: flex; flex-wrap: wrap; gap: .75rem; align-items: end; }
.hash-compare-toolbar label { display: grid; gap: .25rem; }
.hash-compare-grid { display: grid; grid-template-columns: repeat(auto-fit,minmax(220px,1fr)); gap: .8rem; margin-top: .8rem; }
.hash-compare-card { border: 1px solid #94a3b8; border-radius: .5rem; padding: .8rem; background: #f8fafc; overflow-wrap: anywhere; }
.hash-compare-card h4 { margin-top: 0; }
@media (prefers-reduced-motion: reduce) { *, *::before, *::after { animation-duration: .01ms !important; animation-iteration-count: 1 !important; scroll-behavior: auto !important; transition-duration: .01ms !important; } }
.hash-learning-shell button:focus-visible,.hash-learning-shell input:focus-visible,.hash-learning-shell select:focus-visible,.hash-learning-shell a:focus-visible { outline: 3px solid #0b66c3; outline-offset: 3px; }
.hide-code-comments .code-comment,.hide-code-comments .code-doc { display: none; }
@media (max-width: 760px) { .hash-primary-workspace { display: block; resize: none; } .hash-primary-workspace[data-active-tab="visual"] #hash-code-region,.hash-primary-workspace[data-active-tab="code"] #hash-visual-region { display: none; } }
@media (prefers-reduced-motion: reduce) { .hash-learning-shell * { scroll-behavior: auto !important; transition-duration: .01ms !important; animation-duration: .01ms !important; } }
#visual-state.hier-practice-hidden > * { visibility: hidden; }
#visual-state.hier-practice-hidden::before { content: "Estado oculto: formula o salta la predicción para revelarlo"; display: block; padding: 2rem; border: 2px dashed #7a5c00; background: #fff7d6; font-weight: 700; text-align: center; visibility: visible; }
#hier-progress { width: min(34rem, 100%); }
.hier-compare-toolbar { display: flex; flex-wrap: wrap; gap: .7rem; align-items: end; }
.hier-compare-grid { display: grid; grid-template-columns: repeat(auto-fit,minmax(230px,1fr)); gap: .75rem; margin-top: .8rem; }
.hier-compare-card { padding: .8rem; border: 1px solid #8aa7c2; border-radius: .6rem; background: #f8fbfe; }
.hier-compare-card h4 { margin-top: 0; text-transform: uppercase; }
.hier-learning-shell button:focus-visible, .hier-learning-shell input:focus-visible, .hier-learning-shell select:focus-visible, .hier-learning-shell a:focus-visible { outline: 3px solid #b45309; outline-offset: 2px; }
@media (max-width: 700px) { .hier-compare-grid { grid-template-columns: 1fr; } }
.graph-learning-shell { display: grid; gap: 1rem; }
.graph-stage { min-width: 0; padding: 1rem; border: 1px solid #b9cbe0; border-radius: .75rem; background: #fff; }
.graph-stage > h3 { margin-top: 0; }
.graph-stage h3 > span { display: inline-grid; width: 1.7rem; height: 1.7rem; margin-right: .35rem; place-items: center; border-radius: 50%; background: #1b5fa7; color: #fff; font-size: .9rem; }
.graph-learning-options { display: flex; flex-wrap: wrap; gap: .7rem; align-items: end; }
.graph-primary-workspace { display: grid; grid-template-columns: minmax(420px,1fr) minmax(460px,1fr); gap: 1rem; }
.graph-primary-workspace #graph-code-region { resize: horizontal; overflow: auto; min-width: 380px; }
.graph-mobile-tabs { display: none; }
.graph-state-legend { display: flex; flex-wrap: wrap; gap: .45rem; margin-top: .7rem; }
.graph-state-legend span { padding: .3rem .5rem; border: 1px solid #7c91a8; border-radius: 999px; background: #f8fbfe; }
#graph-table-view table { width: 100%; border-collapse: collapse; font-size: .88rem; }
#graph-table-view th, #graph-table-view td { padding: .3rem; border-bottom: 1px solid #d7dde5; text-align: left; }
@media (max-width: 900px) { .graph-mobile-tabs { display: grid; grid-template-columns: 1fr 1fr; gap: .2rem; } .graph-primary-workspace { display: block; } .graph-primary-workspace[data-active-tab="visual"] #graph-code-region, .graph-primary-workspace[data-active-tab="code"] #graph-visual-region { display: none; } }
.hier-mobile-tabs { display: none; }
.didactic-code.hide-hier-comments .is-code-comment { display: none; }
@media (max-width: 900px) { .hier-mobile-tabs { display: grid; grid-template-columns: 1fr 1fr; gap: .2rem; } .hier-tab { padding: .6rem; border: 0; border-radius: .4rem; } .hier-tab.is-active { background: #1b5fa7; color: #fff; } .hier-primary-workspace { display: block; } .hier-primary-workspace[data-active-tab="visual"] #hier-code-region, .hier-primary-workspace[data-active-tab="code"] #hier-visual-region { display: none; } }
.seq-reflect-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(260px, 1fr)); gap: 0.8rem; }
.sequential-mobile-tabs { display: none; }

@media (max-width: 800px) {
  .sequential-mobile-tabs { position: sticky; top: 0; z-index: 4; display: grid; grid-template-columns: 1fr 1fr; padding: 0.25rem; border: 1px solid #d7c7aa; border-radius: 0.6rem; background: #fffdf8; }
  .sequential-tab { padding: 0.6rem; border: 0; border-radius: 0.4rem; background: transparent; }
  .sequential-tab.is-active { background: #1b5fa7; color: #fff; }
  .sequential-primary-workspace { display: block; }
  .sequential-primary-workspace[data-active-tab="visual"] #seq-code-region, .sequential-primary-workspace[data-active-tab="code"] #seq-visual-region { display: none; }
  .seq-code { resize: vertical; min-width: 0; max-width: none; }
  .seq-code-layout, .seq-prepare-grid { grid-template-columns: 1fr; }
  .seq-function-index { position: static; max-height: 9rem; }
}
