Allennlp官方教程上使用了什么代码窗格插件

Question

我偶然发现Allennlp上使用的代码窗格确实令人着迷。我检查了该网站的源代码，但无法找到有关此处使用的插件的任何信息。

我也尝试通过电子邮件连接Allennlp组织，但没有得到回复。

我希望有人能告诉我这是什么插件，以及我是否可以自己获得它。