User interface coderpad使用的主题的名称是什么

我似乎找不到Coderpad默认使用的已定义主题，请参见此处

---

然而，我发现的最接近的事情是，有些事情似乎不对劲。有人知道他们用的是什么主题吗？

这个配色方案似乎是莫诺凯家族定制的。我能从盒子里找到的结果是