Paleontologists measured fossil skulls from museum collections and matched them up with climate conditions from when the specimens lived. Higher oxygen-18 concentrations are a proxy for lower temperatures. The average size of these animals went up at the coolest times.