This color is also from the github tactile theme.