#3846: Change color of region borders.