.persist-banner {
  font-family: var(--mono);
  font-size: 0.85rem;
  padding: 0.55rem 0.7rem;
  border-radius: 8px;
  border: 1px solid var(--line);
  background: var(--surface2);
  margin: 0 0 0.75rem;
}

.persist-banner strong { color: #b45309; }

.al-term {
  font-family: var(--mono);
  font-size: 0.84rem;
  background: #1a222c;
  color: #e8eef4;
  border-radius: var(--radius);
  border: 1px solid var(--line);
  min-height: 11rem;
  display: flex;
  flex-direction: column;
  overflow: hidden;
}

.al-scroll {
  flex: 1;
  overflow: auto;
  padding: 0.7rem 0.9rem;
  white-space: pre-wrap;
  word-break: break-word;
  line-height: 1.45;
}

.al-scroll .out { color: #b8c4d0; }
.al-scroll .err { color: #f5a8a8; }
.al-scroll .muted { color: #7a8a9a; }
.al-scroll .def { color: #f0c674; }

.al-prompt-row {
  display: flex;
  align-items: center;
  gap: 0.35rem;
  padding: 0.5rem 0.9rem;
  border-top: 1px solid #2a3542;
  background: #141b23;
}

.al-prompt { color: #7dcea0; }
.al-line {
  flex: 1;
  background: transparent;
  border: none;
  color: #e8eef4;
  font: inherit;
  outline: none;
}

.def-table {
  width: 100%;
  border-collapse: collapse;
  font-family: var(--mono);
  font-size: 0.8rem;
}

.def-table th,
.def-table td {
  text-align: left;
  padding: 0.35rem 0.4rem;
  border-bottom: 1px solid var(--line);
  vertical-align: top;
}

.def-table th { color: var(--muted); font-weight: 600; }
.def-table .kind-alias { color: #1d4ed8; font-weight: 650; }
.def-table .kind-fn { color: #047857; font-weight: 650; }

.compare-grid {
  display: grid;
  grid-template-columns: 1fr 1fr;
  gap: 0.65rem;
}

@media (max-width: 720px) {
  .compare-grid { grid-template-columns: 1fr; }
}

.compare-card {
  border: 1px solid var(--line);
  border-radius: 8px;
  padding: 0.7rem;
  background: var(--surface2);
  font-size: 0.88rem;
}

.compare-card h3 {
  margin: 0 0 0.4rem;
  font-size: 0.95rem;
  font-family: var(--mono);
}

.compare-card ul {
  margin: 0;
  padding-left: 1.1rem;
  color: var(--muted);
  font-size: 0.85rem;
}

.rc-box {
  font-family: var(--mono);
  font-size: 0.8rem;
  margin: 0.65rem 0 0;
  padding: 0.65rem 0.75rem;
  background: #141b23;
  color: #b8c4d0;
  border-radius: 8px;
  border: 1px solid var(--line);
  white-space: pre-wrap;
}

.quick-row {
  display: flex;
  flex-wrap: wrap;
  gap: 0.35rem;
  margin-top: 0.65rem;
}

.quick-row button {
  font-family: var(--mono);
  font-size: 0.72rem;
  padding: 0.28rem 0.45rem;
  border: 1px solid var(--line);
  border-radius: 6px;
  background: var(--surface);
  cursor: pointer;
}

.quick-row button:hover {
  border-color: var(--accent);
  color: var(--accent);
}

.cheat-table {
  width: 100%;
  border-collapse: collapse;
  font-size: 0.88rem;
}

.cheat-table th,
.cheat-table td {
  text-align: left;
  padding: 0.4rem 0.45rem;
  border-bottom: 1px solid var(--line);
  vertical-align: top;
}

.hint-list {
  margin: 0;
  padding-left: 1.1rem;
  color: var(--muted);
  font-size: 0.9rem;
}

.hint-list li { margin: 0.35rem 0; }