But #aa0000 is not red. :)
Red is somehow to strong and looks more like an error. #a00 is a darker red. Maybe there's a equivalent symbolic color. let me check...