Are short mp4s preferable to gifs for brief animated site elements, or...?

From what I gather, I don't know that there's a new norm in this regard yet, besides recognizing that gifs are increasingly old & clunky (despite being fun & amusing), and so I don't know if mp4s or webms or something else might be better if wanting to keep a site lightweight while still having some animated elements.