Animated html spec