animation プロパティについて MDN で調べていたところ、プロパティの説明に「形式文法」という欄がありました。
一見 HTML のようにも見えますが、何か違う気がします。
これもプログラミング言語の一種ですか？
もしそうだった場合、なんという言語で書かれていますか？

参考 URL
https://developer.mozilla.org/ja/docs/Web/CSS/animation