What format is used for the video content? (avi, mov, mkv etc.) as certain formats work on specific programs

Our videos are hosted on our own server and streamed to you via an embedded player. No need to worry about any formats!