That would be useful, in particular if it can record at higher frame rates than when recording the screen. There are some solutions such as timecut* for rendering Javascript animations at high frame rates by manipulating the timer, but none that I know of concerning CSS animations.