/* ART-DIVISION red: #a30000, matching the active mobile-menu dot. */
:root {
  --ad-red-rgb: 163 0 0;
  --ad-red: rgb(var(--ad-red-rgb));
}