Quel font / thème est utilisé sur ce tuto ?

Bonjour à tous !

J'ai posé une question en commentaire dans une des vidéos-tuto, mais je n'ai pas eu de réponse :P
Je viens donc tenter ma chance ici. J'aimerais savoir quel thème / font est utilisée dans ce tuto, j'aimerais beaucoup la mettre dans mon PHPStorm 10 !

J'adore le style des attributs quand on écristdu HTML (la police quand on met class, style, etc..)

Merci d'avance :)

PS : le lien vers la vidéo en question :
https://www.grafikart.fr/tutoriels/javascript/lodash-763