.notation-banner {
  background: rgba(37, 99, 235, 0.08);
  border-left: 4px solid var(--md-primary-fg-color);
  border-radius: 0 8px 8px 0;
  padding: 0.75rem 1rem;
  margin: 1.25rem 0 1.5rem;
  font-size: 0.9rem;
}

.notation-banner code {
  font-size: 0.85rem;
}