What is the Logo Font?

Just curious and couldn’t find it in the documentation. What font is used for the logo? I really like it but whatthefont isn’t able to identify.

Second question, if I may, what support forum plugin is this? It is very clean!

Hello there,

We use Work Sans from Google Fonts