Small tweaks to CSS animations