Would use:
CSS relative alpha.

button {
  border-color: alpha(from hotpink / calc(alpha * .25));
}