.AAL_definition {
  --accent: #059669;
  --bg: #f3faf8;
  border-left: 4px solid var(--accent);
  background: var(--bg);
  padding: 0.8em 1em;
  margin: 1em 0;
  border-radius: 4px;
}

.AAL_theorem {
  --accent: #2563EB;
  --bg: #f5f8ff;
  border-left: 4px solid var(--accent);
  background: var(--bg);
  padding: 0.8em 1em;
  margin: 1em 0;
  border-radius: 4px;
}

.AAL_problem {
  --accent: #D97706;
  --bg: #fffaf6;
  border-left: 4px solid var(--accent);
  background: var(--bg);
  padding: 0.8em 1em;
  margin: 1em 0;
  border-radius: 4px;
}

.AAL_qed {
  text-align: right;

  &::after {
    content: "∎";
  }
}

.AAL_reference li {
  list-style: none;
  margin-bottom: 0.6em;
  counter-increment: ref;
  position: relative;
}

.AAL_reference li::before {
  content: "[" counter(ref) "] ";
  position: absolute;
  left: -1.8em;
}

.AAL_theorem ol {
  list-style: none;
  counter-reset: item;
  padding-left: 0;
}

.AAL_theorem li {
  counter-increment: item;
  margin-left: 1.5em;
  text-indent: -1.5em;
}

.AAL_theorem li::before {
  content: "(" counter(item) ") ";
  font-weight: normal;
}