免费在线GIF缩放工具，支持按比例缩放或指定尺寸缩放，批量处理，所有处理均在浏览器中完成。