/* generated by build.py: aspect ratio of every video; --ar sizes the player */
.ar-1280x720 { aspect-ratio: 1280 / 720; --ar: 1.77778; }
.ar-464x848 { aspect-ratio: 464 / 848; --ar: 0.54717; }
.ar-720x1280 { aspect-ratio: 720 / 1280; --ar: 0.56250; }