Javascript animation

This adds some animations and improves how search is handled.