MP-4の動画はファイルサイズが大きくなため、gifアニメーションに変換することで動きのある動画を設置できます。

動画ファイルをgifに変換してくれるサイト／ラッコツール  ⇒こちら   https://rakko.tools/tools/86/

MP-4で95MBの動画が2.36MBに圧縮されました。