/* Color institucional extraído del azul dominante del logotipo oficial. */
:root {
  --corporate-blue: #0058c0;
  --corporate-blue-deep: #004a9f;
  --corporate-blue-soft: #e8f2ff;

  /* Compatibilidad con los tokens existentes del sistema. */
  --blue-950: var(--corporate-blue);
  --blue-800: var(--corporate-blue);
  --blue-700: var(--corporate-blue);
  --blue-100: var(--corporate-blue-soft);
  --cn-navy: var(--corporate-blue);
  --cn-blue: var(--corporate-blue);
  --cn-sky: var(--corporate-blue-soft);
  --cn-shadow: 0 18px 48px rgb(0 88 192 / .12);
}

/* El tono profundo se reserva para estados interactivos con contraste. */
.button:hover,
.campus-link:hover {
  background: var(--corporate-blue-deep);
  border-color: var(--corporate-blue-deep);
}