Setup proof branch colors