Как из анимации на html/css переделать в gif формат

Как из html/css анимации преобразовать в gif формат?
Есть ли полезные библиотеки для js/python?