Would use:
CSS relative alpha.

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

`