Resizing animation.

Got resizing animation to work. But resizing in Chrome is too laggy to
witness it properly. Whereas Firefox is somewhat better and IE11 is
perfectly fluid.