:root {
  --orange: #7c3aed;
  --orange-soft: #f1eafe;
  --navy: #18213a;
  --navy-soft: #eceefa;
}

.brand-mark,
.mini-mark {
  background: linear-gradient(145deg, #6d28d9, #9333ea);
  border-radius: 8px;
  font-family: "DM Mono", monospace;
  font-size: .82rem;
  font-style: normal;
}

.topic-symbol {
  color: #6d28d9;
  background: var(--orange-soft);
}

.problem-panel {
  border-top: 4px solid var(--orange);
}