JSTree animation tweaks.