This is fine, but use hex colours (`#7F7F7F`)