Is there a way to change the color of masks?

[system]

I am finding the gray color of masks hard to see in some situations. Can this color be changed? I looked through every menu but did not find the control for this.

-Joe