Updated: some card animation improvements. Fixed bug where card size is lost on UNDO. The undo is still not perfect, but it's OK ;)