Кто-нибудь из вас видел библиотеку javascript, которая позволяет плавную прокрутку div? Я вроде хочу сделать что-то вроде полосы прокрутки в Google Wave ... но, возможно, менее раздражает. Я люблю их, но не похоже, чтобы они получили такой хороший отзыв.