Does anyone know? Also what syntax highlighter is is using? Prettify etc?
Source Code Pro is the font they're using.
https://github.com/adobe/Source-Code-Pro
https://github.com/adobe/Source-Code-Pro/downloads
Syntax highlighting is done via Code Mirror
All extensions available are listed here.