[john2x]

Off topic, but anyone know what font and theme (it looks like the default theme but I'm not sure) are used in the project's screenshots?

[systemfreund]

The font is PragmataPro, which I am also using. Best font ever, but expensive.