existe un tamaño maximo para los gifs que se usan en los menus? intento cambiarles el tamaño pero me quedan demasiado pesados,que programa usan?