What software does The Verge use to edit videos?

I have to say, the videos on this website are top notch. Not just the camera quality, but the editing as well.

Also, does anyone know what font is used for the title of these posts when in edit mode, like down below?


via i.imgur.com