確かにCSSにscrollTopなんてないのに……と気になりますが、jQueryのことはjQueryのドキュメントに書いてあります。
http://api.jquery.com/animate/
In addition to style properties, some non-style properties such as scrollTop and scrollLeft, as well as custom properties, can be animated.
(スタイルプロパティに加えて、scrollTopやscrollLeftなどの非スタイルプロパティやカスタムプロパティもアニメーションできます。)
つまりこれはelement.scrollTopを操作していて、滑らかにスクロールさせます。
element.scrollTop
https://developer.mozilla.org/ja/docs/Web/API/Element/scrollTop
バッドをするには、ログインかつ
こちらの条件を満たす必要があります。