/* BluePenguin blue from the supplied October 12, 2026 logo set. */
:root {
  --brand-blue: #3776ce;
  --brand-blue-rgb: 55 118 206;
  --brand-blue-light: #ccdcf3;
  --brand-blue-deep: var(--brand-blue);
  --brand-blue-hover: color-mix(in srgb, var(--brand-blue) 88%, #000);
  --brand-blue-pressed: color-mix(in srgb, var(--brand-blue) 80%, #000);
  --brand-blue-action: color-mix(in srgb, var(--brand-blue) 90%, #000);
  --brand-blue-text: var(--brand-blue-pressed);
  --brand-blue-soft: color-mix(in srgb, var(--brand-blue) 8%, #fff);
  --brand-wash-start: color-mix(in srgb, var(--brand-blue) 18%, #fff);
  --brand-wash-middle: color-mix(in srgb, var(--brand-blue) 8%, #fff);
  --brand-wash-end: color-mix(in srgb, var(--brand-blue) 11%, #fff);
}