The video was encoded as H.264 codec using libx264.
High-resolution version is available in the author's website.