/* Brand colors and contrast are defined together in styles.css. */