In the aftermath of the extinction that killed the non-avian dinosaurs, coral reefs inhabited more protected muddy environments