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.
Вопрос
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.