Moved some animation CSS into Codex from fdjt