Red mixed with white
#FF7F7F is pure red mixed half and half with white. The red channel stays full while green and blue go to the middle. You can make it yourself in the color mixer. The Wikipedia section on light red gives #FF8080, which is the same mix rounded up by one step.
That section names X11 and HTML as sources, but neither has this color. The named colors in CSS have lightcoral and lightpink, but there is no lightred keyword.
Other colors called light red
Wikipedia's alphabetical list gives a much paler light red, #FFCCCB. The Crayola list on Wikipedia says the crayon melon has also been called Light Red. Close cousins on this site are light coral and pastel red.

