Re #8909. More visible border for selected tiles.