Мне было интересно, есть ли альтернативы Jquery для анимации высоты Div в JavaScript? Хотя Jquery великолепен и относительно мал, я не хочу загружать весь jquery только для одной этой функциональности. И учитывая, что это для приложения WebOs (а не веб-приложения), мне нужно как можно меньше загружать время.
Спасибо