"Это можно сделать и онлайн. Вы можете увеличить или уменьшить GIF-изображение в 2 или в 3 раза, наполовину, на треть и т.д., при этом анимированное GIF-изображение сохранит свои пропорции: http://reduction-image.com/gif-anime/index.php?lg=RU "