Для начала неплохо-бы было узнать, какой "размер" вы хотите изменить в gif анимации? "Размер" изображения (то-есть соотношение сторон, ширину или высоту картинки и т.д.), или "размер" файла (говорят ещё иногда "вес" или объём файла) в байтах - мегабайтах, типа - уменьшить количество информации, содержащейся в графическом файле гиф-анимации, при минимальной потере качества изображения? Другими словами - выполнить оптимизацию gif файла...
Чтобы изменить реальный размер "картинки" (ширину и высоту) в анимированном файле формата .gif, особых проблем не существует.
Начну с самого простого способа, для тех, кто не хочет устанавливать на свой компьютер дополнительные программы. Это способ - воспользоваться услугами специализированных онлайн-сервисов, которых в интернете достаточно. Вот несколько ссылок на подобные сайты:
Создание и редактирование GIF анимации - Toolson.net.GifResizer
Создание и ретушь анимированных GIF изображений онлайн - Reduction-image.gif-anime
Создать или изменить GIF-анимацию онлайн - Picasion.com.resize-gif
Подобных сайтов, где можно создавать и частично редактировать гиф - анимацию, существует много, но набор предоставляемых там услуг и функционал, на всех сайтах, очень невелик и практически одинаковый. Работать там совсем не сложно - загружаете собственную гиф -анимашку и последовательно выполняете ряд совсем простых действий. Как и что делать - всё расписано поэтапно. Не ошибётесь.
Второй способ для изменения размера (соотношения сторон) гиф анимации - воспользоваться простейшими программами, которые именно для этого и созданы, например:
Бесплатная программа GiF Resizer - название "говорит" само за себя. Единственное назначение этой совсем "маленькой" утилиты - изменять размеры анимированных картинок в формате .gif Эта программа на английском языке, но разобраться в её возможностях очень просто.
Ещё одна программа, также бесплатная - Beneton Movie GIF. В этой программе за пару простых шагов можно изменить размеры гиф-анимации. Также в этом редакторе можно выполнить и некоторые дополнительные действия для изменения анимированных "гифок".
Более сложные "процедуры" для редактирования gif анимации потребуют использования более "продвинутых" программ, которые помогут выполнить как простое изменение размеров изображения и его обрезку, так и оптимизацию гиф-файла, то-есть уменьшить его "объём" с сохранением высокого качества самой картинки при просмотре.
Таких программ также очень много, например:
GIF Movie Gear - простой, но достаточно мощный редактор GIF анимации.
Falco GIF Animator - бесплатный редактор гиф - анимации, но с очень приличными возможностями, не хуже подобных лицензированных аналогов.
Easy GIF Animator - простой в использовании редактор анимированных "гифок" с приличными возможностями.
EximiousSoft GIF Creator - очень неплохой редактор анимированной графики, практически с профессиональными возможностями.
GIF Construction Set Professional - одна из лучших программ для создания и редактирования анимированных GIF изображений. Профессиональная программа. Но в использовании совсем не сложная. Её довольно трудно найти в интернете, особенно в последней версии, тем более с русификатором, поэтому кроме ссылки на официальный сайт дам ещё две ссылки - для скачивания с торрент-трекера NNM-CLUB (тут версия без плагинов), и для скачивания более полной версии, со множеством необходимых дополнений - GIF Construction Set Pro v3.0a (Patch 40).
Ссылки указанные выше ведут на сайты разработчиков, там-же можно эти программы приобрести... или можно воспользоваться возможностями российского интернета, где пока ещё без особых затруднений можно найти и скачать любую из этих программ с возможностью бесплатной активации :)))
Вообще - оптимизация gif анимации - это отдельная тема. Автоматическая оптимизация обычно не приносит ощутимых результатов, и при этом может сильно понизиться качество изображения.
Выполнить качественную оптимизацию "гифок" можно пожалуй только в одной программе, о которой обязательно стоит упомянуть в этом вопросе - практически любые "манипуляции" с гиф-изображениями, от их создания до полного редактирования, можно произвести в "лучшем редакторе графики всех времён и народов" - в программе Adobe Photoshop. В этой программе можно делать с "гифками" всё, что только можно придумать...
В общем как-то так, по моему :)))
Удачи вам...