I have no idea what font that is, or what that type of font is called, but it's pretty neat.

我也不知道这是什么字体，或者这种类型的字体叫什么，不过非常简洁。