so-called 动画 are images show one after another

you can't just resize them as a whole. There are many pieces of software that are designed to create/edit animated gif pictures. They don't have to be big. The ones I used 10 years ago were little and enough.