/* RedisLab shared lab styles: diagram helpers, step-through controls, fact tiles, and the mini Redis CLI.
   Colors come from the site theme tokens mapped in curriculum.css. */

/* ---------- Diagram helpers ---------- */
.dg .mono {
  font-family: var(--mono);
  font-size: 11px;
}
.dg .tg {
  fill: var(--good);
  font-weight: 650;
}
.dg .tb {
  fill: var(--bad);
  font-weight: 650;
}
.dg .big {
  font-size: 22px;
  font-weight: 700;
}
.dg .ln-good {
  stroke: var(--good);
  stroke-width: 1.5;
  fill: none;
}
.dg .ln-bad {
  stroke: var(--bad);
  stroke-width: 1.5;
  fill: none;
  stroke-dasharray: 5 4;
}
.dg .soft {
  fill-opacity: 0.55;
}
.arrow-defs {
  position: absolute;
  width: 0;
  height: 0;
  overflow: hidden;
  border: 0;
}

/* ---------- Fact tiles ---------- */
.facts {
  display: grid;
  gap: 0.75rem;
  margin: 0 0 0.75rem;
}
@media (min-width: 820px) {
  .facts {
    grid-template-columns: 1.25fr 1fr 1fr;
  }
  .facts.two {
    grid-template-columns: 1fr 1fr;
  }
}
.fact {
  border: 1px solid var(--border);
  border-radius: 8px;
  background: var(--surface-2);
  padding: 0.6rem 0.75rem;
  font-size: 0.9rem;
}
.fact p {
  margin: 0.25rem 0 0;
}
.fact pre {
  margin: 0.35rem 0 0;
  font-size: 0.8rem;
  color: var(--color-code-fg);
  white-space: pre-wrap;
  word-break: break-word;
}
.fact-label {
  display: block;
  font-size: 0.72rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--muted);
}
.fact.real {
  border-left: 4px solid var(--good);
}
.fact.risk {
  border-left: 4px solid var(--bad);
}
.fact.cmd {
  border-left: 4px solid var(--accent);
}

/* ---------- Code block with a file name ---------- */
.code {
  border: 1px solid var(--border);
  border-radius: 10px;
  overflow: hidden;
  margin: 1rem 0;
  background: var(--surface);
}
.code-name {
  margin: 0;
  padding: 0.4rem 0.8rem;
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--muted);
  background: var(--surface-2);
  border-bottom: 1px solid var(--border);
}
.code pre {
  margin: 0;
  border: 0;
  border-radius: 0;
  font-size: 0.84rem;
  overflow-x: auto;
}
.code mark {
  background: color-mix(in srgb, var(--warn) 28%, transparent);
  color: inherit;
  border-radius: 3px;
  padding: 0 2px;
}

/* ---------- Step-through diagrams ---------- */
.flow-ui {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.4rem;
  margin-top: 0.5rem;
}
.flow-ui button {
  font: inherit;
  font-size: 0.9rem;
  min-height: 2.5rem;
  min-width: 2.75rem;
  padding: 0.3rem 0.75rem;
  border-radius: 8px;
  border: 1px solid var(--border);
  background: var(--surface-2);
  color: var(--text);
  cursor: pointer;
}
.flow-ui button.play {
  border-color: var(--accent);
  background: var(--color-accent-fill, var(--accent));
  color: var(--color-contrast, #fff);
  font-weight: 650;
}
.flow-ui button:disabled {
  opacity: 0.45;
  cursor: default;
}
.flow-dots {
  display: flex;
  gap: 0.3rem;
  margin-left: 0.25rem;
}
.flow-dots span {
  width: 0.6rem;
  height: 0.6rem;
  border-radius: 50%;
  background: var(--border);
}
.flow-dots span.on {
  background: var(--accent);
}
.flow-cap {
  flex: 1 1 100%;
  margin: 0.35rem 0 0;
  padding: 0.6rem 0.8rem;
  min-height: 3.2em;
  border-left: 4px solid var(--accent);
  border-radius: 0 8px 8px 0;
  background: var(--surface-2);
  font-size: 0.95rem;
}
.flow-cap .n {
  font-family: var(--mono);
  font-size: 0.78rem;
  color: var(--muted);
  margin-right: 0.5rem;
}
.dg [data-s] {
  transition: opacity 0.35s ease;
}
.dg[data-step] [data-s] {
  opacity: 0.12;
}
.dg[data-step] [data-s].on {
  opacity: 1;
}
.dg .only {
  display: none;
}
.dg[data-step] .only.on {
  display: inline;
}
.dg[data-step] .on .ln,
.dg[data-step] .on .ln-good,
.dg[data-step] .on .ln-bad,
.dg[data-step] .ln.on,
.dg[data-step] .ln-good.on,
.dg[data-step] .ln-bad.on {
  stroke-width: 2.6;
  stroke-dasharray: 7 5;
  animation: flow-dash 0.7s linear infinite;
}
.dg[data-step] .on rect.bx,
.dg[data-step] rect.bx.on,
.dg[data-step] .on circle.bx,
.dg[data-step] circle.bx.on {
  stroke-width: 2.2;
}
@keyframes flow-dash {
  to {
    stroke-dashoffset: -12;
  }
}

/* ---------- Mini Redis CLI ---------- */
.cli {
  border: 1px solid var(--border);
  border-radius: 12px;
  background: var(--surface);
  padding: 0.9rem;
  margin: 1rem 0 1.5rem;
}
.cli-title {
  margin: 0 0 0.5rem;
  font-weight: 650;
}
.cli-chips {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-bottom: 0.6rem;
}
.cli-chip {
  font-family: var(--mono);
  font-size: 0.78rem;
  min-height: 2rem;
  padding: 0.2rem 0.6rem;
  border-radius: 999px;
  border: 1px solid var(--border);
  background: var(--surface-2);
  color: var(--text);
  cursor: pointer;
}
.cli-chip:hover {
  border-color: var(--accent);
}
.cli-grid {
  display: grid;
  gap: 0.75rem;
}
@media (min-width: 760px) {
  .cli-grid {
    grid-template-columns: 1.15fr 1fr;
  }
}
.cli-term {
  display: flex;
  flex-direction: column;
  border-radius: 8px;
  border: 1px solid var(--border);
  background: var(--sunken, var(--surface-2));
  min-width: 0;
}
.cli-log {
  flex: 1;
  margin: 0;
  min-height: 11rem;
  max-height: 16rem;
  overflow: auto;
  padding: 0.6rem 0.7rem;
  background: transparent;
  border: 0;
  font-family: var(--mono);
  font-size: 0.8rem;
  white-space: pre-wrap;
  word-break: break-word;
}
.cli-cmd {
  color: var(--accent);
  font-weight: 650;
}
.cli-log .cli-out {
  color: var(--text);
  opacity: 1;
}
.cli-log .cli-err {
  color: var(--color-badge-danger, var(--bad));
  opacity: 1;
}
.cli-form {
  display: flex;
  gap: 0.35rem;
  align-items: center;
  padding: 0.4rem;
  border-top: 1px solid var(--border);
}
.cli-prompt {
  font-family: var(--mono);
  font-size: 0.8rem;
  color: var(--muted);
}
.cli-input {
  flex: 1;
  min-width: 0;
  font-family: var(--mono);
  font-size: 0.85rem;
  min-height: 2.4rem;
  padding: 0.3rem 0.5rem;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--surface);
  color: var(--text);
}
.cli-run,
.cli-clear {
  font: inherit;
  font-size: 0.85rem;
  min-height: 2.4rem;
  padding: 0.2rem 0.7rem;
  border-radius: 6px;
  border: 1px solid var(--border);
  background: var(--surface-2);
  color: var(--text);
  cursor: pointer;
}
.cli-run {
  border-color: var(--accent);
  background: var(--color-accent-fill, var(--accent));
  color: var(--color-contrast, #fff);
  font-weight: 650;
}
.cli-ks {
  border-radius: 8px;
  border: 1px dashed var(--border);
  padding: 0.5rem;
  min-width: 0;
}
.cli-ks-title {
  margin: 0 0 0.4rem;
  font-size: 0.75rem;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  color: var(--muted);
}
.cli-ks-list {
  display: grid;
  gap: 0.4rem;
  max-height: 18rem;
  overflow: auto;
}
.cli-empty,
.cli-tx {
  margin: 0;
  font-size: 0.85rem;
  color: var(--muted);
}
.cli-tx {
  color: var(--warn);
  font-weight: 650;
}
.kv {
  border: 1px solid var(--border);
  border-left: 4px solid var(--border);
  border-radius: 6px;
  background: var(--surface);
  padding: 0.35rem 0.5rem;
  font-size: 0.8rem;
}
.kv-string { border-left-color: var(--good); }
.kv-list { border-left-color: var(--bad); }
.kv-set { border-left-color: #6d5fd8; }
.kv-hash { border-left-color: var(--warn); }
.kv-zset { border-left-color: var(--accent); }
.kv-top {
  display: flex;
  justify-content: space-between;
  gap: 0.5rem;
}
.kv-key {
  font-family: var(--mono);
  font-weight: 650;
  word-break: break-all;
}
.kv-type {
  font-size: 0.68rem;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  color: var(--muted);
}
.kv-val {
  display: flex;
  flex-wrap: wrap;
  gap: 0.25rem;
  margin-top: 0.3rem;
  font-family: var(--mono);
}
.kv-val.kv-hash {
  display: grid;
  gap: 0.1rem;
}
.kv-str {
  word-break: break-all;
}
.kv-cell {
  display: inline-flex;
  flex-direction: column;
  align-items: center;
  min-width: 2rem;
  padding: 0.1rem 0.35rem;
  border: 1px solid var(--border);
  border-radius: 4px;
  background: var(--surface-2);
}
.kv-idx {
  font-size: 0.62rem;
  color: var(--muted);
}
.kv-bubble {
  padding: 0.1rem 0.5rem;
  border-radius: 999px;
  border: 1px solid #6d5fd8;
  background: color-mix(in srgb, #6d5fd8 14%, var(--surface));
}
.kv-row {
  display: grid;
  grid-template-columns: minmax(4rem, auto) 1fr;
  gap: 0.6rem;
}
.kv-f {
  color: var(--muted);
}
.kv-more {
  color: var(--muted);
}
.kv-ttl {
  position: relative;
  margin-top: 0.35rem;
  height: 1.1rem;
  border-radius: 4px;
  background: var(--surface-2);
  overflow: hidden;
}
.kv-ttl-bar {
  position: absolute;
  inset: 0 auto 0 0;
  background: color-mix(in srgb, var(--warn) 45%, var(--surface));
  transition: width 0.5s linear;
}
.kv-ttl-t {
  position: relative;
  padding-left: 0.4rem;
  font-family: var(--mono);
  font-size: 0.72rem;
}

@media (prefers-reduced-motion: reduce) {
  .dg [data-s],
  .kv-ttl-bar {
    transition: none;
  }
  .dg[data-step] .on .ln,
  .dg[data-step] .on .ln-good,
  .dg[data-step] .on .ln-bad,
  .dg[data-step] .ln.on,
  .dg[data-step] .ln-good.on,
  .dg[data-step] .ln-bad.on {
    animation: none;
  }
}