A minimal JavaScript animation library